{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:21Z","timestamp":1761611301432},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568636"},{"type":"electronic","value":"9783540477594"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56863-8_36","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:41:52Z","timestamp":1330238512000},"page":"1-16","source":"Crossref","is-referenced-by-count":66,"title":["Modeling and enactment of workflow systems"],"prefix":"10.1007","author":[{"given":"Clarence A.","family":"Ellis","sequence":"first","affiliation":[]},{"given":"Gary J.","family":"Nutt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"1_CR1","unstructured":"James Bair, editor. Office Automation Systems: Why Some Work and Others Fail. Center for Information Technology, 1981. Stanford University conference."},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"G. Balbo and G. Chiola. Stochastic petri net simulation. In 1989 Winter Simulation Conference Proceedings, pages 266\u2013276, 1989.","DOI":"10.1145\/76738.76772"},{"key":"1_CR3","unstructured":"Bull S. A. FlowPath Functional Specification, September 1992."},{"key":"1_CR4","unstructured":"Carolyn Cook. Office streamlining using the icn model and methodology. In Proceedings of the 1980 National Computer Conference, 1980."},{"key":"1_CR5","unstructured":"P. Dumas. La Methode OSSAD. Les Editions d'Organization, 1991."},{"key":"1_CR6","unstructured":"Esther Dyson. Workflow. EDventure Holdings, 1992. Release 1.0."},{"issue":"1","key":"1_CR7","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1145\/99977.99987","volume":"34","author":"C. Ellis","year":"1991","unstructured":"C. Ellis, S. J. Gibbs, and G. L. Rein. Groupware: Some issues and experiences. Communications of the ACM, 34(1):38\u201358, January 1991.","journal-title":"Communications of the ACM"},{"key":"1_CR8","unstructured":"Clarence A. Ellis. Information control nets: A mathematical model of office information flow. In Proceedings of the 1979 ACM Conference on Simulation, Measurement and Modeling of Computer Systems, 1979."},{"key":"1_CR9","unstructured":"Clarence A. Ellis. Officetalk-p: An office information system based upon migrating processes. In Najah Naffah, editor, Integrated Office Systems, 1979."},{"key":"1_CR10","unstructured":"Clarence A. Ellis. Officetalk-d, an experimental office information system. In Proceedings of the First ACM Conference on Office Information Systems, 1982."},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"H. J. Genrich. Predicate\/transition nets. In Advances in Petri Nets 1986, pages 3\u201343. Springer Verlag, 1986.","DOI":"10.1007\/978-3-642-84524-6_1"},{"key":"1_CR12","unstructured":"J. Grudin. Why csew applications fail. In Proceedings of the CSCW88 Conference, 1988."},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Kurt Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Springer Verlag, 1992.","DOI":"10.1007\/978-3-662-06289-0"},{"key":"1_CR14","unstructured":"Jianzhong Li. AMS: A Declarative Formalism for Hierarchical Representation of Procedural Knowledge. PhD thesis, L'Ecole Nationale Superierure des Telecommunications, 1990."},{"issue":"9","key":"1_CR15","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"C-31","author":"M. K. Molloy","year":"1982","unstructured":"M. K. Molloy. Performance analysis using stochastic petri nets. IEEE Transactions on Computers, C-31(9):913\u2013917, September 1982.","journal-title":"IEEE Transactions on Computers"},{"key":"1_CR16","unstructured":"Gary J. Nutt. The Formulation and Application of Evaluation Nets. PhD thesis, University of Washington, 1972."},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Gary J. Nutt. A Simulation System Architecture for Graph Models, pages 417\u2013435. Springer Verlag, 1990.","DOI":"10.1007\/3-540-53863-1_32"},{"key":"1_CR18","unstructured":"Gary J. Nutt and Clarence A. Ellis. Backtalk: An office environment simulator. In ICC 79 Conference Record, pages 22.3.1\u201322.3.5, 1979."},{"key":"1_CR19","unstructured":"S. Poltrock and J. Grudin. Tutorial on computer supported cooperative work and groupware. Presented at the ACM SIGCHI Conference on Human Factors in Computing Systems, April 1980."},{"key":"1_CR20","unstructured":"C. Ramchandani. Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. PhD thesis, MIT, 1974."},{"key":"1_CR21","unstructured":"Michael D. Zisman. Representation, Specification and Automation of Office Procedures. PhD thesis, University of Pennsylvania Wharton School of Business, 1977."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56863-8_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:06:13Z","timestamp":1605629173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56863-8_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568636","9783540477594"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-56863-8_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}