{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T07:31:48Z","timestamp":1775028708337,"version":"3.50.1"},"publisher-location":"London","reference-count":16,"publisher":"Springer London","isbn-type":[{"value":"9781447142751","type":"print"},{"value":"9781447142768","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4471-4276-8_10","type":"book-chapter","created":{"date-parts":[[2012,7,26]],"date-time":"2012-07-26T18:19:09Z","timestamp":1343326749000},"page":"191-211","source":"Crossref","is-referenced-by-count":10,"title":["Introduction to Petri Nets"],"prefix":"10.1007","author":[{"given":"Maria Paola","family":"Cabasino","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Giua","sequence":"additional","affiliation":[]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"David, R., Alla, H.: Discrete, Continuous and Hybrid Petri Nets. Springer (2005)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Diestel, R.: Graph Theory, 4th edn. Springer (2010)","DOI":"10.1007\/978-3-642-14279-6"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press (1995)","DOI":"10.1017\/CBO9780511526558"},{"key":"10_CR4","unstructured":"Desrochers, A.A., Al-Jaar, R.Y.: Applications of Petri Nets in Manufacturing Systems. IEEE Press (1995)"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Diaz, M. (ed.): Petri nets. Fundamental Models, Verification and Applications. John Wiley and Sons, Inc. (2009)","DOI":"10.1002\/9780470611647"},{"key":"10_CR6","unstructured":"Di Cesare, F., Harhalakis, G., Proth, J.M., Silva, M., Vernadat, F.B.: Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer (1993)"},{"key":"10_CR7","volume-title":"Rapport de Recherche","author":"A. Finkel","year":"1989","unstructured":"Finkel, A., Johnen, C.: The home state problem in transition systems. In: Rapport de Recherche, vol.\u00a0471, Univ. de Paris-Sud., Centre d\u2019Orsay (1989)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Girault, C., Valk, R.: Petri Nets for Systems Engineering. Springer (2003)","DOI":"10.1007\/978-3-662-05324-9"},{"key":"10_CR9","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley (1979)"},{"issue":"2","key":"10_CR10","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"R. Karp","year":"1969","unstructured":"Karp, R., Miller, R.: Parallel program schemata. Journal of Computer and System Sciences\u00a03(2), 147\u2013195 (1969)","journal-title":"Journal of Computer and System Sciences"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Martinez, J., Silva, M.: A simple and fast algorithm to obtain all invariants of a generalized Petri net. In: Informatik-Fachberichte: Application and Theory of Petri Nets, vol. 52. Springer (1982)","DOI":"10.1007\/978-3-642-68353-4_47"},{"issue":"4","key":"10_CR12","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proceedings IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings IEEE"},{"key":"10_CR13","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall (1981)"},{"key":"10_CR14","unstructured":"Petri, C.A.: Kommunication Mit Automaten. Institut f\u00fcr Instrumentelle, Mathematik (Bonn, Germany), Schriften des IIM\u00a03 (1962)"},{"key":"10_CR15","unstructured":"Reisig, W.: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science (1985)"},{"key":"10_CR16","unstructured":"Reutenauer, C.: Aspects Math\u00e9matiques des R\u00e9seaux de Petri. Prentice-Hall International (1990)"}],"container-title":["Lecture Notes in Control and Information Sciences","Control of Discrete-Event Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-4276-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,24]],"date-time":"2023-06-24T18:20:48Z","timestamp":1687630848000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-4276-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781447142751","9781447142768"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-4276-8_10","relation":{},"ISSN":["0170-8643","1610-7411"],"issn-type":[{"value":"0170-8643","type":"print"},{"value":"1610-7411","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}