Hasil Pencarian  ::  Simpan CSV :: Kembali

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

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

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

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

"The LNCS journal Transactions on Computational Collective Intelligence (TCCI) focuses on all facets of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems.This, the sixth issue of Transactions on Computational Collective Intelligence contains 10 selected papers, focusing on the topics of classification, agent cooperation, paraconsistent reasoning and agent distributed mobile interaction."

"[ABSTRAKPada penelitian ini dilakukan pemodelan kondisi lalu lintas kendaraan untuk ruasjalan tunggal dan jaringan jalan secara makroskopik berdasarkan diagramfundamental triangular equilibrium sebagai pengukur kinerja. Hybrid Petri net(HPN) digunakan sebagai perangkat pemodelan dengan simulasi berbasis modelsistem kejadian diskret.Integrasi diagram fundamental triangular equilibrium ke dalam model HPNdilakukan dengan mengelompokkan pemodelan kondisi infrastruktur ruas jalandengan parameter struktur dinamis jaringan Petri net dan pemodelan untuksimulasi jumlah kendaraan pada titik keluar ruas jalan yang ditentukan olehparameter Petri net untuk kecepatan firing internal λ. Analisa struktural jaringanPetri net membuktikan, bahwa pada model baru setiap token terikat aturankeseimbangan token dan setiap transition bersifat hidup. Diagram fundamentaltriangular adalah bersifat non linear dan dimodelkan pada HPN dengansinkronisasi transition menggunakan minimum operator.Analisa kondisi lalu lintas kendaraan untuk ruas jalan tunggal ditunjukkan olehevolusi aliran arus dan evolusi token saat telah mencapai kondisi lalu lintas steadystate. Diagram fundamental triangular equilibrium diperoleh dari kumpulanberbagai kondisi lalu lintas steady state pada ruas jalan tertentu. Evaluasi kinerjamodel baru untuk jaringan jalan diperoleh dengan membandingkan jumlahkendaraan setelah mencapai kondisi steady state terhadap kondisi riil.Penelitian disertasi ini menghasilkan dua kontribusi utama, yaitu pemodelan barudiagram fundamental triangular dengan timed hybrid Petri nets dengan infiniteserver semantics firing untuk diterapkan pada ruas jalan tunggal dan untukjaringan jalan.Pemodelan diagram fundamental triangular baru untuk ruas jalan tunggal terbuktilebih baik dengan dapat menunjukkan kondisi lalu lintas untuk arus bebas, arusstabil dan arus tertahan. Hasil pemodelan diagram fundamental triangular baruuntuk jaringan-jalan dengan hybrid Petri nets terbukti memiliki waktu komputasirelatif untuk simulasi yang 155 kali lebih cepat dibandingkan model denganFOHPN dengan nilai kesalahan relatif secara signifikan lebih kecil, yaitu0,0086%.Kata Kunci : diagram f;

---

ABSTRACTThis dissertation focuses on hybrid Petri net HPN modeling for macroscopic vehicle traffic flow on single road links and road networks based on equilibrium triangular fundamental diagram DFTe The integration of DFTe into the HPN models is performed by 1 modeling road link infrastructures using dynamic structure of HPN 2 determining the steady state number of vehicles at the road link output using internal firing speed Vehicle traffic condition for a single road link is shown by vehicle traffic flow evolution and token evolution at steady state The DFTe is obtained by computing various steady state vehicle traffic condition on a single road link Non linearity modeling of DFTe is performed by sinchronization of a HPN transitions using minimum operator This dissertation research has two main contributions i e enhanced DFTe modeling using timed HPN under infinite server semantics for single road links and road networks The enhanced DFTe modeling for single road links has been proven to perform better in the free flow saturated and synchronized state of vehicle traffic The enhanced DFTe modeling for road networks showed that the relative computing time of simulation to be 155 times faster than FOHPN model with a significantly smaller relative error i e 0 0086 , This dissertation focuses on hybrid Petri net HPN modeling for macroscopic vehicle traffic flow on single road links and road networks based on equilibrium triangular fundamental diagram DFTe The integration of DFTe into the HPN models is performed by 1 modeling road link infrastructures using dynamic structure of HPN 2 determining the steady state number of vehicles at the road link output using internal firing speed Vehicle traffic condition for a single road link is shown by vehicle traffic flow evolution and token evolution at steady state The DFTe is obtained by computing various steady state vehicle traffic condition on a single road link Non linearity modeling of DFTe is performed by sinchronization of a HPN transitions using minimum operator This dissertation research has two main contributions i e enhanced DFTe modeling using timed HPN under infinite server semantics for single road links and road networks The enhanced DFTe modeling for single road links has been proven to perform better in the free flow saturated and synchronized state of vehicle traffic The enhanced DFTe modeling for road networks showed that the relative computing time of simulation to be 155 times faster than FOHPN model with a significantly smaller relative error i e 0 0086 ]"

"Topics covered include skyline queries, probabilistic logics and reasoning, theory of conceptual modeling, prediction in networks of moving objects, validation of XML integrity constraints, management of loosely structured multi-dimensional data, data discovery in the presence of annotations, and quality ranking for Web articles."