{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:11:45Z","timestamp":1767262305017},"reference-count":30,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2014,2,1]],"date-time":"2014-02-01T00:00:00Z","timestamp":1391212800000},"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, Syst."],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1109\/tsmc.2013.2242465","type":"journal-article","created":{"date-parts":[[2014,1,24]],"date-time":"2014-01-24T19:15:51Z","timestamp":1390590951000},"page":"220-234","source":"Crossref","is-referenced-by-count":18,"title":["Hierarchy Modeling and Formal Verification of Emergency Treatment Processes"],"prefix":"10.1109","volume":"44","author":[{"given":"Faming","family":"Lu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qingtian","family":"Zeng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yunxia","family":"Bao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hua","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref30","first-page":"275","article-title":"Cooperative objects for the conceptual modelling of organizational information systems","author":"sibertain-blanc","year":"1991","journal-title":"Proc IFIP TC8 Conf"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3923\/itj.2011.367.375"},{"key":"ref11","first-page":"1757","article-title":"Effective algorithm for deciding S-coverability of workflow nets","volume":"18","author":"fa-ming","year":"2012","journal-title":"Comput Integr Manuf Syst"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref13","year":"2011","journal-title":"Business Process Modeling Notation Version 2 0"},{"key":"ref14","author":"bruce","year":"1998","journal-title":"Real-Time UML Developing Efficient Objects for Embedded Systems"},{"key":"ref15","author":"van der aalst","year":"2004","journal-title":"Workflow Management Models Methods and Systems"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-010-0161-4"},{"key":"ref17","author":"yuan","year":"2005","journal-title":"Principle and Application of Petri Nets"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01364-5_2"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/3-540-07135-0_113","volume":"24","author":"keller","year":"1975","journal-title":"Parallel Processing"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0925-5273(03)00102-6"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1007\/978-3-540-68679-8_26","article-title":"A note on persistent Petri nets, concurrency, graphs and models","volume":"5065","author":"best","year":"2008","journal-title":"Proc Lect Notes Comput Sci"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1007\/978-3-642-02144-2_39","article-title":"Business process modeling: Current issues and future challenges","volume":"5565","author":"indulska","year":"2009","journal-title":"Proc Lect Notes Comput Sci"},{"key":"ref6","author":"goldkuhl","year":"1988","journal-title":"F\ufffdr\ufffdndringsanalysis?Arbetsmetodik och f\ufffdr\ufffdllningss\ufffdtt f\ufffdr goda f\ufffdr\ufffdndringsbeslut"},{"key":"ref29","first-page":"147","article-title":"High level Petri nets with data structures","author":"sibertain-blanc","year":"1985","journal-title":"Proc 4th Euro Workshop Appl Theory Petri Nets"},{"key":"ref5","first-page":"18","article-title":"BPR enabling software for the financial services industry","volume":"40","author":"lakin","year":"1996","journal-title":"Manage Serv"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.09.004"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/8811.001.0001","author":"van der aalst","year":"2011","journal-title":"Modeling Business Processes A Petri Net-Oriented Approach"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.08.004"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.923056"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1287\/isre.13.4.363.69"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2007.128"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ECOWS.2008.32"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72982-2_3"},{"key":"ref24","author":"blackburn","year":"2004","journal-title":"Snow and Ice Control Guidelines for Materials and Methods"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1002\/cpe.1661","article-title":"Analyzing behavioral properties of semantic business processes with parametric data","volume":"23","author":"ib\ufffd\ufffdez","year":"2011","journal-title":"Concurrency Comput Practice Exp"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"ref25","author":"manna","year":"2003","journal-title":"Mathematical theory of computation"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/6710259\/06578204.pdf?arnumber=6578204","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:31:29Z","timestamp":1642005089000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6578204\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2]]},"references-count":30,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2013.2242465","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,2]]}}}