{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T17:10:02Z","timestamp":1746292202811,"version":"3.40.4"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319084909"},{"type":"electronic","value":"9783319084916"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-08491-6_4","type":"book-chapter","created":{"date-parts":[[2014,7,2]],"date-time":"2014-07-02T11:30:07Z","timestamp":1404300607000},"page":"39-50","source":"Crossref","is-referenced-by-count":3,"title":["Enhanced Event Modeling for Human-System Interactions Using IOPT Petri Nets"],"prefix":"10.1007","author":[{"given":"R.","family":"Campos-Rebelo","sequence":"first","affiliation":[]},{"given":"A.","family":"Costa","sequence":"additional","affiliation":[]},{"given":"L.","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Barros, J.P., Gomes, L.: Net model composition and modification by net operations: a pragmatic approach. In: Proc. 2nd IEEE International Conference on Industrial Informatics, Berlin, Germany, pp. 309\u2013314 (2004)","DOI":"10.1109\/INDIN.2004.1417350"},{"key":"4_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract state machines: a method for high-level system design and analysis","author":"E. Borger","year":"2003","unstructured":"Borger, E., Stark, R.F.: Abstract state machines: a method for high-level system design and analysis. Springer, Heidelberg (2003)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Campos-Rebelo, R., Costa, A., Gomes, L.: On Structuring Events for IOPT Net Models. In: Proc. 4th Doctoral Conference on Computing, Electrical and Industrial Systems, Lisbon, Portugal, pp. 229\u2013238 (2013)","DOI":"10.1007\/978-3-642-37291-9_25"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Campos-Rebelo, R., Costa, A., Gomes, L.: Events for Human-System Interaction modeling with IOPT Petri nets. In: Proc. 6th International Conference on Human System Interaction, Gdansk, Poland, pp. 56\u201361 (2013)","DOI":"10.1109\/HSI.2013.6577802"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Costa, A., Gomes, L.: Petri net partitioning using net splitting operation. In: Proc. 7th IEEE International Conference on Industrial Informatics, Cardiff, Wales, UK, pp. 204\u2013209 (2009)","DOI":"10.1109\/INDIN.2009.5195804"},{"key":"4_CR6","unstructured":"David, R., Alla, H.: Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems. Prentice-Hall (1992)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets. Springer (2010)","DOI":"10.1007\/978-3-642-10669-9"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/3-540-65306-6_15","volume-title":"Lectures on Petri Nets I: Basic Models","author":"J. Desel","year":"1998","unstructured":"Desel, J., Reisig, W.: Place\/transition Petri nets. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 122\u2013173. Springer, Heidelberg (1998)"},{"key":"4_CR9","unstructured":"Frey, G.: Design and formal analysis of Petri net based logic control algorithms. Shaker Verlag (2002)"},{"key":"4_CR10","unstructured":"Frey, G., Minas, M.: Editing, visualizing, and implementing signal interpreted petri nets. In: Proc. 15th German Workshop on Algorithms and Tools for Petri Nets, pp. 57\u201362 (2000)"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Gomes, L., Barros, J.P.: Structuring and composability issues in Petri nets modeling. In: Proc. 3rd IEEE International Conference on Industrial Informatics, Perth, Australia, vol.\u00a01, pp. 112\u2013123 (2005)","DOI":"10.1109\/TII.2005.844433"},{"key":"4_CR12","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: Proc. 5th IEEE International Conference on Industrial Informatics, Vienna, Austria, pp. 509\u2013514 (2007)","DOI":"10.1109\/INDIN.2007.4384809"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Program.\u00a08, 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Moalla, M., Pulou, J., Sifakis, J.: Synchronized Petri nets: A model for the description of non-autonomous systems. In: Mathematical Foundations of Computer Science, pp. 374\u2013384 (1978)","DOI":"10.1007\/3-540-08921-7_85"}],"container-title":["Advances in Intelligent Systems and Computing","Human-Computer Systems Interaction: Backgrounds and Applications 3"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08491-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T16:56:52Z","timestamp":1746291412000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-08491-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319084909","9783319084916"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08491-6_4","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2014]]}}}