{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:18:32Z","timestamp":1742980712646,"version":"3.40.3"},"publisher-location":"London","reference-count":36,"publisher":"Springer London","isbn-type":[{"type":"electronic","value":"9781447151029"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4471-5102-9_53-1","type":"book-chapter","created":{"date-parts":[[2014,10,2]],"date-time":"2014-10-02T02:12:15Z","timestamp":1412215935000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modeling, Analysis and Control of Discrete Event Systems as Petri Nets"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Silva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,2,26]]},"reference":[{"key":"53-1_CR1","doi-asserted-by":"crossref","unstructured":"Agha G, de Cindio F, Rozenberg G (eds) (2001) Concurrent object-oriented programming and Petri nets, advances in Petri nets. Volume 2001 of LNCS. Springer, Berlin\/New\u00a0York","DOI":"10.1007\/3-540-45397-0"},{"key":"53-1_CR2","volume-title":"Modelling with generalized stochastic Petri nets","author":"M Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan M, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic Petri nets. Wiley, Chichester\/New\u00a0York"},{"key":"53-1_CR3","unstructured":"Balbo G, Silva M (eds) (1998) Performance models for discrete event systems with synchronizations: formalisms and analysis techniques. Proceedings of human capital and mobility MATCH performance advanced school, Jaca. Available online: http:\/\/webdiis.unizar.es\/GISED\/?q=news\/matchbook"},{"key":"53-1_CR4","doi-asserted-by":"crossref","unstructured":"Bause F, Kritzinger P (1996) Stochastic Petri nets. an introduction to the theory. Vieweg, Braunschweig","DOI":"10.1007\/978-3-663-11521-2"},{"key":"53-1_CR5","doi-asserted-by":"crossref","unstructured":"Billington J, Diaz M, Rozenberg G (eds) (1999) Application of Petri nets to communication networks, advances in Petri nets. Volume 1605 of LNCS. Springer, Berlin\/New\u00a0York","DOI":"10.1007\/BFb0097770"},{"key":"53-1_CR6","volume-title":"Reseaux de Petri: Theorie et Pratique","author":"GW Brams","year":"1983","unstructured":"Brams GW (1983) Reseaux de Petri: Theorie et Pratique. Masson, Paris"},{"key":"53-1_CR7","unstructured":"Brauer W (ed) (1980) Net theory and applications. Volume 84 of LNCS. Springer, Berlin\/New\u00a0York"},{"key":"53-1_CR8","unstructured":"Cardoso J, Camargo H (eds) (1999) Fuzziness in Petri nets. Volume 22 of studies in fuzziness and soft computing. Springer"},{"key":"53-1_CR9","doi-asserted-by":"publisher","DOI":"10.1201\/b14588","volume-title":"Optimal supervisory control of automated manufacturing systems","author":"Y Chen","year":"2013","unstructured":"Chen Y, Li Z (2013) Optimal supervisory control of automated manufacturing systems. CRC, Boca Raton"},{"key":"53-1_CR10","doi-asserted-by":"crossref","unstructured":"Cortadella J, Yakovlev A, Rozenberg G (eds) (2002) Concurrency and hardware design, advances in Petri nets. Volume 2549 of LNCS. Springer, Berlin\/New\u00a0York","DOI":"10.1007\/3-540-36190-1"},{"issue":"2","key":"53-1_CR11","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/0005-1098(94)90024-8","volume":"30","author":"R David","year":"1994","unstructured":"David R, Alla H (1994) Petri nets for modeling of dynamic systems \u2013 a survey. Automatica 30(2):175\u2013202","journal-title":"Automatica"},{"key":"53-1_CR12","volume-title":"Alla H (2010) Discrete, continuous and hybrid Petri nets","author":"R David","year":"2004","unstructured":"David R, Alla H (2010) Discrete, continuous and hybrid Petri nets, 1st edn. Springer, Berlin (2004)","edition":"1"},{"key":"53-1_CR13","volume-title":"Applications of Petri nets in manufacturing systems","author":"A. Desrochers","year":"1995","unstructured":"Desrochers A., Al-Jaar RY (1995) Applications of Petri nets in manufacturing systems. IEEE, New\u00a0York"},{"key":"53-1_CR14","doi-asserted-by":"crossref","unstructured":"Diaz M (ed) (2009) Petri nets: fundamental models, verification and applications. Control systems, robotics and manufacturing series (CAM). Wiley, London","DOI":"10.1002\/9780470611647"},{"key":"53-1_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-6955-4","volume-title":"Practice of Petri nets in manufacturing","author":"F DiCesare","year":"1993","unstructured":"DiCesare F, Harhalakis G, Proth JM, Silva M, Vernadat FB (1993) Practice of Petri nets in manufacturing. Chapman & Hall, London\/New\u00a0York"},{"key":"53-1_CR16","doi-asserted-by":"crossref","unstructured":"Di Febbraro A, Giua A, Menga G (eds) (2001) Special issue on hybrid Petri nets. Discret Event Dyn Syst 11(1\u20132)","DOI":"10.1023\/A:1008378830715"},{"key":"53-1_CR17","doi-asserted-by":"crossref","unstructured":"Girault C, Valk R (2003) Petri nets for systems engineering. a guide to modeling, verification, and applications. Springer, Berlin","DOI":"10.1007\/978-3-662-05324-9"},{"key":"53-1_CR18","doi-asserted-by":"crossref","unstructured":"Haas PJ (2002) Stochastic Petri nets. modelling, stability, simulation. Springer series in operations research. Springer, New\u00a0York","DOI":"10.1007\/0-387-21552-2_9"},{"key":"53-1_CR19","volume-title":"Supervisory control of concurrent systems: a Petri net structural approach","author":"MV Iordache","year":"2006","unstructured":"Iordache MV, Antsaklis PJ (2006) Supervisory control of concurrent systems: a Petri net structural approach. Birkhauser, Boston"},{"key":"53-1_CR20","doi-asserted-by":"crossref","unstructured":"Jensen K, Kristensen LM (2009) Coloured Petri nets. modelling and validation of concurrent systems. Springer, Berlin","DOI":"10.1007\/b95112"},{"volume-title":"High-level Petri nets","year":"1991","key":"53-1_CR21","unstructured":"Jensen K, Rozenberg G (eds) (1991) High-level Petri nets. Springer, Berlin"},{"key":"53-1_CR22","doi-asserted-by":"crossref","unstructured":"Koch I, Reisig W, Schreiber F (eds) (2011) Modeling in systems biology. the Petri net approach. Computational biology, vol\u00a016. Springer, Berlin","DOI":"10.1007\/978-1-84996-474-6"},{"issue":"4","key":"53-1_CR23","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541\u2013580","journal-title":"Proc IEEE"},{"key":"53-1_CR24","volume-title":"Petri net theory and the modeling of systems","author":"JL Peterson","year":"1981","unstructured":"Peterson JL (1981) Petri net theory and the modeling of systems. Prentice-Hall, Upper Saddle River"},{"key":"53-1_CR25","doi-asserted-by":"crossref","unstructured":"Petri CA (1966) Communication with automata. Rome Air Development Center-TR-65-377, New\u00a0York","DOI":"10.21236\/AD0630125"},{"key":"53-1_CR26","unstructured":"Reisig W (1985) Petri nets. an introduction. Volume 4 of EATCS monographs on theoretical computer science. Springer, Berlin\/New\u00a0York"},{"key":"53-1_CR27","doi-asserted-by":"crossref","unstructured":"Seatzu C, Silva M, Schuppen J (eds) (2013) Control of discrete-event systems. Automata and Petri net perspectives. Number 433 in lecture notes in control and information sciences. Springer, London","DOI":"10.1007\/978-1-4471-4276-8"},{"key":"53-1_CR28","doi-asserted-by":"crossref","unstructured":"Silva M (1985) Las Redes de Petri: en la Automatica y la Informatica. Ed. AC, Madrid (2nd ed., Thomson-AC, 2002)","DOI":"10.26754\/uz.84-7288-045-1"},{"key":"53-1_CR29","first-page":"1","volume-title":"Introducing Petri nets","author":"M Silva","year":"1993","unstructured":"Silva M (1993) Introducing Petri nets. In: Practice of Petri nets in manufacturing. Chapman and Hall, London\/New\u00a0York, pp\u00a01\u201362"},{"key":"53-1_CR30","doi-asserted-by":"crossref","unstructured":"Silva M (2013) Half a century after Carl Adam Petri\u2019s PhD thesis: a perspective on the field. Annu Rev Control 37(2):191\u2013219","DOI":"10.1016\/j.arcontrol.2013.09.001"},{"key":"53-1_CR31","doi-asserted-by":"crossref","unstructured":"Silva M, Teruel E, Colom JM (1998) Linear algebraic and linear programming techniques for the analysis of net systems. Volume 1491 of LNCS, advances in Petri nets. Springer, Berlin\/New\u00a0York, pp\u00a0309\u2013373","DOI":"10.1007\/3-540-65306-6_19"},{"key":"53-1_CR32","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/s10626-011-0116-9","volume":"21","author":"M Silva","year":"2011","unstructured":"Silva M, Julvez J, Mahulea C, Vazquez C (2011) On fluidization of discrete event models: observation and control of continuous Petri nets. Discret Event Dyn Syst 21:427\u2013497","journal-title":"Discret Event Dyn Syst"},{"key":"53-1_CR33","volume-title":"Petri-Netze","author":"P Starke","year":"1980","unstructured":"Starke P (1980) Petri-Netze. Deutcher Verlag der Wissenschaften, Berlin"},{"key":"53-1_CR34","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/8811.001.0001","volume-title":"Modeling business processes: a Petri net oriented approach","author":"W van der Aalst","year":"2011","unstructured":"van der Aalst W, Stahl C (2011) Modeling business processes: a Petri net oriented approach. MIT, Cambridge"},{"key":"53-1_CR35","volume-title":"Modelling and analysis of hybrid supervisory systems","author":"E Villani","year":"2007","unstructured":"Villani E, Miyagi PE, Valette R (2007) Modelling and analysis of hybrid supervisory systems. A Petri net approach. Springer, Berlin"},{"volume-title":"Biological Petri nets. Studies in health technology and informatics","year":"2011","key":"53-1_CR36","unstructured":"Wingender E (ed) (2011) Biological Petri nets. Studies in health technology and informatics. vol\u00a0162. IOS Press, Lansdale"}],"container-title":["Encyclopedia of Systems and Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-5102-9_53-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,16]],"date-time":"2023-07-16T23:56:41Z","timestamp":1689551801000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-5102-9_53-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781447151029"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-5102-9_53-1","relation":{},"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"20 November 2013, 18:56:53","order":1,"name":"received","label":"Received","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"20 November 2013, 18:56:53","order":2,"name":"accepted","label":"Accepted","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"26 February 2014","order":3,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}