{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:28:41Z","timestamp":1725722921495},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642372902"},{"type":"electronic","value":"9783642372919"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37291-9_25","type":"book-chapter","created":{"date-parts":[[2013,4,15]],"date-time":"2013-04-15T14:32:16Z","timestamp":1366036336000},"page":"229-238","source":"Crossref","is-referenced-by-count":5,"title":["On Structuring Events for IOPT Net Models"],"prefix":"10.1007","author":[{"given":"Rog\u00e9rio","family":"Campos-Rebelo","sequence":"first","affiliation":[]},{"given":"Anik\u00f3","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","volume-title":"Kommunikation mit Automaten","author":"C.A. Petri","year":"1962","unstructured":"Petri, C.A.: Kommunikation mit Automaten. Technische Hochschule, Darmstadt (1962)"},{"issue":"3","key":"25_CR2","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"J.L. Peterson","year":"1977","unstructured":"Peterson, J.L.: Petri Nets. ACM Comput. Surv.\u00a09(3), 223\u2013252 (1977)","journal-title":"ACM Comput. Surv."},{"issue":"6","key":"25_CR3","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1109\/41.334574","volume":"41","author":"R. Zurawski","year":"1994","unstructured":"Zurawski, R., MengChu, Z.: Petri nets and industrial applications: A tutorial. IEEE Transactions on Industrial Electronics\u00a041(6), 567\u2013583 (1994)","journal-title":"IEEE Transactions on Industrial Electronics"},{"issue":"4","key":"25_CR4","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 of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Gomes, L., Barros, J.P., Costa, A.: Modeling Formalisms for Embedded Systems Design. In: Zurawski, R. (ed.) Embedded Systems Handbook, ch. 5, pp. 5\u20131, 5\u201334. CRC (2005) ISBN 0849328241","DOI":"10.1201\/9781420038163.ch5"},{"issue":"4","key":"25_CR6","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1109\/TRA.2003.814503","volume":"19","author":"A. Ramirez-Trevino","year":"2003","unstructured":"Ramirez-Trevino, A., Rivera-Rangel, I., Lopez-Mellado, E.: Observability of discrete event systems modeled by interpreted Petri nets. IEEE Transactions on Robotics and Automation\u00a019(4), 557\u2013565 (2003)","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Giua, A., Di Cesare, F.: Easy synchronized Petri nets as discrete event models. In: Proceedings of the 29th IEEE Conference on Decision and Control (1990)","DOI":"10.1109\/CDC.1990.203297"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Gomes, L., Barros, J.P., Costa, A., Nunes, R.: The Input-Output Place-Transition Petri Net Class and Associated Tools. In: 2007 5th IEEE International Conference on Industrial Informatics (2007)","DOI":"10.1109\/INDIN.2007.4384809"},{"key":"25_CR9","unstructured":"David, R., Alla, H.: Petri Nets and Grafcet: Tools for Modeling Discrete Event Systems. Prentice Hall (1992)"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Gomes, L., Barros, J.P.: On structuring mechanisms for Petri nets based system design. In: Proceedings of the IEEE Conference on Emerging Technologies and Factory Automation, ETFA 2003 (2003)","DOI":"10.1109\/ETFA.2003.1248731"},{"key":"25_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/BFb0035389","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: A brief introduction to coloured Petri Nets. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol.\u00a01217, pp. 203\u2013208. Springer, Heidelberg (1997)"}],"container-title":["IFIP Advances in Information and Communication Technology","Technological Innovation for the Internet of Things"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37291-9_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,12]],"date-time":"2019-07-12T15:27:54Z","timestamp":1562945274000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37291-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642372902","9783642372919"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37291-9_25","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2013]]}}}