{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:47:57Z","timestamp":1725490077102},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729082"},{"type":"electronic","value":"9783540729099"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72909-9_45","type":"book-chapter","created":{"date-parts":[[2007,8,21]],"date-time":"2007-08-21T04:34:14Z","timestamp":1187670854000},"page":"420-432","source":"Crossref","is-referenced-by-count":0,"title":["Safety Analysis and Performance Evaluation of Time WF-nets"],"prefix":"10.1007","author":[{"given":"Wei","family":"Song","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wanchun","family":"Dou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinjun","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaokun","family":"Fan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"45_CR1","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0306-4379(00)00012-0","volume":"25","author":"W. Sadiq","year":"2000","unstructured":"Sadiq, W., Orlowska, M.E.: Analyzing Process Models using Graph Reduction Techniques. Information systems\u00a025(2), 117\u2013134 (2000)","journal-title":"Information systems"},{"key":"45_CR2","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: The Application of Petri nets to Workflow Management. The Journal of Circuits, Systems and Computers (1998)","DOI":"10.1142\/S0218126698000043"},{"key":"45_CR3","unstructured":"Bastos, R.M., Ruiz, D.D.A.: Extending UML Activity Diagram for Workflow Modeling in Production Systems. In: Proceedings of the 35th Hawaii International Conference on System Sciences (2000)"},{"issue":"2","key":"45_CR4","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1109\/69.991725","volume":"14","author":"A. Bajaj","year":"2002","unstructured":"Bajaj, A., Ram, S.: SEAM: A State-Entity-Activity-Model for a Well-Defined Workflow Development Methodology. IEEE Transactions on Knowledge and Data. Engineering\u00a014(2), 415\u2013431 (2002)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"2","key":"45_CR5","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1109\/TSMCA.2003.819490","volume":"34","author":"J.Q. Li","year":"2004","unstructured":"Li, J.Q., Fan, Y.S., Zhou, M.C.: Performance Modeling and Analysis of Workflow. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans\u00a034(2), 229\u2013242 (2004)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans"},{"issue":"2","key":"45_CR6","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1109\/TSMCA.2003.811771","volume":"33","author":"J.Q. Li","year":"2003","unstructured":"Li, J.Q., Fan, Y.S., Zhou, M.C.: Timing Constraint Workflow Nets for Workflow Analysis. IEEE Transactions on Systems, Man, and Cybernetics-Part A: System and Humans\u00a033(2), 179\u2013193 (2003)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics-Part A: System and Humans"},{"key":"45_CR7","unstructured":"Ling, S., Schmidt, H.: Time Petri nets for Workflow Modeling and Analysis. In: Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (2000)"},{"key":"45_CR8","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/S0895-7177(00)00072-8","volume":"31","author":"F.D.J. Bowden","year":"2000","unstructured":"Bowden, F.D.J.: Survey and Synthesis of the Roles of Time in Petri Nets. Mathematical and Computer Modeling,\u00a031, 55\u201368 (2000)","journal-title":"Mathematical and Computer Modeling,"},{"key":"45_CR9","doi-asserted-by":"crossref","unstructured":"Kotb, Y.T., Baumgart, A.S.: An Extended Petri net for Modeling Workflow with Critical Sections. In: Proceedings of the 2005 IEEE International Conference on e-Business Engineering (2005)","DOI":"10.1109\/ICEBE.2005.27"},{"issue":"3","key":"45_CR10","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and Verification of Time Dependent Systems using Time Petri Nets. IEEE Transactions on Software Engineering\u00a017(3), 259\u2013273 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"45_CR11","doi-asserted-by":"crossref","unstructured":"Boyer, M., Diaz, M.: Multiple Enabledness of Transition in Petri Nets with Time. In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models (2001)","DOI":"10.1109\/PNPM.2001.953371"},{"issue":"1","key":"45_CR12","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/32.341845","volume":"21","author":"J.J.P. Tsai","year":"1995","unstructured":"Tsai, J.J.P., Yang, S.J., Chang, Y.H.: Timing Constraint Petri Nets and Their Applications to Schedulability Analysis of Real-Time System Specifications. IEEE Transactions on Software Engineering\u00a021(1), 32\u201349 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"45_CR13","doi-asserted-by":"publisher","first-page":"562","DOI":"10.1109\/3477.865173","volume":"30","author":"J.C. Wang","year":"2000","unstructured":"Wang, J.C., Deng, Y., Zhou, M.C.: Compositional Time Petri Nets and Reduction Rules. IEEE Transactions on Systems, Man, and Cybernetics-Part. A: Cybernetics\u00a030(4), 562\u2013572 (2000)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics-Part A: Cybernetics"}],"container-title":["Lecture Notes in Computer Science","Advances in Web and Network Technologies, and Information Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72909-9_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:50:54Z","timestamp":1619517054000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72909-9_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540729082","9783540729099"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72909-9_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}