{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T15:47:43Z","timestamp":1769269663744,"version":"3.49.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1109\/indin.2009.5195804","type":"proceedings-article","created":{"date-parts":[[2009,8,11]],"date-time":"2009-08-11T19:32:36Z","timestamp":1250019156000},"page":"204-209","source":"Crossref","is-referenced-by-count":39,"title":["Petri net partitioning using net splitting operation"],"prefix":"10.1109","author":[{"given":"Aniko","family":"Costa","sequence":"first","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03687-7"},{"key":"16","author":"silva","year":"1985","journal-title":"Las Redes de Petri En la Autom?atica y la Inform ?atica"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"11","article-title":"petri nets tools and embedded systems design","author":"gomes","year":"2007","journal-title":"Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'07)"},{"key":"12","doi-asserted-by":"crossref","first-page":"415","DOI":"10.3233\/FI-2000-41403","article-title":"a signal extension for petri nets and its use in controller design","volume":"41","author":"hanisch","year":"2000","journal-title":"Fundamenta Informaticae"},{"key":"3","article-title":"coloured petri nets extended with channels for synchronous communication","volume":"815","author":"christensen","year":"1994","journal-title":"LNCS"},{"key":"2","article-title":"cab: an environment for developing concurrent applications","volume":"1995","author":"bruno","year":"0","journal-title":"Applications and Theory of Petri Nets 1995 16th International Conference (ICATPN 1995)"},{"key":"1","article-title":"the petri net markup language: concepts, technology, and tools","volume":"2679","author":"billington","year":"2003","journal-title":"LNCS"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.1109\/INDIN.2007.4384809","article-title":"the input-output place-transition petri net class and associated tools","author":"gomes","year":"2007","journal-title":"5th IEEE International Conference on Industrial Informatics (INDIN 2007)"},{"key":"7","year":"2007"},{"key":"6","author":"david","year":"1992","journal-title":"Petri Nets&Grafcet Tools for Modelling Discrete Event Systems"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1109\/INDIN.2007.4384808","article-title":"petri net splitting operation within embedded systems co-design","author":"costa","year":"2007","journal-title":"5th IEEE International Conference on Industrial Informatics (INDIN 2007)"},{"key":"4","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1093\/comjnl\/43.3.224","article-title":"modular analysis of petri nets","volume":"43","author":"christensen","year":"2000","journal-title":"Computer"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-28327-7_13"},{"key":"8","article-title":"editing visualizing, and implementing signal interpreted petri nets","volume":"2000","author":"frey","year":"0","journal-title":"Proceedings of the AWPN 2000 Koblenz"}],"event":{"name":"2009 7th IEEE International Conference on Industrial Informatics (INDIN)","location":"Cardiff, Wales, UK","start":{"date-parts":[[2009,6,23]]},"end":{"date-parts":[[2009,6,26]]}},"container-title":["2009 7th IEEE International Conference on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5175248\/5191764\/05195804.pdf?arnumber=5195804","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,21]],"date-time":"2020-05-21T10:02:15Z","timestamp":1590055335000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5195804\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/indin.2009.5195804","relation":{},"subject":[],"published":{"date-parts":[[2009,6]]}}}