Cited By
View all- Lanz AReichert MWeber B(2018)Process time patternsInformation Systems10.1016/j.is.2015.10.00257:C(38-68)Online publication date: 30-Dec-2018
Using time stream Petri nets for workflow modelling analysis and enactment
Abstract
Timing requirements are important aspects in workflow modelling, analysis and enactment. In the last few years, though, many workflow languages and tools have been proposed but only few of them address timing issues during enactment. This paper shows that time stream Petri nets (TSPNs), originally designed for multimedia/hypermedia modelling and analysis, are a well-suited formalism also for supporting the whole lifecycle of workflow processes with timing constraints. A novel approach to modelling, analysis and distributed enactment of workflow processes specified by TSPNs is proposed. Functional and temporal properties of a TSPN model can be checked using exhaustive verification or a DEVS-based simulation tool. Enactment rests on PN-Engine, a decentralized enactment engine based on the service-oriented computing paradigm, which enables execution of workflow processes where the coordinated activities may involve cross-boundary organizations. The approach is illustrated by means of a modelling example concerned with a wine-production process.
References
[1]
Hollingsworth DThe Workflow Reference Model. Workflow Management Coalition; 1995:
[2]
van der Aalst WMP,Barros A,ter Hofstede A,Kiepuszewski B.Advanced workflow patterns.Proceedings of 7th International Conference on Cooperative Information Systems; <confdate/>; <confdate/>. 18.
[3]
van der Aalst WMP.The application of Petri nets to workflow management.Journal of Circuits, Systems and Computers. 1998;8:21-66
[4]
Diaz M,Sénac P.Time stream Petri nets: A model for timed multimedia information.Proceedings of the 15th International Conference on Application and Theory of Petri Nets; <confdate/>London, UK; <confdate/>. 219.
[5]
Sénac P,Diaz M,Leger A,de Saqui-Sannes P.Modeling logical and temporal synchronization in hypermedia systems.IEEE Journal on Selected Areas in Communications. 1996;14:84-103
[6]
Merlin P,Farber D.Recoverability of communication protocols-implications of a theoretical study.IEEE Transactions on Communications. 1976;24:1036-1043
[7]
Boyer M,Diaz M.Non equivalence between time Petri nets and time stream Petri nets.Proceedings of the 8th International Workshop on Petri Nets and Performance Models; <confdate/>; <confdate/>. 198.
[8]
Cicirelli F,Furfaro A,Nigro L.A service-based architecture for dynamically reconfigurable workflows.Journal of Systems and Software. 2010;83:1148-1164
[9]
Papazoglou MP,Georgakopoulos D.Service-oriented computing, introduction.Communications of the ACM. 2003;46 (10): 24-28
[10]
Bennett K,Layzell P,Budgen D,Brereton P,Macaulay L,Munro M.Service-based software: the future for flexible software.Proceedings of 7th Asia-Pacific Software Engineering Conference; <confdate/>; <confdate/>. 214.
[11]
Perrey R,Lycett M.Service-oriented architecture.Proceedings of the Symposium on Applications and the Internet Workshop (SAINT'03); <confdate/>; <confdate/>. 116.
[12]
Cicirelli F,Nigro L.A General Brokering Architecture Layer and its Application to Video on-Demand over the Internet.Informatica - An International Journal of Computing and Informatics. 2007;31:29-39
[13]
Verbeek HMW,Basten T,van der Aals WMP.Diagnosing workflow processes using Woflan.The Computer Journal. 2001;44:246-279
[14]
Guan Z,Hernandez F,Bangalore P,Gray J,Skjellum A,Velusamy V, et al.Grid-flow: a grid-enabled scientific workflow system with a Petri-net-based interface.Concurrency and Computation: Practice and Experience. 2006;18:1115-1140
[15]
Edwards WKCore Jini. <ed>2</ed>nd edition. Englewood Cliffs, NJ: Prentice Hall, 2001.Englewood Cliffs, NJ: Prentice Hall; 2001:
[16]
Zeigler BP,Praehofer H,Kim TTheory of Modeling and Simulation. New York: Academic Press; 2000:
[17]
Cicirelli F,Furfaro A,Nigro L.A DEVS M&S framework based on Java and actors.Proceedings of 2nd European Modeling and Simulation Symposium (EMSS'06); <confdate/>Barcelona, Spain; <confdate/>. 337.
[18]
Cicirelli F,Furfaro A,Nigro L.Actor-based simulation of PDEVS systems over HLA.Proceedings of 41st Annual Simulation Symposium (ANSS'08); <confdate/>Ottawa, Canada; <confdate/>. 229.
[19]
Jansen-vullers MH,Netjes M.Business process simulation-a tool survey.Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN; <confdate/>Aarhus, Denmark; <confdate/>. .
[20]
Rozinat A,Wynn MT,van der Aalst WMP,ter Hofstede AHM,Fidge CJ.Workflow simulation for operational decision support.Data Knowledge Engineering. 2009;68:834-850
[21]
Nakatumba J,Rozinat A,Russell NInternational Handbook on Business Process Management. Berlin: Springer-Verlag; 2009:
[22]
Verbeek HMW,van Hattem M,Reijers HA,de Munk W.Protos 7.0: Simulation made accessible.Proceedings of International Conference on Application and Theory of Petri Nets (ICATPN 2005); 2004; 2004. 465.
[23]
Jensen K,Kristensen LM,Wells L.Coloured Petri nets and CPN tools for modelling and validation of concurrent systems.International Journal on Software Tools for Technology Transfer. 2007;9:213-254
[24]
Ling S,Schmidt H.Time Petri nets for workflow modelling and analysis.Proceedings IEEE International Conference on Systems, Man, and Cybernetics; <confdate/>; <confdate/>. 3039.
[25]
Tsai JJP,Jennhwa Yang S,Chang Y-H.Timing constraint Petri nets and their application to schedulability analysis of real-time system specifications.IEEE Transactions on Software Engineering. 1995;21:32-49
[26]
Li JQ,Fan YS,Zhou MC.Timing constraint workflow nets for workflow analysis.IEEE Transactions on Systems, Man and Cybernetics, Part A. 2003;33:179-193
[27]
Wang H,Zeng Q.Modeling and analysis for workflow constrained by resources and nondetermined time: An approach based on Petri nets.IEEE Transactions on Systems, Man and Cybernetics, Part A. 2008;38:802-817
[28]
Li W,Fan Y.A time management method in workflow management system.Proceedings Workshops at the Grid and Pervasive Computing Conference GPC '09; <confdate/>; <confdate/>. 3.
[29]
Li H,Yang Y.Dynamic checking of temporal constraints for concurrent workflows.Electronic Commerce Research and Applications. 2005;4:124-142
[30]
Eder J,Panagos EWorkflow Handbook 2001. Future Strategies Inc.; 2001:109-132.
[31]
Hong KJ,Lee JK,Kim DH,Kim TG.DEVS framework instrumented with database for web-based workflow modeling simulation.Proceedings of the International Conference on Web-Based Modeling and Simulation; <confdate/>San Francisco, CA; <confdate/>. 113.
[32]
Zacharewicz G,Frydman C,Giambiasi N.G-DEVS/HLA environment for distributed simulations of workflows.SIMULATION. 2008;84:197-213
[33]
Giambiasi N,Escude B,Ghosh S.G-DEVS: A generalized discrete event specification for accurate modeling of dynamic systems.Transactions of the SCS International. 2000;17:120-134
[34]
Kuhl F,Dahmann J,Weatherly RCreating Computer Simulation Systems: An Introduction to the High Level Architecture. Upper Saddle River, NJ: Prentice-Hall; 2000:
[35]
Choi BK,Lee D,Kang DH.DEVS modeling of run-time workflow simulation and its application.Proceedings of 22nd European Conference on Modelling and Simulation (ECMS 2008); <confdate/>Cyprus; <confdate/>. 31.
[36]
Lee D,Shin H,Choi BK.Mediator approach to direct workflow simulation.Simulation Modelling Practice and Theory. 2010;18:650-662
[37]
Cicirelli F,Furfaro A,Nigro L.Modelling and analysing real time system specifications using time stream Petri nets.Proceedings of 30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software (WRTP/RTS'09); <confdate/>Mragowo, Poland; <confdate/>. .
[38]
Lanz A,Weber B,Reichert M.Workflow time patterns for process-aware information systems.Proceedings of 11th International Workshop BPMDS and 15th International Conference EMMSAD at CAiSE 2010; <confdate/>; <confdate/>. 95.
[39]
NiculaeCC. Time Patterns in Workflow Management Systems. Technical report, BPMcenter.org, 2011.
[40]
Combi C,Gozzi M,Juárez JM,Oliboni B,Pozzi G.Conceptual modeling of temporal clinical workflows.14th International Symposium on Temporal Representation and Reasoning (TIME 2007); <confdate/>; <confdate/>. 70.
[41]
Behrmann G,David D,Larsen KGBerlin: Springer-Verlag; 2004:200-236.
[42]
Uppaal on-line, http://www.uppaal.com, September2010.
[43]
Cicirelli F,Furfaro A,Nigro L.Conflict management in PDEVS: An experience in modelling and simulation of time Petri nets.Proceedings of Summer Computer Simulation Conference (SCSC'07); <confdate/>San Diego, CA; <confdate/>. 349.
[44]
Flenner RJini and JavaSpaces Application Development. SAMS; 2001:
[45]
Carriero N,Gelernter DHow to write parallel programs. Cambridge, MA: MIT Press; 1990:
[46]
Workflow Management Coalition. Workflow reference model, http://www.wfmc.org/reference-model.html, accessed November 2009.
[47]
Adams M,ter Hofstede AHM,van der Aalst WMP,Edmond D.Dynamic, extensible and context-aware exception handling for workflow.Proceedings of the 15th International Conference on Cooperative Information Systems (CoopIS 2007); <confdate/>Vilamoura, Algarve, Portugal; <confdate/>. 95.
Recommendations
Non Equivalence between Time Petri Nets and Time Stream Petri Nets
PNPM '99: Proceedings of the The 8th International Workshop on Petri Nets and Performance ModelsIt had been shown that Merlin's Time Petri Nets are a special case of Time Stream Petri Nets. In this paper, we show that it does not exist a time equivalence between both models. We extend first this result to the nonequivalence of Timed Automata and ...
Using time stream Petri nets over a service architecture for workflow modelling and enactment
SpringSim '10: Proceedings of the 2010 Spring Simulation MulticonferenceTiming requirements are important aspects in workflow modelling, analysis and enactment. In the last few years, though, many workflow languages and tools have been proposed but only few of them address timing issues during enactment. This paper argues ...
A Method for Modeling Multi-task Workflow Based on High-Level Petri Nets
IWCSE '09: Proceedings of the 2009 Second International Workshop on Computer Science and Engineering - Volume 02Workflow is an abstract depiction of a sequence of operations and the business rules of these operations. Workflow modeling represents the sequence and cooperation, and gives the patterns implemented by computer. Recently the parallel workflow pattern ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Publisher
Society for Computer Simulation International
San Diego, CA, United States
Publication History
Published: 01 January 2013
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 03 Jan 2025
Other Metrics
Citations
Cited By
View all- Lanz AReichert MWeber B(2018)Process time patternsInformation Systems10.1016/j.is.2015.10.00257:C(38-68)Online publication date: 30-Dec-2018