{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:52:02Z","timestamp":1742392322262,"version":"3.28.0"},"reference-count":52,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/wsc.2011.6147799","type":"proceedings-article","created":{"date-parts":[[2012,2,9]],"date-time":"2012-02-09T17:20:26Z","timestamp":1328808026000},"page":"716-727","source":"Crossref","is-referenced-by-count":6,"title":["WORMS- A framework to support workflows in M&S"],"prefix":"10.1109","author":[{"given":"Stefan","family":"Rybacki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Himmelspach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fiete","family":"Haack","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adelinde M.","family":"Uhrmacher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/3-540-44988-4_27","article-title":"LoLA A Low Level Analyser","volume":"1825","author":"schmidt","year":"2000","journal-title":"Application and Theory of Petri Nets 2000"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.1109\/WSC.2006.323169"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1109\/SERVICES-2.2009.16"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1109\/35.978060"},{"key":"ref31","first-page":"1817","article-title":"A Workflow Event Logging Mechanism and Its Implications on Quality of Workflows","volume":"26","author":"park","year":"2010","journal-title":"Journal of Information Science and Engineering"},{"year":"1996","author":"oberweis","article-title":"INCOME\/WF – A Petri Net Based Approach to Workflow Management","key":"ref30"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1109\/WSC.2010.5679134"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1007\/978-3-642-04856-2_1"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1109\/eScience.2008.86"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1016\/j.dss.2011.01.018"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1109\/5.24143"},{"key":"ref27","first-page":"174","article-title":"Provenance and Annotation of Data and Processes","author":"missier","year":"2008","journal-title":"Chapter Exploiting Provenance to Make Sense of Automated Decisions in Scientific Workflows"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1128\/MCB.26.1.313-323.2006"},{"year":"2003","author":"alliance","journal-title":"OSGi Service Platform Release 3","key":"ref2"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-642-12814-1_18","article-title":"Auditing Workflow Executions against Dataflow Policies","volume":"47","author":"accorsi","year":"2010","journal-title":"Business Information Systems"},{"year":"2006","author":"kurkowski","journal-title":"Credible Mobile Ad Hoc Network Simulation-Based Studies","key":"ref20"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1002\/cpe.994"},{"year":"2007","author":"law","journal-title":"Simulation Modeling and Analysis","key":"ref21"},{"year":"1994","author":"merz","article-title":"Workflow Modeling and Execution with Coloured Petri Nets in COSM","key":"ref24"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.4304\/jsw.5.11.1292-1299"},{"year":"1987","author":"miller","article-title":"Kerberos authentication and authorization system","key":"ref26"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1109\/MCSE.2008.82"},{"key":"ref50","article-title":"Business Process Verification – Finally a Reality!","author":"wynn","year":"2007","journal-title":"Business Process Management Journal"},{"key":"ref51","article-title":"Verifying workflow processes: a transformation-based approach","author":"zha","year":"2010","journal-title":"Software & Systems Modeling 10 1-12-12"},{"doi-asserted-by":"publisher","key":"ref52","DOI":"10.1145\/1645164.1645178"},{"year":"1995","author":"gamma","journal-title":"Design Patterns Elements of Reusable ObjectOriented Software","key":"ref10"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/MC.2007.421"},{"year":"1996","author":"van der","article-title":"Structural Characterizations of Sound Workflow Nets","key":"ref40"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/WSC.2008.4736146"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/ANSS.2007.34"},{"key":"ref14","first-page":"220","article-title":"Transforming BPEL to Petri Nets","volume":"3649","author":"hinz","year":"2005","journal-title":"Proceedings of the Third International Conference on Business Process Management (BPM 2005)"},{"key":"ref15","article-title":"WfMC: Workflow Reference Model","author":"hollingsworth","year":"1995","journal-title":"The Workflow Management Coalition Specification"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","article-title":"Coloured Petri Nets and CPN Tools for modelling and validation of concurrent system","volume":"9","author":"jensen","year":"2007","journal-title":"International Journal on Software Tools for Technology Transfer"},{"year":"2006","author":"juric","journal-title":"Business Process Execution Language for Web Services BPEL and BPEL4WS","key":"ref17"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1023\/A:1008764508237"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/MIC.2004.44"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/WSC.2009.5429724"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/WSC.1990.129482"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/3-540-45441-1_7","article-title":"UML Activity Diagrams as a Workflow Specification Language","volume":"2185","author":"dumas","year":"2001","journal-title":"«UML» 2001 — The Unified Modeling Language Modeling Languages Concepts and Tools"},{"year":"2008","author":"davidson","journal-title":"Differencing provenance in scientific workflows","key":"ref5"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1093\/bib\/bbp067"},{"key":"ref7","first-page":"1","article-title":"Modeling and Enactment of Workflow Systems","author":"ellis","year":"1993","journal-title":"Proceedings of the 14th International Conference on Application and Theory of Petri Nets"},{"key":"ref49","article-title":"Validation of E-Science Experiments using a Provenance-based Approach","author":"wong","year":"2005","journal-title":"Proceedings of 4th UK e-Science All Hands Meeting"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/PADS.2008.9"},{"doi-asserted-by":"publisher","key":"ref46","DOI":"10.1145\/1883133.1883137"},{"key":"ref45","first-page":"475","article-title":"Woflan 2.0: a Petri-net-based workflow diagnosis tool","author":"verbeek","year":"2000","journal-title":"Proceedings of the 21 st international conference on Application and theory ot petri nets"},{"key":"ref48","article-title":"Workflow Patterns with BPMN and UML","author":"white","year":"2004","journal-title":"IBM January"},{"year":"2008","article-title":"Workflow Management Coalition Workflow Standard Process Definition Interface – XML Process Definition Language","key":"ref47"},{"key":"ref42","first-page":"63","author":"van der","year":"2000","journal-title":"Adaptive Workflow"},{"year":"1996","author":"van der","article-title":"Three Good Reasons for Using a Petri-net-based Workflow Management System","key":"ref41"},{"key":"ref44","first-page":"31","article-title":"Modelling workflow management systems with high-level Petri nets","author":"van der","year":"1994","journal-title":"Proceedings of the Second Workshop on Computer-supported Cooperative Work Petri nets and related formalisms"},{"key":"ref43","article-title":"Workflow Management: Models, Methods, and Systems","volume":"1","author":"van der","year":"2004","journal-title":"MIT Press Book"}],"event":{"name":"2011 Winter Simulation Conference - (WSC 2011)","start":{"date-parts":[[2011,12,11]]},"location":"Phoenix, AZ, USA","end":{"date-parts":[[2011,12,14]]}},"container-title":["Proceedings of the 2011 Winter Simulation Conference (WSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6135535\/6147014\/06147799.pdf?arnumber=6147799","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T10:01:22Z","timestamp":1497952882000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6147799\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":52,"URL":"https:\/\/doi.org\/10.1109\/wsc.2011.6147799","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}