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.
van der AalstWMPBarrosAter HofstedeAKiepuszewskiB. Advanced workflow patterns. In Proceedings of 7th International Conference on Cooperative Information Systems, 2000, pp. 18–29.
3.
van der AalstWMP. The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers1998; 8: 21–66.
4.
DiazMSénacP. Time stream Petri nets: A model for timed multimedia information. In Proceedings of the 15th International Conference on Application and Theory of Petri Nets, London, UK, 1994, pp. 219–238.
5.
SénacPDiazMLegerAde Saqui-SannesP. Modeling logical and temporal synchronization in hypermedia systems. IEEE Journal on Selected Areas in Communications1996; 14: 84–103.
6.
MerlinPFarberD. Recoverability of communication protocols–implications of a theoretical study. IEEE Transactions on Communications1976; 24: 1036–1043.
7.
BoyerMDiazM. Non equivalence between time Petri nets and time stream Petri nets. In Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999, pp. 198–207.
8.
CicirelliFFurfaroANigroL. A service-based architecture for dynamically reconfigurable workflows. Journal of Systems and Software2010; 83: 1148–1164.
9.
PapazoglouMPGeorgakopoulosD. Service-oriented computing, introduction. Communications of the ACM2003; 46(10): 24–28.
10.
BennettKLayzellPBudgenDBreretonPMacaulayLMunroM. Service-based software: the future for flexible software. In Proceedings of 7th Asia-Pacific Software Engineering Conference, 2000, pp. 214–221.
11.
PerreyRLycettM. Service-oriented architecture. In Proceedings of the Symposium on Applications and the Internet Workshop (SAINT’03), 2003, pp. 116–119.
12.
CicirelliFNigroL. A General Brokering Architecture Layer and its Application to Video on-Demand over the Internet. Informatica - An International Journal of Computing and Informatics2007; 31: 29–39.
13.
VerbeekHMWBastenTvan der AalsWMP. Diagnosing workflow processes using Woflan. The Computer Journal2001; 44: 246–279.
14.
GuanZHernandezFBangalorePGrayJSkjellumAVelusamyV. Grid-flow: a grid-enabled scientific workflow system with a Petri-net-based interface. Concurrency and Computation: Practice and Experience2006; 18: 1115–1140.
ZeiglerBPPraehoferHKimT. Theory of Modeling and Simulation. New York: Academic Press, 2000.
17.
CicirelliFFurfaroANigroL. A DEVS M&S framework based on Java and actors. In Proceedings of 2nd European Modeling and Simulation Symposium (EMSS’06), Barcelona, Spain, 4–6 October 2006, pp. 337–342.
18.
CicirelliFFurfaroANigroL. Actor-based simulation of PDEVS systems over HLA. In Proceedings of 41st Annual Simulation Symposium (ANSS’08), Ottawa, Canada, 14–16 April 2008, pp. 229–236.
19.
Jansen-vullersMHNetjesM. Business process simulation–a tool survey. In Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN, Aarhus, Denmark, October 2006.
20.
RozinatAWynnMTvan der AalstWMPter HofstedeAHMFidgeCJ. Workflow simulation for operational decision support. Data Knowledge Engineering2009; 68: 834–850.
21.
NakatumbaJRozinatARussellN. Business process simulation: How to get it right. In International Handbook on Business Process Management. Berlin: Springer-Verlag, 2009.
22.
VerbeekHMWvan HattemMReijersHAde MunkW. Protos 7.0: Simulation made accessible. In Proceedings of International Conference on Application and Theory of Petri Nets (ICATPN 2005) (Lecture Notes in Computer Science, vol. 3536). Berlin: Springer-Verlag, 2004, pp. 465–474.
23.
JensenKKristensenLMWellsL. Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer2007; 9: 213–254.
24.
LingSSchmidtH. Time Petri nets for workflow modelling and analysis. In Proceedings IEEE International Conference on Systems, Man, and Cybernetics, vol. 4, 2000, pp. 3039–3044.
25.
TsaiJJPJennhwa YangSChangY-H. Timing constraint Petri nets and their application to schedulability analysis of real-time system specifications. IEEE Transactions on Software Engineering1995; 21: 32–49.
26.
LiJQFanYSZhouMC. Timing constraint workflow nets for workflow analysis. IEEE Transactions on Systems, Man and Cybernetics, Part A2003; 33: 179–193.
27.
WangHZengQ. 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 A2008; 38: 802–817.
28.
LiWFanY. A time management method in workflow management system. In Proceedings Workshops at the Grid and Pervasive Computing Conference GPC ‘09, 2009, pp. 3–10.
29.
LiHYangY. Dynamic checking of temporal constraints for concurrent workflows. Electronic Commerce Research and Applications2005; 4: 124–142.
30.
EderJPanagosE. Managing time in workflow systems. Workflow Handbook 2001. Future Strategies Inc., 2001, pp. 109–132.
31.
HongKJLeeJKKimDHKimTG. DEVS framework instrumented with database for web-based workflow modeling simulation. In Proceedings of the International Conference on Web-Based Modeling and Simulation, San Francisco, CA, 17–20 January 1999, pp. 113–118.
32.
ZacharewiczGFrydmanCGiambiasiN. G-DEVS/HLA environment for distributed simulations of workflows. SIMULATION2008; 84: 197–213.
33.
GiambiasiNEscudeBGhoshS. G-DEVS: A generalized discrete event specification for accurate modeling of dynamic systems. Transactions of the SCS International2000; 17: 120–134.
34.
KuhlFDahmannJWeatherlyR. Creating Computer Simulation Systems: An Introduction to the High Level Architecture. Upper Saddle River, NJ: Prentice-Hall, 2000.
35.
ChoiBKLeeDKangDH. DEVS modeling of run-time workflow simulation and its application. In Proceedings of 22nd European Conference on Modelling and Simulation (ECMS 2008), Cyprus, 3–6 June 2008, pp. 31–36.
36.
LeeDShinHChoiBK. Mediator approach to direct workflow simulation. Simulation Modelling Practice and Theory2010; 18: 650–662.
37.
CicirelliFFurfaroANigroL. Modelling and analysing real time system specifications using time stream Petri nets. In Proceedings of 30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software (WRTP/RTS’09), Mragowo, Poland, 12–14 October 2009.
38.
LanzAWeberBReichertM. Workflow time patterns for process-aware information systems. In Proceedings of 11th International Workshop BPMDS and 15th International Conference EMMSAD at CAiSE 2010, 7–8 June 2010, pp. 95–107.
39.
NiculaeCC. Time Patterns in Workflow Management Systems. Technical report, BPMcenter.org, 2011.
40.
CombiCGozziMJuárezJMOliboniBPozziG. Conceptual modeling of temporal clinical workflows. In 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007, pp. 70–81.
41.
BehrmannGDavidDLarsenKG. A tutorial on Uppaal. In Formal Methods for the Design of Real-time Systems (Lecture Notes in Computer Science, vol. 3185). Berlin: Springer-Verlag, 2004, pp. 200–236.
CicirelliFFurfaroANigroL. Conflict management in PDEVS: An experience in modelling and simulation of time Petri nets. In Proceedings of Summer Computer Simulation Conference (SCSC’07), San Diego, CA, 15–18 July 2007, pp. 349–356.
44.
FlennerR. Jini and JavaSpaces Application Development. SAMS, 2001.
45.
CarrieroNGelernterD. How to write parallel programs. Cambridge, MA: MIT Press, 1990.
AdamsMter HofstedeAHMvan der AalstWMPEdmondD. Dynamic, extensible and context-aware exception handling for workflow. In Proceedings of the 15th International Conference on Cooperative Information Systems (CoopIS 2007), Vilamoura, Algarve, Portugal, November 2007, pp. 95–112.
