{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T20:02:05Z","timestamp":1759694525182,"version":"3.41.0"},"reference-count":196,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780128008874"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1016\/b978-0-12-800887-4.00011-0","type":"book-chapter","created":{"date-parts":[[2015,4,24]],"date-time":"2015-04-24T19:14:06Z","timestamp":1429902846000},"page":"313-355","source":"Crossref","is-referenced-by-count":6,"title":["Performances evaluation and Petri nets"],"prefix":"10.1016","author":[{"given":"Ousmane","family":"Diallo","sequence":"first","affiliation":[]},{"given":"Joel J.P.C.","family":"Rodrigues","sequence":"additional","affiliation":[]},{"given":"Mbaye","family":"Sene","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"year":"1995","author":"Krishna","series-title":"Performance modeling for computer architects","key":"10.1016\/B978-0-12-800887-4.00011-0_bib1"},{"year":"1978","author":"Kobayashi","series-title":"Modeling and analysis: an introduction to system performance evaluation methodology (The Systems programming series)","key":"10.1016\/B978-0-12-800887-4.00011-0_bib2"},{"year":"1991","author":"Jain","series-title":"The art of computer systems performance analysis\u2014techniques for experimental design, measurement, simulation and modeling","key":"10.1016\/B978-0-12-800887-4.00011-0_bib3"},{"issue":"12","key":"10.1016\/B978-0-12-800887-4.00011-0_bib4","doi-asserted-by":"crossref","first-page":"1195","DOI":"10.1109\/TC.1984.1676394","article-title":"Computer performance evaluation methodology","volume":"33","author":"Heidelberger","year":"1984","journal-title":"IEEE Trans Comput"},{"doi-asserted-by":"crossref","unstructured":"Labadi K. Contribution \u00e0 la mod\u00e9lisation et \u00e0 l\u2019analyse de performances des syst\u00e8mes logistiques \u00e0 l\u2019aide d\u2019un nouveau mod\u00e8le de r\u00e9seaux de Petri stochastiques. PhD Thesis, UTT, November 2005.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib5","DOI":"10.3166\/jesa.39.863-886"},{"unstructured":"Lalouette J, Brinzei N, Malasse O, Caron R, Scherb F, Aubry J-F. Mod\u00e9lisation et \u00e9valuation des performances d\u2019un syst\u00e8me de signalisation ferroviaire int\u00e9grant BAL et ETCS par r\u00e9seaux de Petri color\u00e9s. In: Sixi\u00e9me Conf\u00e9rence Internationale Francophone d\u2019Automatique, CIFA 2010, Nancy: France; 2010.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib6"},{"volume":"vol. 6","year":"1986","author":"Calzarossa","key":"10.1016\/B978-0-12-800887-4.00011-0_bib7"},{"unstructured":"Bruno G, Biglia P. Performance evaluation and validation: tool handling in FMS using PN\u2019s. In: IEEE Int. workshop timed Petri nets, Torino, Italy; July 1\u20133, 1985. p. 64\u201371.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib8"},{"unstructured":"Chen H, Amodeo L, Chu F. Modeling and performance evaluation of supply chain with batch deterministic and stochastic Petri nets. In: 13th annual European simulation symposium, simulation in industry, Marseille; October 2001, p. 415\u201319.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib9"},{"unstructured":"Berge N, Juanolle G, Samaan M. Using stochastic timed Petri nets for modeling and analysing and industrial application based on FIP fieldbus. In: Symposium on emerging technologies and factory automation, Paris, France, ETFA 95, INRIA-IEEE; 1995.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib10"},{"unstructured":"Bichteler K. Stochastic integration and stochastic differential equations, free online book. Accessed 2014. Available from: <http:\/\/www.ma.utexas.edu\/users\/kbi\/SDE\/C_1.html>.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib11"},{"year":"2009","author":"Knill","series-title":"Probability theory and stochastic processes with applications","key":"10.1016\/B978-0-12-800887-4.00011-0_bib12"},{"year":"2010","author":"Gusak","series-title":"Theory of stochastic processes","key":"10.1016\/B978-0-12-800887-4.00011-0_bib13"},{"year":"2009","author":"Applebaum","series-title":"Levy process stochastic calculus, 2e","key":"10.1016\/B978-0-12-800887-4.00011-0_bib14"},{"year":"2013","author":"Scott","series-title":"Applied stochastic processes in science and engineering","key":"10.1016\/B978-0-12-800887-4.00011-0_bib15"},{"year":"1968","author":"Feller","series-title":"An introduction to probability theory and its applications","key":"10.1016\/B978-0-12-800887-4.00011-0_bib16"},{"year":"1964","author":"Takas","series-title":"Processus stochastiques: probl\u00e8mes et solutions","key":"10.1016\/B978-0-12-800887-4.00011-0_bib17"},{"year":"2006","author":"Bolch","series-title":"Queueing networks and Markov chains: modeling and performance evaluation with computer science applications","key":"10.1016\/B978-0-12-800887-4.00011-0_bib18"},{"year":"2000","author":"Baynat","series-title":"Th\u00e9orie des files d\u2019attente: Des cha\u00eenes de Markov aux r\u00e9seaux \u00e0 forme produits","key":"10.1016\/B978-0-12-800887-4.00011-0_bib19"},{"year":"2008","author":"Gross","series-title":"Fundamentals of queueing theory","key":"10.1016\/B978-0-12-800887-4.00011-0_bib20"},{"issue":"2","key":"10.1016\/B978-0-12-800887-4.00011-0_bib21","doi-asserted-by":"crossref","first-page":"416","DOI":"10.2307\/1425912","article-title":"Networks of queues","volume":"8","author":"Kelly","year":"1976","journal-title":"Adv Appl Probab"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib22","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1287\/opre.9.3.383","article-title":"A proof of the queueing formula L=\u03bbW","volume":"9","author":"Little","year":"1961","journal-title":"Oper Res"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib23","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF01189232","article-title":"A class of hierarchical queueing networks and their analysis","volume":"15","author":"Buchholtz","year":"1994","journal-title":"Queueing Syst"},{"issue":"4","key":"10.1016\/B978-0-12-800887-4.00011-0_bib24","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri nets: properties, analysis and applications","volume":"77","author":"Murata","year":"1989","journal-title":"Proc IEEE"},{"unstructured":"Krings AW. Petri Nets. CS449\/549 fault-tolerant systems sequence 11, 2011. Available from: <http:\/\/www2.cs.uidaho.edu\/~krings\/CS449\/>.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib25"},{"year":"1992","author":"Vidal-Naquet","series-title":"R\u00e9seaux de Petri et Syst\u00e9mes Parall\u00e9les","key":"10.1016\/B978-0-12-800887-4.00011-0_bib26"},{"year":"1985","author":"Reisig","series-title":"Petri nets: an introduction","key":"10.1016\/B978-0-12-800887-4.00011-0_bib27"},{"year":"2006","author":"Choquet-Geniet","series-title":"Les R\u00e9seau de Petri, un outil de modelisation","key":"10.1016\/B978-0-12-800887-4.00011-0_bib28"},{"year":"1992","author":"David","series-title":"Du Grafcet aux r\u00e9seaux de Petri","key":"10.1016\/B978-0-12-800887-4.00011-0_bib29"},{"year":"2013","author":"Zaitsev","series-title":"Clans of Petri nets: verification of protocols and performance evaluation of networks","key":"10.1016\/B978-0-12-800887-4.00011-0_bib30"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib31","series-title":"Tome 1: th\u00e9orie et analyse \u2013 Tome 2: mod\u00e9lisation et applications","article-title":"R\u00e9seau de Petri, Th\u00e9orie et pratique","author":"Brams","year":"1983"},{"year":"2010","author":"Zhou","series-title":"System modeling and control with resource-oriented petri nets","key":"10.1016\/B978-0-12-800887-4.00011-0_bib32"},{"doi-asserted-by":"crossref","unstructured":"Dwyer MB, Clarke LA, Nies KA. A compact Petri net representation for concurrent programs. In: Proceedings of the 17th international conference on software engineering, Seattle, Washington, USA; April 24\u201328, 1995. p. 147\u201357.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib33","DOI":"10.1145\/225014.225028"},{"year":"1998","author":"Reisig","series-title":"Elements of distributed algorithms: modeling and analysis with Petri nets","key":"10.1016\/B978-0-12-800887-4.00011-0_bib34"},{"year":"2001","series-title":"Concurrent object-oriented programming and petri nets","key":"10.1016\/B978-0-12-800887-4.00011-0_bib35"},{"doi-asserted-by":"crossref","unstructured":"Frey G, Litz L. Formal methods in PLC programming. In: Proceedings of the IEEE SMC, Nashville, TN, vol. 4; October 2000. p. 2431\u201336.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib36","DOI":"10.1109\/ICSMC.2000.884356"},{"issue":"12","key":"10.1016\/B978-0-12-800887-4.00011-0_bib37","doi-asserted-by":"crossref","first-page":"1307","DOI":"10.1109\/71.553301","article-title":"An application of Petri net reduction for Ada tasking deadlock analysis","volume":"7","author":"Shatz","year":"1996","journal-title":"IEEE Trans Parallel Distrib Syst"},{"doi-asserted-by":"crossref","unstructured":"Esparza J. A false history of true concurrency: from Petri to tools. In: Proc. SPIN. Ed. by Jaco van de Pol and Michael Weber, vol. 6349. LNCS. Springer; 2010, p. 180\u201386.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib38","DOI":"10.1007\/978-3-642-15928-2_1"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib39","series-title":"Control of discrete-event systems, LNCIS, 433","first-page":"301","article-title":"Diagnosis with Petri net unfoldings","author":"Haar","year":"2013"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib40","series-title":"Proceedings of the international workshop on verification and evaluation of computer and communication systems (VECOS\u201907)","article-title":"Towards distributed verification of Petri nets properties","author":"Boukala","year":"2007"},{"unstructured":"Valois F. Mod\u00e9lisation et \u00c9valuation de Performances de R\u00e9seaux. D\u00e9partement T\u00e9l\u00e9communications Cours 4TC. <http:\/\/fvalois.insa-lyon.fr\/>; [last access 2014].","key":"10.1016\/B978-0-12-800887-4.00011-0_bib41"},{"unstructured":"Song Y-Q. Evaluation de performances stochastiques des r\u00e9seaux. SSR2012.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib42"},{"volume":"vol. 1605","year":"1999","article-title":"Application of Petri nets to communication networks","key":"10.1016\/B978-0-12-800887-4.00011-0_bib43"},{"unstructured":"Delgadillo GM, Llano SB. Scheduling application using Petri nets: a case study: intergr\u00e1ficas s.a. In: Proceedings of 19th international conference on production research, Valparaiso, Chile, 2006.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib44"},{"unstructured":"Sgavioli M. Modelagem de Sistemas de Manufatura Usando Redes de Petri Coloridas Fuzzy Focando a Solu\u00e7\u00e3o de Conflitos. Msc Thesis, Universidade Federal de S\u00e3o Carlos; 2010.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib45"},{"issue":"2","key":"10.1016\/B978-0-12-800887-4.00011-0_bib46","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.jksues.2011.06.005","article-title":"Analysis of performance measures of flexible manufacturing system","volume":"24","author":"El-Tamimia","year":"2012","journal-title":"J King Saud University, Eng Sci"},{"issue":"2","key":"10.1016\/B978-0-12-800887-4.00011-0_bib47","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1108\/09727981211271959","article-title":"Supply chain conflict detection with colored Petri nets","volume":"9","author":"John","year":"2012","journal-title":"J Adv Manage Res"},{"issue":"4","key":"10.1016\/B978-0-12-800887-4.00011-0_bib48","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1109\/TSMCC.2011.2160626","article-title":"Deadlock control of automated manufacturing systems based on Petri nets: A literature review","volume":"42","author":"Li","year":"2012","journal-title":"IEEE Trans Syst Man Cybern Part C Appl Rev"},{"issue":"3","key":"10.1016\/B978-0-12-800887-4.00011-0_bib49","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1109\/TSMCA.2007.893484","article-title":"An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems","volume":"37","author":"Uzam","year":"2007","journal-title":"IEEE Trans Syst Man Cybern Part A Syst Humans"},{"issue":"3","key":"10.1016\/B978-0-12-800887-4.00011-0_bib50","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/70.143353","article-title":"A hybrid methodology for synthesis of Petri net models for manufacturing systems","volume":"8","author":"Zhou","year":"1992","journal-title":"IEEE Trans Rob Autom"},{"issue":"6","key":"10.1016\/B978-0-12-800887-4.00011-0_bib51","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1109\/TRA.2002.805655","article-title":"Process nets with resources for manufacturing modeling and their analysis","volume":"18","author":"Jeng","year":"2002","journal-title":"IEEE Trans Rob Autom"},{"issue":"3","key":"10.1016\/B978-0-12-800887-4.00011-0_bib52","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1016\/S0947-3580(97)70077-3","article-title":"Petri nets for the design and operation of manufacturing systems","volume":"3","author":"Silva","year":"1997","journal-title":"Eur J Control"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib53","article-title":"Modeling, simulation, and control of flexible manufacturing systems: a Petri net approach","volume":"vol. 6","author":"Zhou","year":"1999"},{"issue":"3","key":"10.1016\/B978-0-12-800887-4.00011-0_bib54","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/S0278-6125(97)88886-3","article-title":"Petri net extensions for the development of MIMO net models of automated manufacturing systems","volume":"16","author":"Ramaswamy","year":"1997","journal-title":"J Manuf Syst"},{"year":"1995","author":"Desrochers","series-title":"Applications of Petri nets in manufacturing systems: modelling, control and performance analysis","key":"10.1016\/B978-0-12-800887-4.00011-0_bib55"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib56","series-title":"Information and process integration in enterprises: rethinking documents","first-page":"161","article-title":"\u201cThree good reasons for using a Petri-net-based workflow management system","author":"van der Aalst","year":"1998"},{"issue":"1","key":"10.1016\/B978-0-12-800887-4.00011-0_bib57","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","article-title":"The application of Petri nets to workflow management","volume":"8","author":"van der Aalst","year":"1998","journal-title":"J Circuits Syst Comput"},{"doi-asserted-by":"crossref","unstructured":"DiCesare F, Kulp P, Gile M, List GF. The application of Petri nets to the modeling, analysis and control of intelligent urban traffic networks. In: Valette R, editor. Proceedings. of the 15th international conference application theory Petri nets. Zaragoza, Spain; June 1994. p. 2\u201315.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib58","DOI":"10.1007\/3-540-58152-9_2"},{"issue":"4","key":"10.1016\/B978-0-12-800887-4.00011-0_bib59","doi-asserted-by":"crossref","first-page":"8040","DOI":"10.1016\/j.eswa.2008.10.070","article-title":"A Fuzzy Petri nets approach for railway traffic control in case of abnormality: evidence from Taiwan railway system,\u201d","volume":"36","author":"Cheng","year":"2009","journal-title":"Expert Syst Appl"},{"issue":"4","key":"10.1016\/B978-0-12-800887-4.00011-0_bib60","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1109\/TITS.2004.838180","article-title":"Urban traffic control structure based on hybrid Petri nets","volume":"5","author":"Di Febbraro","year":"2004","journal-title":"IEEE Trans Intell Transp Syst"},{"issue":"3","key":"10.1016\/B978-0-12-800887-4.00011-0_bib61","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1109\/TITS.2004.833763","article-title":"Modeling traffic signal control using Petri nets","volume":"5","author":"List","year":"2004","journal-title":"IEEE Trans Intell Transp Syst"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib62","first-page":"1087","article-title":"Implementation of traffic lights control based on Petri nets","volume":"2","author":"Lin","year":"2003","journal-title":"Proc IEEE Intell Transp Syst"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib63","article-title":"A formal verification and validation approach for real-time databases","author":"Neto","year":"2009","journal-title":"IGI Global"},{"year":"2008","author":"Y\u00e1skara","series-title":"QoS management for real-time DataBases in embedded systems","key":"10.1016\/B978-0-12-800887-4.00011-0_bib64"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib65","first-page":"599","article-title":"Real-time databases for sensor networks","volume":"1","author":"Neto","year":"2004","journal-title":"ICEIS"},{"year":"2003","author":"Neto","series-title":"A model in Petri nets to analyze quality of service in real-time databases","key":"10.1016\/B978-0-12-800887-4.00011-0_bib66"},{"unstructured":"Cort\u00e9s LA, Eles P, Peng Z. A Petri net based model for heterogeneous embedded systems. In: Proceedings of the NORCHIP Conference, 1999. p. 248\u201355.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib67"},{"issue":"6","key":"10.1016\/B978-0-12-800887-4.00011-0_bib68","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1109\/41.334574","article-title":"Petri nets and industrial applications: a tutorial","volume":"41","author":"Zurawski","year":"1994","journal-title":"IEEE Trans Ind Electron"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib69","series-title":"Petri nets: applications and relationships to other models of concurrency (LNCS, vol. 255)","first-page":"20","article-title":"Petri net tool overview 1986","author":"Feldbrugge","year":"1987"},{"issue":"3","key":"10.1016\/B978-0-12-800887-4.00011-0_bib70","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1109\/32.4651","article-title":"PROTEAN: a high level Petri net tool for the specification and verification of communication protocols","volume":"14","author":"Billington","year":"1988","journal-title":"IEEE Trans Software Eng"},{"unstructured":"Holliday MA, Vernon MK. The GTPN Analyzer: numerical methods and user interface. Technical Report 639. Dept. of Computer Science, Univ. of Wisconsin\u2013 Madison; Apr. 1986.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib71"},{"unstructured":"Franceschinis G, Gaeta R, Bertoncello C. WNSIM: manual. PEG, Dipart.di Informatica. Univ. di Torino (Italy); 2001.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib72"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib73","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0166-5316(95)00008-L","volume":"24","year":"1995","journal-title":"Perform Eval"},{"unstructured":"Franceschinis G, Gaeta R, Bertoncello C. GreatSPN: User\u2019s Manual (version 2.0.2). PEG, Dipart. di Informatica, Univ. di Torino (Italy); 2002.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib74"},{"issue":"6","key":"10.1016\/B978-0-12-800887-4.00011-0_bib75","article-title":"Performance Evaluation with SWN: a technical contribution","volume":"13","author":"Haddad","year":"2001","journal-title":"R\u00e9seaux et Syst\u00e9mes R\u00e9partis\u2014Calculateurs Parall\u00e9les"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib76","series-title":"The electrical engineering handbook","first-page":"459","article-title":"High-level Petri nets \u2013 extension, analysis and applications","author":"He","year":"2005"},{"doi-asserted-by":"crossref","unstructured":"Kordic V. Petri net, theory and applications. I-Tech Education and Publishing, February 2008, ISBN 978-3-902613-12-7.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib77","DOI":"10.5772\/56"},{"volume":"vol. 1492","year":"1998","article-title":"Lectures on Petri nets II: applications, advances in Petri nets","key":"10.1016\/B978-0-12-800887-4.00011-0_bib78"},{"unstructured":"Valette R. R\u00e9seaux de Petri: Th\u00e9orie et Applications. Lecture. February 1999, LAAS-CNRS Toulouse.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib79"},{"year":"1997","author":"David","series-title":"Du Grafcet aux r\u00e9seaux de Petri","key":"10.1016\/B978-0-12-800887-4.00011-0_bib80"},{"year":"2002","author":"Bause","series-title":"Stochasti Petri nets, an introduction to the theory","key":"10.1016\/B978-0-12-800887-4.00011-0_bib81"},{"unstructured":"Haddad S, Moreaux P. Les r\u00e9seaux de P\u00e9tri Stochastiques; December 2000.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib82"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib83","series-title":"Advances in Petri nets 1989","article-title":"Stochastic Petri nets: an elementary introduction","author":"Marsan","year":"1989"},{"unstructured":"Balbo G. Introduction to generalized stochastic Petri nets. Seventh international school on formal methods for the design of computer, communication and software systems: performance evaluation. May 29, 2007.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib84"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib85","series-title":"PETRI NETS 2013, LNCS 7927","first-page":"90","article-title":"A semantics for every GSPN","author":"Eisentraut","year":"2013"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib86","series-title":"ToPNoC VII, LNCS 7480","first-page":"6","article-title":"Strategies for modeling complex processes using colored Petri nets,\u201d","author":"van der Aalst","year":"2013"},{"unstructured":"Aly S, Mustafa K. Protocol verification and analysis using colored Petri nets. Technical Report Submitted. DePaul University; July, 2003.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib87"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib88","first-page":"342","article-title":"Coloured Petri nets: a high level language for system design and analysis","volume":"vol. 483","author":"Jensen","year":"1990"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib89","article-title":"Coloured Petri nets. basic concepts, analysis methods and practical use","volume":"vol. 3","author":"Jensen","year":"1997"},{"issue":"11","key":"10.1016\/B978-0-12-800887-4.00011-0_bib90","doi-asserted-by":"crossref","first-page":"1343","DOI":"10.1109\/12.247838","article-title":"Stochastic well-formed colored nets and symmetric modeling applications","volume":"42","author":"Chiola","year":"1993","journal-title":"IEEE Trans Comput"},{"issue":"2","key":"10.1016\/B978-0-12-800887-4.00011-0_bib91","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1109\/TSMCA.2011.2164064","article-title":"Modeling and performance evaluation of BPEL processes: a stochastic-Petri-net-based approach","volume":"42","author":"Xia","year":"2012","journal-title":"IEEE Trans Syst Man Cybern Part A Syst Humans"},{"doi-asserted-by":"crossref","unstructured":"Chiola G, Dutheillet C, Franceschinis G, Haddad S. On well formed colored nets and their symbolic reachability graph. In: Proceedings of the 11th international conference of application and theory of Petri net. 1990. p. 373\u201396.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib92","DOI":"10.1007\/978-3-642-84524-6_13"},{"issue":"8","key":"10.1016\/B978-0-12-800887-4.00011-0_bib93","doi-asserted-by":"crossref","first-page":"1332","DOI":"10.1109\/TPDS.2010.90","article-title":"Call admission control performance analysis in mobile networks using stochastic well-formed Petri Nets","volume":"22","author":"Mokdad","year":"2011","journal-title":"IEEE Trans Parallel Distrib Syst"},{"issue":"1","key":"10.1016\/B978-0-12-800887-4.00011-0_bib94","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/j.ic.2005.07.002","article-title":"A theory of stochastic systems. Part II: process algebra","volume":"203","author":"D\u2019Argenio","year":"2005","journal-title":"Inf Comput"},{"doi-asserted-by":"crossref","unstructured":"de la Higuera C, Oncina J. Learning stochastic finite automata. In: Proceedings of the seventh international colloquium on grammatical inference, LNAI, ICGI, vol. 3264. 2004. p. 175\u201386.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib95","DOI":"10.1007\/978-3-540-30195-0_16"},{"issue":"1","key":"10.1016\/B978-0-12-800887-4.00011-0_bib96","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1016\/j.tcs.2007.07.023","article-title":"PAC-learnability of probabilistic deterministic finite state automata in terms of variation distance","volume":"387","author":"Palmer","year":"2007","journal-title":"Theor Comput Sci"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib97","series-title":"Theoretical computer science","article-title":"PAUTOMAC: a probabilistic automata and hidden Markov models learning competition","author":"Verwer","year":"2013"},{"issue":"6","key":"10.1016\/B978-0-12-800887-4.00011-0_bib98","first-page":"419","article-title":"Modeling and analysis of communication and cooperation protocols using Petri net based models (1976)","volume":"6","author":"Diaz","year":"1982","journal-title":"J Comput Netw"},{"issue":"3","key":"10.1016\/B978-0-12-800887-4.00011-0_bib99","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1023\/A:1023277330439","article-title":"Evaluating the impact of the communication system on distributed virtual environments","volume":"19","author":"Teixeira","year":"2003","journal-title":"J Multimedia Tools Appl \u2013 MTA"},{"unstructured":"Li D, Cui Y, Xu K, Wu J. Improvement of multicast routing protocol using petri nets. In: Rough sets, fuzzy sets, data mining, and granular computing lecture notes in computer science, vol. 3642. 2005, p. 634\u201343.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib100"},{"issue":"2","key":"10.1016\/B978-0-12-800887-4.00011-0_bib101","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0140-3664(90)90174-F","article-title":"Performance analysis of timed Petri net models for communication protocols: a methodology and a package","volume":"13","author":"El-Karaksy","year":"1990","journal-title":"Comput Commun"},{"doi-asserted-by":"crossref","unstructured":"Juanole G, Algayres B, Dufau J. On communication protocol modelling and design. In: Advances in Petri nets 1984, lecture notes in computer science, vol. 188; 1985, p. 267\u201387.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib102","DOI":"10.1007\/3-540-15204-0_16"},{"issue":"1","key":"10.1016\/B978-0-12-800887-4.00011-0_bib103","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1109\/3477.484449","article-title":"Petri net modelling of buffers in automated manufacturing systems","volume":"26","author":"Zhou","year":"1996","journal-title":"IEEE Trans Syst Man Cybern Part B Cybern"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib104","series-title":"Lectures on concurrency and Petri nets: advances in Petri nets, volume 3098 of lecture notes in computer science","first-page":"742","article-title":"Petri nets and manufacturing systems: an examples-driven tour","author":"Recalde","year":"2004"},{"unstructured":"Praveen M, Lodaya K. Model checking counting properties of 1-safe nets with buffers in paraPSPACE, FST&TCS\u201909, LZI, 2009. p. 347\u201358.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib105"},{"issue":"1","key":"10.1016\/B978-0-12-800887-4.00011-0_bib106","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/s00170-009-2082-z","article-title":"A Petri net-based heuristic for simple assembly line balancing problem of type 2","volume":"46","author":"Kilincci","year":"2010","journal-title":"Int J Adv Manuf Technol"},{"issue":"11","key":"10.1016\/B978-0-12-800887-4.00011-0_bib107","doi-asserted-by":"crossref","first-page":"1165","DOI":"10.1007\/s00170-005-0154-2","article-title":"A Petri net approach for simple assembly line balancing problems","volume":"30","author":"Kilincci","year":"2006","journal-title":"Int J Adv Manuf Technol"},{"issue":"4","key":"10.1016\/B978-0-12-800887-4.00011-0_bib108","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1108\/01445150810904486","article-title":"A Petri net model for the design and performance evaluation of a flexible assembly system","volume":"28","author":"Ullah","year":"2008","journal-title":"Assembly Autom"},{"issue":"1","key":"10.1016\/B978-0-12-800887-4.00011-0_bib109","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1108\/01445151111104146","article-title":"Petri net versus queuing theory for evaluation of FMS","volume":"31","author":"Ullah","year":"2011","journal-title":"Assembly Autom"},{"issue":"01","key":"10.1016\/B978-0-12-800887-4.00011-0_bib110","doi-asserted-by":"crossref","DOI":"10.1142\/S021759591250042X","article-title":"A generalized stochastic Petri-net model for performance analysis and allocation optimization of a particular repair system","volume":"30","author":"Li","year":"2013","journal-title":"Asia-Pac J Oper Res"},{"issue":"3","key":"10.1016\/B978-0-12-800887-4.00011-0_bib111","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1002\/asjc.189","article-title":"A deadlock prevention approach for a class of timed Petri nets using elementary siphons","volume":"12","author":"Guo","year":"2010","journal-title":"Asian J Control"},{"issue":"1","key":"10.1016\/B978-0-12-800887-4.00011-0_bib112","first-page":"167","article-title":"A deadlock prevention policy for a class of Petri nets S3PMR","volume":"25","author":"Yan","year":"2009","journal-title":"J Inf Sci Eng"},{"issue":"1","key":"10.1016\/B978-0-12-800887-4.00011-0_bib113","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSMCA.2011.2147308","article-title":"Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems","volume":"42","author":"Li","year":"2012","journal-title":"IEEE Trans Syst Man Cybern Part A Syst Humans"},{"doi-asserted-by":"crossref","unstructured":"Uzam M, Gelen G. On a deadlock prevention policy for a class of Petri nets S3PMR. Int J Adv Manuf Technol, Springer; 2014, http:\/\/dx.doi.org.10.1007\/s00170-014-5821-8.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib114","DOI":"10.1007\/s00170-014-5821-8"},{"doi-asserted-by":"crossref","unstructured":"Cabasino MP. Diagnosis and identification of discrete event systems using Petri Nets. Ph.D. in Electronic and Computer Engineering, University of Cagliari; 2009.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib115","DOI":"10.3182\/20090610-3-IT-4004.00014"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib116","series-title":"International conference on communications, computing and control applications (CCCA)","article-title":"Multiple fault diagnosis of discrete event systems using Petri nets","author":"Fliss","year":"2011"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib117","article-title":"Simulation-based optimization of discrete event systems with alternative structural configurations using distributed computation and the Petri net paradigm","author":"Latorre","year":"2013","journal-title":"Simulation: Trans Soc Model Simul Int"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib118","article-title":"Sequence of decisions on discrete event systems modeled by Petri nets with structural alternative configurations","author":"Latorre-Biel","year":"2013","journal-title":"J Comput Sci"},{"issue":"2","key":"10.1016\/B978-0-12-800887-4.00011-0_bib119","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","article-title":"A class of generalized Petri nets for the performance evaluation of multiprocessor systems","volume":"2","author":"Marsan","year":"1984","journal-title":"ACM Trans Comput Syst"},{"unstructured":"Madhukar M, Leuze M, Dowdy L. Petri net model of a dynamically partitioned multiprocessors system. In: Proceedings of the sixth international workshop on Petri nets and performance models (PNPM\u2019 95), 1995.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib120"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib121","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00170-012-3939-0","article-title":"A study of optimal allocation of computing resources in cloud manufacturing systems","volume":"63","author":"Laili","year":"2012","journal-title":"Int J Adv Manuf Technol"},{"issue":"10","key":"10.1016\/B978-0-12-800887-4.00011-0_bib122","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1109\/71.473517","article-title":"Performance analysis of four memory consistency models for multithreaded multiprocessors","volume":"6","author":"Chong","year":"1995","journal-title":"IEEE Trans Parallel Distrib Syst"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib123","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1109\/TSE.2004.9","article-title":"Model-based performance prediction in software development: a survey","volume":"30","author":"Balsamo","year":"2004","journal-title":"IEEE Trans Software Eng"},{"year":"2004","author":"Gold","series-title":"Petri nets in software engineering","key":"10.1016\/B978-0-12-800887-4.00011-0_bib124"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib125","series-title":"Proceedings of the third international workshop on software and performance","article-title":"Process models for the software development and performance engineering tasks","author":"Schmietendorf","year":"2002"},{"unstructured":"Wirtz G. Application of Petri nets in modelling distributed software systems. In: Moldt D, editor. Workshop on modelling of objects, components, and agents. Aarhus, Denmark: 2001.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib126"},{"issue":"2","key":"10.1016\/B978-0-12-800887-4.00011-0_bib127","doi-asserted-by":"crossref","DOI":"10.1007\/s100090050022","article-title":"Analyzing the execution architecture of mobile phone software with coloured Petri nets","volume":"2","author":"Xu","year":"1998","journal-title":"Int J Softw Tools Technol Trans"},{"unstructured":"Saldhana J, Shatz SM. UML diagrams to object Petri net models: an approach for modeling and analysis. In: International conference on software engineering and knowledge engineering. Chicago, Illinois: 2000.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib128"},{"unstructured":"Gehlot V, Way T, Beck R, DePasquale P. Model driven development of a service oriented architecture (SOA) using colored Petri nets. First workshop on quality in modeling, ACM\/IEEE ninth international conference on model driven engineering languages and systems (QiM\/MoDELS\u201906), October, 2006.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib129"},{"unstructured":"Gehlot V, Pujari G. A case study in defining colored Petri nets based model driven development of enterprise service oriented architectures. In: Proceedings of the IEEE 42nd Hawaii international conference on system sciences (HICSS-42), Software Technology Track. January 2009.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib130"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib131","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0166-5316(01)00035-9","article-title":"Performance analysis at the software architectural design level","volume":"45","author":"Aquilani","year":"2001","journal-title":"Perform Eval"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib132","article-title":"A Petri nets semantics for data flow networks","volume":"32","author":"Bernardeschi","year":"1995"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib133","series-title":"Seventh international conference on hybrid intelligent systems. HIS 2007","article-title":"Dataflow orchestration of image processing algorithms using high-level Petri nets","author":"Wagner","year":"2007"},{"doi-asserted-by":"crossref","unstructured":"Rocha J-I, Gomes L, Dias O, Petri net verification techniques on synchronous dataflow models. In: IECON 2011, 37th annual conference on IEEE Industrial Electronics Society; Nov. 2011, p. 3792\u201397.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib134","DOI":"10.1109\/IECON.2011.6119927"},{"doi-asserted-by":"crossref","unstructured":"Rocha J-I, Gomes L, Dias O. Analysing storage resources on synchronous dataflows using Petri net verification techniques. In: IECON 2012, 38th annual conference on IEEE industrial electronics society; 2012. p. 4676\u201381.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib135","DOI":"10.1109\/IECON.2012.6389492"},{"doi-asserted-by":"crossref","unstructured":"Rocha J-I, Dias OP, Gomes L. Exploiting dataflows and Petri nets mappings. In: 2013 11th IEEE international conference on industrial informatics (INDIN); 2013. p. 590\u201395.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib136","DOI":"10.1109\/INDIN.2013.6622950"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib137","article-title":"Strategies to improve synchronous dataflows analysis using mappings between Petri nets and dataflows","volume":"vol. 423","author":"Rocha","year":"2014"},{"doi-asserted-by":"crossref","unstructured":"Miyagi PE, Riascos LAM. Modeling and analysis of fault-tolerant systems for machining operations based on Petri nets. Control Eng Prac, Elsevier 2006 April; 14(4):397\u2013408. http:\/\/dx.doi.org\/10.1016\/j.conengprac.2005.02.002.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib138","DOI":"10.1016\/j.conengprac.2005.02.002"},{"doi-asserted-by":"crossref","unstructured":"Jian S, Shaoping W, Yaoxing S. Petri-nets based availability model of fault-tolerant server system. In: 2008 IEEE conference on robotics, automation and mechatronics, September 2008, p. 444\u201349.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib139","DOI":"10.1109\/RAMECH.2008.4681434"},{"issue":"1","key":"10.1016\/B978-0-12-800887-4.00011-0_bib140","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/j.jpowsour.2006.12.003","article-title":"Bayesian network fault diagnostic system for PEM fuel cell","volume":"165","author":"Riascos","year":"2007","journal-title":"J Power Sources"},{"doi-asserted-by":"crossref","unstructured":"De Cindio F, Simone C. Petri nets for modelling fault tolerant distributed systems in a modular and incremental way. In: Position paper for the fourth ACM SIGOPS European workshop on fault tolerance in distributed systems, Bologna September, 1990.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib141","DOI":"10.1145\/504136.504184"},{"doi-asserted-by":"crossref","unstructured":"Litz L, Frey G. A graduate course on logic process control based on Petri nets. In: Proceedings of the IEEE SMC\u201998, vol. 1. San Diego;1998. p. 274\u201377.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib142","DOI":"10.1109\/ICSMC.1998.725421"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib143","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1109\/21.155947","article-title":"An incremental approach to logic controller design with Petri nets","volume":"22","author":"Ferrarini","year":"1992","journal-title":"IEEE Trans Syst Man Cybern"},{"doi-asserted-by":"crossref","unstructured":"Frey G, Litz L. Correctness analysis of Petri net based logic controllers. In: Proceedings of the american control conference (ACC\u20192000); 2000. p. 3165\u20136.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib144","DOI":"10.1109\/ACC.2000.879148"},{"doi-asserted-by":"crossref","unstructured":"Frey G, Litz L. Transparency analysis of Petri net based logic controllers\u2013a measure for software quality in automation. In: Proceedings of the American control conference (ACC\u20192000); 2000. p. 3182\u20136.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib145","DOI":"10.1109\/ACC.2000.879152"},{"doi-asserted-by":"crossref","unstructured":"Minas M, Frey G. Visual PLC-programming using signal interpreted Petri nets. In: Proceedings of the American control Conference (ACC 2002); 2002. p. 5024.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib146","DOI":"10.1109\/ACC.2002.1025461"},{"doi-asserted-by":"crossref","unstructured":"Bender DF, Combemale B, Cr\u00e9gut X, Farines JM, Berthomieu B, Vernadat F. Ladder metamodeling and PLC program validation through time petri nets. In: Lecture notes in computer science (LNCS) vol. 5095; 2008. p. 121\u201336.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib147","DOI":"10.1007\/978-3-540-69100-6_9"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib148","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1002\/asjc.187","article-title":"Constructing an abstract model for ladder diagram diagnosis using Petri nets","volume":"12","author":"Tsai","year":"2010","journal-title":"Asian J Control"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib149","doi-asserted-by":"crossref","first-page":"252","DOI":"10.3844\/ajeassp.2011.252.264","article-title":"Petri nets and ladder logic for fully-automating and programmable","author":"Barghash","year":"2011","journal-title":"Am J Eng Appl Sci"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib150","first-page":"67","article-title":"Petri net to ladder logic diagram converter and a batch process simulation","volume":"6","author":"Gomaa","year":"2011","journal-title":"Asian Res Publishing Network (ARPN) J Eng Appl Sci"},{"doi-asserted-by":"crossref","unstructured":"Andreu D, Souquet G, Gil T. Petri net based rapid prototyping of digital complex system. In: Symposium on VLSI, IEEE computer society annual; April 2008. p. 405\u201310.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib151","DOI":"10.1109\/ISVLSI.2008.54"},{"doi-asserted-by":"crossref","unstructured":"Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Yakovlev A. Hardware and Petri nets: application to asynchronous circuit design. Application and theory of Petri nets: 21st International Conference ICATPN 2000, Aarhus, Denmark; June 2000.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib152","DOI":"10.1007\/3-540-44988-4_1"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib153","first-page":"607","article-title":"Petri nets and activity diagrams in logic controller specification\u2014transformation and verification","author":"Grobelna","year":"2010","journal-title":"Mixed Design Integr Circuits Sys MIXDES"},{"issue":"3","key":"10.1016\/B978-0-12-800887-4.00011-0_bib154","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/S0167-9260(96)00010-7","article-title":"Modelling, analysis and synthesis of asynchronous control circuits using Petri nets","volume":"21","author":"Yakovlev","year":"1996","journal-title":"Integration: VLSI J"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib155","series-title":"18th International Conference on VLSI Design","article-title":"Off-line testing of Asynchronous circuits","author":"Koppad","year":"2005"},{"issue":"6","key":"10.1016\/B978-0-12-800887-4.00011-0_bib156","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1109\/TSE.1977.231172","article-title":"Model design and evaluation of a compiler for a parallel processing environment","volume":"SE-3","author":"Baer","year":"1977","journal-title":"IEEE Trans Software Eng"},{"doi-asserted-by":"crossref","unstructured":"Noe JD. A Petri net model of the CDC 6400. In: Proceedings of the ACM\/ SIGOPS workshop on systems performance evaluation. p. 362\u201378, 1971.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib157","DOI":"10.1145\/800024.808367"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib158","series-title":"Advances in Petri Nets","article-title":"Software implementation of Petri nets and compilation of rule-based systems","author":"Valette","year":"1991"},{"issue":"24","key":"10.1016\/B978-0-12-800887-4.00011-0_bib159","first-page":"21","article-title":"GAMERU: a language for the analysis and design of human communication pragmatic within organizational systems","volume":"255","author":"De Cindio","year":"1987","journal-title":"LNCS"},{"issue":"1","key":"10.1016\/B978-0-12-800887-4.00011-0_bib160","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1145\/356802.356805","article-title":"Office information systems and computer science","volume":"12","author":"Ellis","year":"1980","journal-title":"Comput Surv"},{"issue":"4","key":"10.1016\/B978-0-12-800887-4.00011-0_bib161","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1145\/237496.237498","article-title":"Information system behavior specification by high level Petri nets","volume":"14","author":"Oberweis","year":"1996","journal-title":"ACM Trans Inf Syst (TOIS)"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib162","series-title":"CONCUR, volume 1466 of lecture notes in computer science","first-page":"533","article-title":"Deriving unbounded Petri nets from formal languages","author":"Darondeau","year":"1998"},{"doi-asserted-by":"crossref","unstructured":"Lorenz R, Bergenthum R, Desel J, Mauser S. Synthesis of Petri nets from finite partial languages. In: Proceedings of the seventh international conference on application of concurrency to system design, July 10\u201313, 2007. p. 157\u201366. http:\/\/dx.doi.org.10.1109\/ACSD.2007.34.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib163","DOI":"10.1109\/ACSD.2007.34"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib164","article-title":"Process mining: overview and outlook of Petri net discovery algorithms","volume":"vol. 5460","author":"van Dongen","year":"2009"},{"issue":"2","key":"10.1016\/B978-0-12-800887-4.00011-0_bib165","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0019-9958(77)90558-7","article-title":"Petri nets and szilard languages","volume":"33","author":"Crespi-Reghizzi","year":"1977","journal-title":"Inf Control"},{"unstructured":"Cervesato I. Petri nets and linear logic: a case study for logic programming. In: Proceedings of GULP-PRODE\u201995; 1995, p. 313\u201318.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib166"},{"unstructured":"Son DT. Petri nets for modeling problem of logic programming and knowledge representation. In: Perspective for modeling Fluent Calculus; July, 2012.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib167"},{"unstructured":"Behrens TM, Dix J. Model checking with logic based Petri nets. IfI Technical Report Series, Clausthal University of Technology; 2002.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib168"},{"unstructured":"Darlington JL. A net based theorem prower for program verification and synthesis. Gesellschaft fur Math. und Datenverarbeitung mbH Bonn, Interner Bericht des IST 3\/79 Dez; 1979.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib169"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib170","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1023\/A:1023603308841","article-title":"Analysis of GSM\/GPRS cell with multiple data service class","volume":"25","author":"Al-Begain","year":"2002","journal-title":"J Wireless Personal Comm"},{"unstructured":"Hedge N, Altman E. Capacity of multiservice WCDMA networks with variable GoS. <http:\/\/www.citeseer.ist.psu.edu\/717389.html>; 2009.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib171"},{"doi-asserted-by":"crossref","unstructured":"Mokdad L, Sene M. Performance measures of call admission control in mobile networks Using SWN. Proceedings of the first ACM international conference performance evaluation methodologies and tools (VALUETOOLS \u201906); 2006. p. 1\u20137.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib172","DOI":"10.1145\/1190095.1190177"},{"doi-asserted-by":"crossref","unstructured":"Sanghare OA, Sene M, Rodrigues JJPC. Distributed transactions on mobile systems: performance evaluation using SWN. In: IEEE international conference on ICC 2011. p. 1\u20136. http:\/\/dx.doi.org\/10.1109\/icc.2011.5963020.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib173","DOI":"10.1109\/icc.2011.5963020"},{"issue":"6","key":"10.1016\/B978-0-12-800887-4.00011-0_bib174","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1109\/TSE.1983.235581","article-title":"Distributed software system design representation using modified Petri nets","volume":"SE-9","author":"Yau","year":"1983","journal-title":"IEEE Trans Software Eng"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib175","series-title":"Proceedings of the 2010 IEEE\/ACS international conference on computer systems and applications (AICCSA), Hammamet, Tunisia","article-title":"Freshness-aware metadata management: performance evaluation with SWN models\u201d","author":"Diallo","year":"2010"},{"issue":"2","key":"10.1016\/B978-0-12-800887-4.00011-0_bib176","first-page":"35","article-title":"Petri net modelling of concurrency control in distributed database system","volume":"2","author":"Haryono","year":"2012","journal-title":"Jurnal Sistem Komputer"},{"unstructured":"Bertens LMF, Kleijn J, Verbeek FJ. Biomodelling and Petri nets. Eureka! Universiteit Leiden; 2012.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib177"},{"issue":"2","key":"10.1016\/B978-0-12-800887-4.00011-0_bib178","doi-asserted-by":"crossref","DOI":"10.1197\/jamia.M1637","article-title":"Using Petri Net Tools to Study Properties and Dynamics of Biological Systems","volume":"12","author":"Peleg","year":"2005","journal-title":"J Am Med Inform Assoc"},{"unstructured":"Majumdar A. Modeling of yeast pheromone pathway using Petri nets. Msc Thesis at the faculty of the Graduate College at the University of Nebraska; December, 2012.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib179"},{"issue":"2","key":"10.1016\/B978-0-12-800887-4.00011-0_bib180","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.jksuci.2011.05.004","article-title":"Confidence value prediction of DNA sequencing with Petri net model","volume":"23","author":"Hamed","year":"2011","journal-title":"J King Saud University Comput Inf Sci"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib181","article-title":"Multiscale modelling and analysis of planar cell polarity in the Drosophila Wing","volume":"99","author":"Gao","year":"2012","journal-title":"IEEE\/ACM Trans Comput Biol Bioinf"},{"issue":"2\u20133","key":"10.1016\/B978-0-12-800887-4.00011-0_bib182","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/j.pbiomolbio.2012.10.001","article-title":"BioModel engineering for multiscale systems biology","volume":"111","author":"Heiner","year":"2013","journal-title":"Prog Biophys Mol Biol"},{"unstructured":"Liu F, Heiner M. Colored Petri nets to model and simulate biological systems. In: International workshop on biological processes & Petri Nets (BioPPN). Braga, Portugal; June 21, 2010. ISBN: 978-972-8692-53-7.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib183"},{"unstructured":"Ross-Le\u00f3n R, Ramirez-Trevi\u00f1o A, Morales JA, Ruiz-Leon J. Control of metabolic systems modeled with timed continuous Petri nets. International workshop on biological processes & Petri nets (BioPPN). Braga, Portugal; June 21, 2010. ISBN: 978-972-8692-53-7.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib184"},{"unstructured":"Machado D, Costa RS, Rocha M, Rocha I, Tidor B, Ferreira EC. Model transformation of metabolic networks using a Petri net based framework? In: International workshop on biological processes & Petri nets (BioPPN). Braga, Portugal; June 21, 2010. ISBN: 978-972-8692-53-7.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib185"},{"doi-asserted-by":"crossref","unstructured":"Parvu O, Gilbert D, Heiner M, Liu F, Saunders N. Modelling and analysis of phase variation in bacterial colony growth. Proceedings of CMSB 2013, Vienna, Springer, LNCS, to appear; September 2013.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib186","DOI":"10.1007\/978-3-642-40708-6_7"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib187","doi-asserted-by":"crossref","DOI":"10.1039\/c3mb25593j","article-title":"JAK\/STAT signalling \u2013 an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems and synthetic biology","author":"Bl\u00e4tke","year":"2013","journal-title":"Mol BioSyst"},{"doi-asserted-by":"crossref","unstructured":"Bl\u00e4tke M, Heiner M, Marwan W. Predicting phenotype from genotype through automatically composed Petri nets. Proc. CMSB 2012, London, Springer, LNCS\/LNBI 7605; 2012. p. 87\u2013106.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib188","DOI":"10.1007\/978-3-642-33636-2_7"},{"doi-asserted-by":"crossref","unstructured":"Gilbert D, Heiner M, Liu F, Saunders N. Colouring space \u2013 a coloured framework for spatial modelling in systems biology. In: Proc. PETRI NETS 2013, Milano, Springer, LNCS 7927; June 2013. p. 230\u201349.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib189","DOI":"10.1007\/978-3-642-38697-8_13"},{"doi-asserted-by":"crossref","unstructured":"Heiner M, Gilbert D, Donaldson R. Petri nets for systems and synthetic biology. SFM 2008, Springer, LNCS 5016; 2008. p. 215\u201364.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib190","DOI":"10.1007\/978-3-540-68894-5_7"},{"doi-asserted-by":"crossref","unstructured":"Heiner M, Gilbert D. How might Petri nets enhance your systems biology toolkit. In: Proceedings of the PETRI NETS 2011, Springer, LNCS 6709; 2011. p. 17\u201337.","key":"10.1016\/B978-0-12-800887-4.00011-0_bib191","DOI":"10.1007\/978-3-642-21834-7_2"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib192","series-title":"Methods in molecular biology \u2013 bacterial molecular networks","first-page":"409","article-title":"Petri nets in snoopy: a unifying framework for the graphical display, computational modelling, and simulation of bacterial regulatory networks","author":"Marwan","year":"2012"},{"year":"2013","author":"Gilbert","series-title":"Petri nets for multiscale systems biology simulation and analysis","key":"10.1016\/B978-0-12-800887-4.00011-0_bib193"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib194","series-title":"Third conference on autonomous agents (Agents-99), workshop on agent conversation policies, Seattle","article-title":"Modeling agent conversations with colored Petri nets","author":"Scott Cost","year":"1999"},{"key":"10.1016\/B978-0-12-800887-4.00011-0_bib195","series-title":"Proceedings of the first international joint conference on autonomous agents and multiagent systems","article-title":"Open protocol design for complex interactions in multi-agent systems","author":"Mazouzi","year":"2002"},{"year":"2011","author":"Blatke","series-title":"Tutorial Petri nets in systems biology","key":"10.1016\/B978-0-12-800887-4.00011-0_bib196"}],"container-title":["Modeling and Simulation of Computer Networks and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780128008874000110?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780128008874000110?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T22:34:41Z","timestamp":1747953281000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780128008874000110"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9780128008874"],"references-count":196,"URL":"https:\/\/doi.org\/10.1016\/b978-0-12-800887-4.00011-0","relation":{},"subject":[],"published":{"date-parts":[[2015]]}}}