Hasil Pencarian  ::  Simpan CSV :: Kembali

"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."

"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."

"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."

"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."

"Pada penelitian ini dilakukan pemodelan kondisi lalu lintas kendaraan untuk ruas jalan tunggal dan jaringan jalan secara makroskopik berdasarkan diagram fundamental triangular equilibrium sebagai pengukur kinerja. Hybrid Petri net (HPN) digunakan sebagai perangkat pemodelan dengan simulasi berbasis model sistem kejadian diskret. Integrasi diagram fundamental triangular equilibrium ke dalam model HPN dilakukan dengan mengelompokkan pemodelan kondisi infrastruktur ruas jalan dengan parameter struktur dinamis jaringan Petri net dan pemodelan untuk simulasi jumlah kendaraan pada titik keluar ruas jalan yang ditentukan oleh parameter Petri net untuk kecepatan firing internal λ. Analisa struktural jaringan Petri net membuktikan, bahwa pada model baru setiap token terikat aturan keseimbangan token dan setiap transition bersifat hidup. Diagram fundamental triangular adalah bersifat non linear dan dimodelkan pada HPN dengan sinkronisasi transition menggunakan minimum operator. Analisa kondisi lalu lintas kendaraan untuk ruas jalan tunggal ditunjukkan oleh evolusi aliran arus dan evolusi token saat telah mencapai kondisi lalu lintas steady state. Diagram fundamental triangular equilibrium diperoleh dari kumpulan berbagai kondisi lalu lintas steady state pada ruas jalan tertentu. Evaluasi kinerja model baru untuk jaringan jalan diperoleh dengan membandingkan jumlah kendaraan setelah mencapai kondisi steady state terhadap kondisi riil. Penelitian disertasi ini menghasilkan dua kontribusi utama, yaitu pemodelan baru diagram fundamental triangular dengan timed hybrid Petri nets dengan infinite server semantics firing untuk diterapkan pada ruas jalan tunggal dan untuk jaringan jalan. Pemodelan diagram fundamental triangular baru untuk ruas jalan tunggal terbukti lebih baik dengan dapat menunjukkan kondisi lalu lintas untuk arus bebas, arus stabil dan arus tertahan. Hasil pemodelan diagram fundamental triangular baru untuk jaringan-jalan dengan hybrid Petri nets terbukti memiliki waktu komputasi relatif untuk simulasi yang 155 kali lebih cepat dibandingkan model dengan FOHPN dengan nilai kesalahan relatif secara signifikan lebih kecil, yaitu 0,0086%. "

"The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connected through networks has led to an evolution of data- and knowledge-management systems from centralized systems to decentralized systems enabling large-scale distributed applications providing high scalability. Current decentralized systems still focus on data and knowledge as their main resource. Feasibility of these systems relies basically on P2P (peer-to-peer) techniques and the support of agent systems with scaling and decentralized control. Synergy between Grids, P2P systems, and agent technologies is the key to data- and knowledge-centered systems in large-scale environments. This, the fifth issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains nine selected full-length papers, focusing on the topics of query processing, information extraction, management of dataspaces and contents, and mobile applications."