{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:26:57Z","timestamp":1730222817905,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/fskd.2017.8393322","type":"proceedings-article","created":{"date-parts":[[2018,7,16]],"date-time":"2018-07-16T22:38:33Z","timestamp":1531780713000},"page":"508-514","source":"Crossref","is-referenced-by-count":0,"title":["Decomposition of Petri nets based on the behavior relation matrix"],"prefix":"10.1109","author":[{"given":"Mimi","family":"Wang","sequence":"first","affiliation":[]},{"given":"Peihai","family":"Zhao","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/32.489078"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/71.553301"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/356698.356702"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2162502"},{"journal-title":"Programming Industrial Control Systems using IEC","year":"1998","author":"lewis","key":"ref11"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/978-3-540-68894-5_7","article-title":"Petri nets for systems and synthetic biology, in Formal Methods for Computational Systems Biology, ser","volume":"5016","author":"heiner","year":"2008","journal-title":"Lecture Notes in Computer Science"},{"key":"ref13","first-page":"333","volume":"23","author":"van der aalst","year":"2011","journal-title":"Soundness of workflow nets Classification decidability and analysis Form Aspects Comput"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.902622"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2292572"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2012.6389080"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2183353"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2043096"},{"key":"ref19","first-page":"1","article-title":"Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs","author":"remigiusz","year":"2017","journal-title":"J IEEE Transactions on Control Systems Technology"},{"journal-title":"System Modeling and Control with Resource-Oriented Petri Nets","year":"2010","author":"wu","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/HSI.2014.6860478"},{"journal-title":"Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach","year":"2009","author":"li","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2202108"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1142\/3376"},{"key":"ref29","first-page":"137","article-title":"Concepts of Net Theory","author":"petri","year":"1973","journal-title":"Proc Mathematical Foundations of Computer Science Symposium and Summer School"},{"journal-title":"Modeling and Control of Discrete-Event Dynamic Systems","year":"2007","author":"hrz","key":"ref5"},{"journal-title":"Dynamic Analysis of Petri Net-Based Discrete Systems","year":"2007","author":"karatkevich","key":"ref8"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1109\/TSMCA.2004.824363","article-title":"Correction to elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems, Systems, Man and Cybernetics","volume":"34","author":"li","year":"2004","journal-title":"IEEE Trans Syst Part A Systems and Humans"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2003.1210083"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2003.822956"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxs014"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.96"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.12.004"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.12.004"},{"journal-title":"Behavioural profiles a relational approach to behavior consistency","year":"2011","author":"weidlich","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2014.2302306"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"399","DOI":"10.3233\/FI-2011-614","article-title":"Causal behavioural profiles-efficient computation, applications, and evaluation","volume":"113","author":"weidlich","year":"2011","journal-title":"Fundamenta Inform"}],"event":{"name":"2017 13th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD)","start":{"date-parts":[[2017,7,29]]},"location":"Guilin","end":{"date-parts":[[2017,7,31]]}},"container-title":["2017 13th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8384043\/8392854\/08393322.pdf?arnumber=8393322","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T03:13:11Z","timestamp":1598238791000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8393322\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/fskd.2017.8393322","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}