Hasil Pencarian  ::  Simpan CSV :: Kembali

Abstrak :
This book constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2012, held in Hamburg, Germany, in June 2012. The 18 regular papers and 3 tool papers presented were carefully reviewed and selected from 55 submissions. The book also contains 2 invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.

Abstrak :
The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena. This, the 14th Transactions on Computational Systems Biology volume, guest edited by Ion Petre and Erik de Vink, focuses on Computational Models for Cell Processes and features a number of carefully selected and enhanced contributions, initially presented at the CompMod workshop, which took place in Aachen, Germany, in September 2011. The papers, written from different points of view and following various approaches, cover a wide range of topics within the field of modeling and analysis of biological systems. In addition, two regular submissions deal with models of self-assembling systems and metabolic constraints on the evolution of genetic codes.

Abstrak :
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The fifth volume of ToPNoC contains revised versions of selected papers from workshops and tutorials held in conjunction with the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, as well as a contributed paper selected through the regular submission track of ToPNoC. The 12 papers cover a diverse range of topics including model checking and system verification, synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency.

Abstrak :
Green supply chain (GSCM) adalah pendekatan yang muncul dalam manajemen rantai pasokan untuk mengurangi dampak lingkungan dari proses yang berkaitan dengan aliran barang dan material. Hal ini dianggap sebagai sistem kejadian diskrit. Salah satu alat yang memungkinkan untuk memodelkan sistem kejadian diskrit adalah jaring Petri. Sebuah model Colored Petri Net (CPN) dari model GSCM tersebut dikembangkan, alasan untuk menggunakan CPN daripada Petri nets biasa adalah karena memungkinkan pelekatan data (atau warna). Tesis ini mengembangkan model CPN untuk jaringan GSCM, dan memverifikasinya dengan menggunakan data sekunder dari penelitian lain sebagai studi kasus untuk membandingkan hasil simulasi rantai pasok ke depan. Setelah model tersebut terbukti serupa, dan oleh karena itu dapat mewakili rantai pasok yang sebenarnya. Model CPN diperluas menjadi CPN jaringan GSCM dengan menggunakan data yang sama dengan studi kasus. Hasil dari simulasi menunjukkan bahwa menerapkan reverse logistic dalam jaringan rantai pasok untuk menjadikannya sebagai jaringan GSCM adalah hal yang memungkinkan dan berpotensi menguntungkan perusahaan. ......Green supply chain is an emerging approach in supply chain management to reduce environmental impact of the process concerning the flow of goods and material. It is considered as a discrete-event system. One possible tool to model discrete-event systems is Petri nets. A Colored Petri Net (CPN) model of the said green supply chain model is developed, the reason to use a CPN rather than ordinary Petri nets is because it allows the attachment of data (or color). This thesis developed a CPN model for a GSCM network, and verify it by using a secondary data from another research as a case study to compare the results of the forward supply chain simulations. After the model is proven to be similar, and therefore representative of the real supply chain. The CPN model are expanded to be a GSCM network CPN using the same data as the case study. The results of the simulation indicated that implementing reverse logistic in a supply chain network to make it a GSCM network is possible and potentially beneficial to the company.