{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:51:29Z","timestamp":1725490289439},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540442226"},{"type":"electronic","value":"9783540457855"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45785-2_3","type":"book-chapter","created":{"date-parts":[[2007,8,27]],"date-time":"2007-08-27T16:10:08Z","timestamp":1188231008000},"page":"30-44","source":"Crossref","is-referenced-by-count":4,"title":["Linear Temporal Inference of Workflow Management Systems Based on Timed Petri Nets Models"],"prefix":"10.1007","author":[{"given":"Q U","family":"Yang","sequence":"first","affiliation":[]},{"given":"L I N","family":"Chuang","sequence":"additional","affiliation":[]},{"given":"W A N G","family":"Jiye","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"3_CR1","volume-title":"Internet-based Workflow Management: Towards a Semantic Web. 610+XVII","author":"D.C. Marinescu","year":"2002","unstructured":"Marinescu D.C. Internet-based Workflow Management: Towards a Semantic Web. 610+XVII, Wiley, New York, Chichester, Weinheim, Brisbaine, Singapore, Toronto, 2002."},{"issue":"2","key":"3_CR2","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/521.357416","volume":"2","author":"G. Bracchi","year":"1984","unstructured":"Bracchi, G. and B. Pernici, The Design Requirements of Office Systems, ACM Trans. Office Automat. Syst., 2(2): 151\u2013170, 1984.","journal-title":"ACM Trans. Office Automat. Syst."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Schal, T. Workflow Management Systems for Process Organizations. Springer Verlag, 1996.","DOI":"10.1007\/BFb0013558"},{"issue":"9","key":"3_CR4","doi-asserted-by":"publisher","first-page":"1374","DOI":"10.1109\/21.310513","volume":"24","author":"Y. Yao","year":"1994","unstructured":"Yao, Y. A Petri net Model for Temporal Knowledge Representation and Reasoning. IEEE Trans. Systems, Man, and Cybernetics, 24(9): 1374\u20131382, 1994.","journal-title":"IEEE Trans. Systems, Man, and Cybernetics"},{"key":"3_CR5","unstructured":"Workflow Management Coalition. http:\/\/www.wfmc.com , 1998."},{"key":"3_CR6","first-page":"179","volume":"96","author":"W. Aalst van der","year":"1996","unstructured":"W. van der Aalst. Three Good Reasons for Using a Petri Net based Workflow Management System. Proc. IPIC 96, 179\u2013181, 1996.","journal-title":"Proc. IPIC"},{"key":"3_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45594-9_1","volume-title":"Business Process Management","author":"G.K. Jensenss","year":"2000","unstructured":"Jensenss, G.K., J. Verelst, B. Weyn. Techniques for Modeling Workflows and their Support of Reuse. In Business Process Management. W. van der Aalst, J. Desel, and A. Oberweis Eds. Lecture Notes in Computer Science, Vol. 1806, 1\u201315, 2000."},{"key":"3_CR8","unstructured":"M. D. Zisman, Representation, Specification and Automation of Office Procedures, PhD thesis, University of Pennsylvania, Warton School of Business, 1977."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Ellis, C.A. and G.J. Nutt. Modeling and Enactment of Workflow Systems. In Applications and Theory of Petri Nets, Lecture Notes on Computer Science, Vol. 691, Springer Verlag, 1\u201316, 1993.","DOI":"10.1007\/3-540-56863-8_36"},{"key":"3_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume-title":"Business Process Management","author":"W. Aalst van der","year":"2000","unstructured":"W. van der Aalst. Workflow Verification: Finding Control-Flow Errors Using Petri-Nets-based Techniques. In Business Process Management. W. van der Aalst, J. Desel, and A. Oberweis, Eds. Lecture Notes in Computer Science, Vol. 1806, 161\u2013183, 2000."},{"issue":"2","key":"3_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1008656726700","volume":"10","author":"Adam","year":"1998","unstructured":"Adam, N.R.V. Atluri, and W.K. Huang. Modeling and Analysis of Workflows Using Petri Nets. Journal of Intelligent Information Systems. 10(2), 1\u201329, 1998.","journal-title":"Journal of Intelligent Information Systems"},{"key":"3_CR12","first-page":"244","volume":"1","author":"Y. Zhou","year":"1998","unstructured":"Yi Zhou, Murata T., Fuzzy-timing Petri net model for distributed multimedia synchronization, Systems, Man, and Cybernetics, IEEE International Conference, Volume: 1, Page(s): 244\u2013249 vol. 1, 1998.","journal-title":"IEEE International Conference"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"W. van der Aalst and A. H. ter Hofstede and B. Kiepuszewski and A.P. Barros. Workflow Patterns. http:\/\/www.tm.tue.nl.research\/patterns\/ . Technical Report, Eindhoven University of Technology, 2000.","DOI":"10.1007\/10722620_2"},{"issue":"1","key":"3_CR14","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W. Aalst van der","year":"1998","unstructured":"W. van derAalst. 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":"3_CR15","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0306-4379(00)00008-9","volume":"25","author":"W. Aalst van der","year":"2000","unstructured":"W. van derAalst. Verification of Workflow Tast Structures. Information Systems Vol. 25, No1, pp43\u201369, 2000.","journal-title":"Information Systems"}],"container-title":["Lecture Notes in Computer Science","Engineering and Deployment of Cooperative Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45785-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T16:37:40Z","timestamp":1556815060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45785-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540442226","9783540457855"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45785-2_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}