{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T20:21:42Z","timestamp":1694636502587},"reference-count":54,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2009,9,1]],"date-time":"2009-09-01T00:00:00Z","timestamp":1251763200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst., Man, Cybern. A"],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1109\/tsmca.2009.2025022","type":"journal-article","created":{"date-parts":[[2009,8,24]],"date-time":"2009-08-24T15:01:54Z","timestamp":1251126114000},"page":"1022-1034","source":"Crossref","is-referenced-by-count":13,"title":["Petri Net Translation Patterns for the Analysis of eBusiness Collaboration Messaging Protocols"],"prefix":"10.1109","volume":"39","author":[{"given":"Andrew L.","family":"Feller","sequence":"first","affiliation":[]},{"given":"Teresa","family":"Wu","sequence":"additional","affiliation":[]},{"given":"Dan L.","family":"Shunk","sequence":"additional","affiliation":[]},{"given":"John","family":"Fowler","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","first-page":"4.1","article-title":"on the compositional properties of uml statechart diagrams","author":"simons","year":"2000","journal-title":"Proc 3rd Workshop Rigorous Object Oriented Methods"},{"key":"ref38","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1145\/503209.503236","article-title":"combining uml and formal notations for modeling real-time systems","author":"lavazza","year":"2001","journal-title":"Proc 8th Eur Softw Eng Conf Held Jointly With 9th ACM SIGSOFT Int Symp Found Softw Eng"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/287318.287332"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/3-540-36235-5_2","article-title":"a coloured petri net formalisation for a uml-based notation applied to cooperative system modeling","author":"garrido","year":"2002","journal-title":"Proc 9th Int'l Workshop Interactive Systems Design Specification and Verification"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45397-0_9"},{"key":"ref30","first-page":"534","article-title":"closing the gap between object-oriented modeling of structure and behavior","author":"giese","year":"1999","journal-title":"Proc 2nd Int Conf UMLBeyond the Standard"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/350391.350406"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584375"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584376"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2002.1167702"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.902622"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2005.859179"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.2000.0194"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231869"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2002.1172936"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2003.1261475"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2003.1261474"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2004.824280"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.914747"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2004.824287"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.914779"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1080\/00207540412331312688"},{"key":"ref51","author":"bloom","year":"2003","journal-title":"PipeA platform independent Petri net editor"},{"key":"ref54","year":"2006","journal-title":"Intel RosettaNet BCRN IndicatorsTransaction Summary Report"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/0026-2714(91)90007-T"},{"key":"ref52","year":"0","journal-title":"Platform Independent Petri Net Editor (PIPE) The Home Page of PIPE (Platform Independent Petri Net Editor)"},{"key":"ref10","author":"zeigler","year":"1976","journal-title":"Theory of Modeling and Simulation"},{"key":"ref11","author":"fishwick","year":"1986","journal-title":"Hierarchical reasoning Simulating complex processes over multiple levels of abstraction"},{"key":"ref40","year":"2001","journal-title":"Rosettanet Implementation framework Core specification"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/21.87052"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/149516.149530"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/132277.132280"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/333296.333339"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.1997.641028"},{"key":"ref17","first-page":"9","article-title":"an introduction to multi-paradigm modeling and simulation","author":"vangheluwe","year":"2002","journal-title":"Proc AIS Conf (AI Simul Planning High Autonomy Syst )"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/643120.643121"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/643120.643122"},{"key":"ref4","year":"2006","journal-title":"Intel RosettaNet Transaction Logs"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.26"},{"key":"ref6","author":"padulo","year":"1974","journal-title":"System Theory A Unified State-Space Approach to Continuous and Discrete Systems"},{"key":"ref5","author":"sowa","year":"1984","journal-title":"Conceptual Structures Information Processing in Mind and Machine"},{"key":"ref8","year":"1997","journal-title":"UML Summary"},{"key":"ref7","year":"0","journal-title":"Introduction to OMG's Unified Modeling Language (UML)"},{"key":"ref49","author":"willumsen","year":"1993","journal-title":"Executable conceptual models in information systems engineering"},{"key":"ref9","year":"2003","journal-title":"OMG UML Specification"},{"key":"ref46","first-page":"1","article-title":"relating diagrams to logic","author":"sowa","year":"1993","journal-title":"Proc 1st ICCS Conceptual Graphs Knowl Represent"},{"key":"ref45","first-page":"139","article-title":"combining petri nets and ns-2: a hybrid method for analysis and simulation","author":"ye","year":"2006","journal-title":"Proc 4th Annu CNSR Conf"},{"key":"ref48","first-page":"201","author":"feller","year":"1992","journal-title":"Conceptual Structures Current Practices"},{"key":"ref47","author":"feller","year":"1990","journal-title":"Optimization of Manufacturing Systems Design"},{"key":"ref42","year":"2006","journal-title":"EDIINT AS1 and AS2 Transport Communication Guidelines"},{"key":"ref41","year":"2002","journal-title":"RosettaNet PIP Specification Cluster 4 Inventory Management Segment A Collaborative Forecasting PIP4A1 Notify of Strategic Forecast"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.923062"},{"key":"ref43","author":"peterson","year":"1981","journal-title":"Petri Net Theory and the Modeling of Systems"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/3468\/5208652\/05204253.pdf?arnumber=5204253","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:51:15Z","timestamp":1633909875000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5204253\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":54,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tsmca.2009.2025022","relation":{},"ISSN":["1083-4427"],"issn-type":[{"value":"1083-4427","type":"print"}],"subject":[],"published":{"date-parts":[[2009,9]]}}}
