{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,15]],"date-time":"2024-08-15T08:27:29Z","timestamp":1723710449974},"reference-count":51,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/tsmc.2013.2250278","type":"journal-article","created":{"date-parts":[[2013,6,11]],"date-time":"2013-06-11T14:02:24Z","timestamp":1370959344000},"page":"1411-1423","source":"Crossref","is-referenced-by-count":13,"title":["Modular Reachability Analysis of Petri Nets for Multiagent Systems"],"prefix":"10.1109","volume":"43","author":[{"given":"Toshiyuki","family":"Miyamoto","sequence":"first","affiliation":[]},{"given":"Kyota","family":"Horiguchi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1093\/ietfec\/e88-a.11.2964"},{"key":"ref38","first-page":"1","article-title":"Petri nets as token objects: An introduction to elementary object nets","volume":"lncs 1420","author":"valk","year":"1998","journal-title":"Proc Appl Theory Petri Nets"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/11527862_11"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/43.3.224"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref30","first-page":"416","article-title":"Petri net analysis using Boolean manipulation","volume":"lncs 815","author":"pastor","year":"1994","journal-title":"Proc Appl Theory Petri Nets"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/91.324809"},{"key":"ref35","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume":"1","author":"jensen","year":"1997","journal-title":"Coloured Petri Nets Basic Concepts Analysis Methods and Practical Use"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.233141"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/BF00709154"},{"key":"ref27","volume":"62","author":"lipton","year":"1976","journal-title":"The reachability problem requires exponential space"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56496-9_14"},{"key":"ref2","year":"1988","journal-title":"Readings in Distributed Artificial Intelligence"},{"key":"ref1","author":"wooldridge","year":"2009","journal-title":"An Introduction to Multiagent Systems"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2037236"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2147308"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2048898"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2183353"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2004.09.020"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2034837"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2052607"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-69108-1_19"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2009.2038691"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1002\/ecj.10203"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref40","first-page":"619","article-title":"A multiagent net model of autonomous distributed systems","author":"miyamoto","year":"1996","journal-title":"Proc Symp Discrete Events Manuf Syst CESA IMACS Multiconf"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843004001012"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2037018"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2093884"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2038068"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2147310"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2183357"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2036930"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SICE.2002.1195229"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.897710"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2034863"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1093\/ietfec\/e88-a.11.3036"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2132704"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2036932"},{"key":"ref49","first-page":"83","article-title":"A multiagent net model and the realization of software environment","author":"miyamoto","year":"1999","journal-title":"Proc Workshop Petri Nets Intell Syst Develop"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2199304"},{"key":"ref46","first-page":"18","article-title":"Undecidability in object-oriented Petri nets","volume":"59","author":"kummer","year":"2000","journal-title":"Petri Net Newsletter"},{"key":"ref45","first-page":"471","article-title":"Cooperative nets","volume":"lncs 815","author":"sibertin-blanc","year":"1994","journal-title":"Proc Appl Theory Petri Nets"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1998.731604"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90014-7"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1093\/ietfec\/e90-a.10.2257"},{"key":"ref41","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/3-540-46562-6_18","article-title":"Some decidability results for nested Petri nets","volume":"lncs 1755","author":"lomazova","year":"2000","journal-title":"Proc Perspectives Syst Inform"},{"key":"ref44","author":"valk","year":"2000","journal-title":"Relating Different Semantics for Object Petri Nets"},{"key":"ref43","first-page":"3653","article-title":"Modular reachability analysis in fundamental class of multiagent nets","author":"miyamoto","year":"2011","journal-title":"Proc IECON"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/6626361\/06529187.pdf?arnumber=6529187","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,14]],"date-time":"2017-11-14T00:33:56Z","timestamp":1510619636000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6529187\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":51,"journal-issue":{"issue":"6"},"URL":"http:\/\/dx.doi.org\/10.1109\/tsmc.2013.2250278","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11]]}}}
