{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:02:54Z","timestamp":1729634574505,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,2]]},"DOI":"10.1109\/icit.2013.6505879","type":"proceedings-article","created":{"date-parts":[[2013,4,26]],"date-time":"2013-04-26T23:28:56Z","timestamp":1367018936000},"page":"1416-1421","source":"Crossref","is-referenced-by-count":3,"title":["Towards distributed execution of Petri net conflicts through model transformation"],"prefix":"10.1109","author":[{"given":"F.","family":"Moutinho","sequence":"first","affiliation":[]},{"given":"L.","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"The input-output place-transition petri net class and associated tools","author":"gomes","year":"2007","journal-title":"Proceedings of the 5th IEEE International Conference on Industrial Informatics (INDIN'07)"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28729-9_22"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2005.1560425"},{"key":"15","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/978-3-642-28255-3_16","article-title":"Asynchronous-channels and time- domains extending petri nets for GALS systems","volume":"372","author":"moutinho","year":"2012","journal-title":"Technological Innovation for Value Creation Ser IFIP Advances in Information and Communication Technology"},{"key":"16","article-title":"On synchronous and asynchronous interaction in distributed systems","author":"van glabbeek","year":"2009","journal-title":"CoRR"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2007.4460403"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2009.5195804"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2012.6237295"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034908"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/9.989151"},{"key":"20","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/978-3-540-47919-2_13","article-title":"Transformations and decompositions of nets","volume":"254","author":"berthelot","year":"1987","journal-title":"Petri Nets Central Models and Their Properties Lecture Notes in Computer Science"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2002.1173442"},{"key":"23","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/ICSMC.2002.1173329","article-title":"Decomposition of Petri nets using the transitive matrix based on P-invariant","volume":"3","author":"lee","year":"2002","journal-title":"Systems Man and Cybernetics 2002 IEEE International Conference on"},{"key":"24","first-page":"79","article-title":"Decomposition-based calculation of petri net invariants","author":"zaitsev","year":"2004","journal-title":"Proceedings of Workshop on Token Based Computing (ToBaCo) Satellite Event of the 25th International Conference on Application and Theory of Petri Nets"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2007.32"},{"key":"26","article-title":"A method for prepartitioning of petri net models for parallel embedded real-time systems","author":"tacken","year":"1999","journal-title":"Proc of the 6th Annual Australasian Conference on Parallel and Real- Time Systems (PART'99)"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.07.028"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0019974"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1007\/s001650200022"},{"key":"3","article-title":"Modeling intelligent embedded real-time systems using high-level petri nets","author":"rust","year":"2001","journal-title":"FDL Forum on Design Languages"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/EUROMICRO.2007.18"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2006.15"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.30"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/2.108047"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2005.1612535"},{"journal-title":"Behavioral Modeling for Embedded Systems and Technologies Applications for Design and Implementation","year":"2009","author":"gomes","key":"5"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46105-1_34","article-title":"Model-based development of embedded systems","author":"schatz","year":"2002","journal-title":"Advances in Object-Oriented Information Systems (OOIS'2002) Workshops"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844433"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"}],"event":{"name":"2013 IEEE International Conference on Industrial Technology (ICIT 2013)","start":{"date-parts":[[2013,2,25]]},"location":"Cape Town","end":{"date-parts":[[2013,2,28]]}},"container-title":["2013 IEEE International Conference on Industrial Technology (ICIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6495638\/6505636\/06505879.pdf?arnumber=6505879","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,13]],"date-time":"2019-07-13T01:57:18Z","timestamp":1562983038000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6505879\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/icit.2013.6505879","relation":{},"subject":[],"published":{"date-parts":[[2013,2]]}}}