{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T20:40:15Z","timestamp":1737060015331,"version":"3.33.0"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T00:00:00Z","timestamp":1177977600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Comput Sci Technol"],"published-print":{"date-parts":[[2007,5]]},"DOI":"10.1007\/s11390-007-9057-z","type":"journal-article","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T05:29:01Z","timestamp":1180589341000},"page":"410-425","source":"Crossref","is-referenced-by-count":9,"title":["A Three-Layer Model for Business Processes \u2014 Process Logic, Case Semantics and Workflow Management"],"prefix":"10.1007","volume":"22","author":[{"given":"Chong-Yi","family":"Yuan","sequence":"first","affiliation":[]},{"given":"Wen","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Shi-Kun","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Yu","family":"Huang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,5,30]]},"reference":[{"issue":"1","key":"9057_CR1","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W M P Aalst van der","year":"1998","unstructured":"W M P van der Aalst. The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers, 8(1):21\u201366, 1998.","journal-title":"Journal of Circuits, Systems and Computers"},{"key":"9057_CR2","unstructured":"David Hollingsworth. Workflow management coalition. The Workflow Reference Model. Document Number TC00-1003 [s], 1995."},{"key":"9057_CR3","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, methods and Systems","author":"W M P Aalst van der","year":"2002","unstructured":"W M P van der Aalst, Kees Max van Hee. Workflow Management: Models, methods and Systems. Cambridge, Massachusetts London, England: The MIT Press. 2002."},{"key":"9057_CR4","unstructured":"W M P van der Aalst, Arthur H M ter Hofstede. Workflow patterns: On the expressive power of (Petri-net-based) workflow languages. In Proc. the Fourth Workshop on the Practical Use of Colored Petri Nets and CPN Tools (CPN 2002), Kurt Jensen (ed.), volume 560 of DAIMI, Aarhus, Denmark, August 2002. University of Aarhus, pp.1\u201320."},{"key":"9057_CR5","unstructured":"W M P van der Aalst. Workflow verification: Finding control-flow errors using Petri-net-based techniques. Business Process Management: Models, Techniques, and Empirical Studies, Lecture Notes in Computer Science, Springer-Verlag, Berlin, 2000, Vol.1806, pp.161\u2013183."},{"issue":"1","key":"9057_CR6","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0306-4379(00)00008-9","volume":"25","author":"W M P Aalst van der","year":"2000","unstructured":"W M P van der Aalst, A H M ter Hofstede. Verification of workflow task structures: A Petri-net-based approach. Information Systems, 2000, 25(1): 43\u201369.","journal-title":"Information Systems"},{"issue":"11","key":"9057_CR7","first-page":"157","volume":"30","author":"Wand Bin-Jun","year":"2003","unstructured":"Wang Bin-Jun, Hao Ke-Gang. The hierarchical structure of the workflow process definition and normal Petri net. Computer Science, 2003, 30(11): 157\u2013159.","journal-title":"Computer Science"},{"issue":"2","key":"9057_CR8","first-page":"24","volume":"21","author":"Hao Ke-Gang","year":"2004","unstructured":"Hao Ke-Gang, Wang Bin-Jun. Extended XinPai driven workflow model and Petri net. Computer Applications and Software, 2004, 21(2): 24\u201326.","journal-title":"Computer Applications and Software"},{"key":"9057_CR9","unstructured":"Petri Nets: Central Models and Their Properties, Brauer W, Reisig W, Rozenberg G (eds.), LNCS 254, Springer-Verlag, 1987."},{"key":"9057_CR10","unstructured":"Petri Nets, Applications and Relationship to other Models of Concurrency, Rozenberg G (eds.), LNCS 255, Springer, 1987."},{"key":"9057_CR11","unstructured":"Yuan C Y. Principals and Application of Petri Nets. Publishing House of Electronics Industry. 2005, pp.213\u2013258."},{"key":"9057_CR12","unstructured":"Mani Chandy K, Misra J. Parallel Program Design. Addison-Wesley Publishing Company, 1988."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-007-9057-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11390-007-9057-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-007-9057-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T20:17:36Z","timestamp":1737058656000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11390-007-9057-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,5]]}},"alternative-id":["9057"],"URL":"https:\/\/doi.org\/10.1007\/s11390-007-9057-z","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"type":"print","value":"1000-9000"},{"type":"electronic","value":"1860-4749"}],"subject":[],"published":{"date-parts":[[2007,5]]}}}