{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T22:10:05Z","timestamp":1748815805973,"version":"3.41.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319311647"},{"type":"electronic","value":"9783319311654"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-31165-4_9","type":"book-chapter","created":{"date-parts":[[2016,3,21]],"date-time":"2016-03-21T12:22:45Z","timestamp":1458562965000},"page":"86-95","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Extending IOPT Nets with a Module Construct"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Ribeiro","sequence":"first","affiliation":[]},{"given":"Fernando","family":"Mel\u00edcio","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"9_CR1","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1109\/5.558710","volume":"85","author":"S Edwards","year":"1997","unstructured":"Edwards, S., Lavagno, L., Lee, E.A., Sangiovanni-Vincentelli, A.: Design of embedded systems: formal models, validation, and synthesis. Proc. IEEE 85(3), 366\u2013389 (1997)","journal-title":"Proc. IEEE"},{"key":"9_CR2","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. Proc. IEEE 77, 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/3-540-08921-7_85","volume-title":"Mathematical Foundations of Computer Science 1978","author":"M Moalla","year":"1978","unstructured":"Moalla, M., Pulou, J., Sifakis, J.: Synchronized Petri nets: a model for the description of non-autonomous sytems. In: Winkowski, J. (ed.) Internet \u2013 Technical Development and Applications. LNCS, vol. 64, pp. 374\u2013384. Springer, Heidelberg (1978)"},{"issue":"4","key":"9_CR4","doi-asserted-by":"publisher","first-page":"2024","DOI":"10.1109\/TII.2014.2341933","volume":"10","author":"F Moutinho","year":"2014","unstructured":"Moutinho, F., Gomes, L.: Asynchronous-Channels within Petri net-based GALS distributed embedded systems modeling. IEEE Trans. Ind. Informatics 10(4), 2024\u20132033 (2014)","journal-title":"IEEE Trans. Ind. Informatics"},{"key":"9_CR5","volume-title":"Petri Nets for Systems Engineering","author":"C Girault","year":"2001","unstructured":"Girault, C., Valk, R.: Petri Nets for Systems Engineering. Springer, Heidelberg (2001)"},{"key":"9_CR6","first-page":"313","volume":"1990","author":"P Huber","year":"1989","unstructured":"Huber, P., Jensen, K., Shapiro, R.M.: Hierarchies in coloured Petri nets. Adv. Petri Nets 1990, 313\u2013341 (1989)","journal-title":"Adv. Petri Nets"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Gomes, L., Moutinho, F., Pereira, F., Ribeiro, J., Costa, A., Barros, J.P.: Extending input-output place-transition Petri nets for distributed controller systems development. In: ICMC 2014 International Conference on Mechatronics and Control, Jinzhou, China, pp. 1099\u20131104, July 2014","DOI":"10.1109\/ICMC.2014.7231723"},{"key":"9_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, pp. 509\u2013514, July 2007","DOI":"10.1109\/INDIN.2007.4384809"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Pereira, F., Moutinho, F., Ribeiro, J., Gomes, L.: Web based IOPT Petri net editor with an extensible plugin architecture to support generic net operations. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, pp. 6151\u20136156, October 2012","DOI":"10.1109\/IECON.2012.6389075"},{"key":"9_CR10","unstructured":"National Science Foundation (NSF), Cyber-Physical System (CPS) (2011). http:\/\/www.nsf.gov\/pubs\/2011\/nsf11516\/nsf11516.htm"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Gomes, L., Barros, J.P.: Models of computation for embedded systems. In: Zurawski, R. (Editor-in-Chief) The Industrial Information Technology Handbook, (Section VI \u2013 Real Time Embedded Systems; Chapter 83), pp. 83:1\u201383:17. CRC Press, Boca Raton (2005)","DOI":"10.1201\/9781420038163.ch1"},{"key":"9_CR12","unstructured":"Thomas, B.H., McLean, C.: Using Grafcet to design generic controllers. In: International Conference on Computer Integrated Manufacturing, 1988, pp. 110\u2013119, 23\u201325 May 1988"},{"issue":"2","key":"9_CR13","doi-asserted-by":"publisher","first-page":"122","DOI":"10.9746\/sicetr1965.20.122","volume":"20","author":"K Hasegawa","year":"1984","unstructured":"Hasegawa, K., Takahashi, K., Masuda, R., Ohno, H.: Proposal of mark flow graph for discrete system control. Trans. Soc. Instrum. Control Eng. 20(2), 122\u2013129 (1984)","journal-title":"Trans. Soc. Instrum. Control Eng."},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Zuberek, W.M., Bluemke, I.: Hierarchies of place\/transition refinements in Petri nets. In: 1996 IEEE Conference on Emerging Technologies and Factory Automation, 1996, EFTA 1996, Proceedings, vol. 1, pp. 355\u2013360 (1996)","DOI":"10.1109\/ETFA.1996.573319"},{"key":"9_CR15","first-page":"212","volume-title":"Application and Theory of Petri Nets 1996","author":"Xudong He","year":"1996","unstructured":"He., X.: A formal definition of hierarchical predicate transition nets. In: Proceedings of the 17th International Conference on Application and Theory of Petri Nets, pp. 212\u2013229 (1996)"},{"key":"9_CR16","first-page":"313","volume":"1990","author":"P Huber","year":"1989","unstructured":"Huber, P., Jensen, K., Shapiro, R.M.: Hierarchies in coloured Petri nets. Adv. Petri Nets 1990, 313\u2013341 (1989)","journal-title":"Adv. Petri Nets"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-02424-5_5","volume-title":"Applications and Theory of Petri Nets","author":"E Kindler","year":"2009","unstructured":"Kindler, E., Petrucci, L.: Towards a standard for modular Petri nets: a formalisation. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 43\u201362. Springer, Heidelberg (2009)"},{"key":"9_CR18","unstructured":"Kindler, E., Weber, M.: A universal module concept for Petri nets-an implementation-oriented approach. Informatik-Bericht 150, Humboldt-Universit\u00e4t zu Berlin, Institut f\u00fcr Informatik (2001)"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-540-27755-2_17","volume-title":"Lectures on Concurrency and Petri Nets","author":"G Juh\u00e1s","year":"2004","unstructured":"Juh\u00e1s, G., Lorenz, R., Neumair, C.: Modelling and control with modules of signal nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 585\u2013625. Springer, Heidelberg (2004)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Rausch, M., Hanisch, H.M.: Net condition\/event systems with multiple condition outputs, vol. 1, pp. 592\u2013600 (1995)","DOI":"10.1109\/ETFA.1995.496811"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45397-0_1","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"C Lakos","year":"2001","unstructured":"Lakos, C.: Object oriented modelling with object Petri nets. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) Concurrent OOP and PN. LNCS, vol. 2001, pp. 1\u201337. Springer, Heidelberg (2001)"},{"key":"9_CR22","volume-title":"Referenznetze","author":"O Kummer","year":"2002","unstructured":"Kummer, O.: Referenznetze. Logos-Verlag, Berlin (2002)"},{"issue":"2","key":"9_CR23","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1109\/TII.2005.844433","volume":"1","author":"L Gomes","year":"2005","unstructured":"Gomes, L., Barros, J.P.: Structuring and composability issues in Petri nets modeling. IEEE Trans. Ind. Inform. 1(2), 112\u2013123 (2005)","journal-title":"IEEE Trans. Ind. Inform."}],"container-title":["IFIP Advances in Information and Communication Technology","Technological Innovation for Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31165-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T21:33:29Z","timestamp":1748813609000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-31165-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319311647","9783319311654"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31165-4_9","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}