{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:11:52Z","timestamp":1729667512658,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsmc.2000.884464","type":"proceedings-article","created":{"date-parts":[[2002,11,7]],"date-time":"2002-11-07T20:06:37Z","timestamp":1036699597000},"page":"3039-3044","source":"Crossref","is-referenced-by-count":31,"title":["Time Petri nets for workflow modelling and analysis"],"prefix":"10.1109","volume":"4","author":[{"family":"Sea Ling","sequence":"first","affiliation":[]},{"given":"H.","family":"Schmidt","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"146","article-title":"A patient workflow management system built on guidelines","author":"dazzi","year":"1997","journal-title":"1997 AMIA Annual Fall Symposium A Conference of the American Medical Informatics Association Proceedings"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558"},{"key":"ref12","first-page":"344","article-title":"Using a safety notion in Petri nets to analyse real-time systems","author":"ling","year":"1997","journal-title":"Proceedings of the IASTED International Conference on Software Engineering SE 97"},{"journal-title":"Petri net modelling and analysis of realtime systems based on net structure","year":"1998","author":"ling","key":"ref13"},{"key":"ref14","first-page":"452","article-title":"Interval timed coloured Petri nets and their analysis","volume":"691","author":"van der aalst","year":"1993","journal-title":"Application and Theory of Petri Nets 1993 14th Int'l Conference Proceedings"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","article-title":"Verification of workflow nets","volume":"1248","author":"van der aalst","year":"1997","journal-title":"Application and Theory of Petri Nets 1997 18th Int'l Conference Proceedings"},{"journal-title":"A concept of time for workflow modelling and analysis","year":"2000","author":"ling","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/3-540-58152-9_6","article-title":"Occurrence graphs for interval timed coloured nets","volume":"815","author":"berthelot","year":"1994","journal-title":"Application and Theory of Petri Nets 1994 15th Int'l Conference Proceedings"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF03325097","article-title":"On modelling and verification of temporal constraints in production workflows","volume":"1","author":"marjanovic","year":"1999","journal-title":"Knowledge and Information Systems"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/3-540-48745-X_17","article-title":"Net theory and workflow models","volume":"1639","author":"de michelis","year":"1999","journal-title":"Application and Theory of Petri Nets 1999 20th Int'l Conference Proceedings"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"ref7","first-page":"179","article-title":"Three good reasons for using a Petri-net-based workflow management system","author":"van der aalst","year":"1996","journal-title":"Proceedings Int'l Working Conference on Information and Process Integration in Enterprise (IPIC'96)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0875-7_22"},{"journal-title":"Workflow Management Coalition Terminology and Glossary (WFMC-TC-1011)","year":"1999","key":"ref1"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/3-540-65306-6_14","volume":"1491","author":"rozenberg","year":"1998","journal-title":"Lectures in Petri Nets I Basic Models"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.1998.657557"}],"event":{"name":"IEEE International Conference on Systems, Man, and Cybernetics","acronym":"ICSMC-00","location":"Nashville, TN, USA"},"container-title":["SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7099\/19129\/00884464.pdf?arnumber=884464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T09:55:52Z","timestamp":1497520552000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/884464\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2000.884464","relation":{},"subject":[]}}