Using time stream Petri nets over a service architecture for workflow modelling and enactment
Article No.: 131, Pages 1 - 8
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 argues 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 distributed enactment of workflow processes specified by TSPNs in the context of PN-Engine is proposed. PN-Engine is a decentralized enactment engine based on the Service Oriented Computing paradigm, that enables execution of workflow processes where the coordinated activities may involve cross-boundary organizations. The approach is illustrated by means of an example concerned with a wine-production process.
References
[1]
K. Bennett, P. Layzell, D. Budgen, P. Brereton, L. Macaulay, and M. Munro. Service-based software: the future for flexible software. In Proc. of 7th Asia-Pacific Software Engineering Conf., pages 214--221, 5--8 Dec. 2000.
[2]
M. Boyer and M. Diaz. Non equivalence between time petri nets and time stream petri nets. In Proc. 8th Int. Workshop on Petri Nets and Performance Models, pages 198--207, 8--10 Sept. 1999.
[3]
N. Carriero and D. Gelernter. How to write parallel programs. MIT Press, 1990.
[4]
F. Cicirelli, A. Furfaro, and L. Nigro. A service-based control engine for the distributed execution of Petri nets and its application to workflow management systems. In Proc. of 19th European Modelling and Simulation Symposium (EMSS'07), 4-6 October 2007.
[5]
F. Cicirelli, A. Furfaro, and L. Nigro. A service-based enactment engine for dynamically reconfigurable workflows. In Proc. of the European Simulation and Modelling Conference (ESM'08), Le Havre, France, October 27--29 2008.
[6]
F. Cicirelli, A. Furfaro, and L. Nigro. Modelling and analysing real time system specifications using time stream Petri nets. In Proc. of 30th IFAC Workshop on Real-Time Programming and 4th Int. Workshop on Real-Time Software (WRTP/RTS'09), Mragowo, Poland, October 12--14 2009.
[7]
F. Cicirelli and L. Nigro. A General Brokering Architecture Layer and its Application to Video on-Demand over the Internet. Informatica - An Int. J. of Computing and Informatics, 31(1):29--39, 2007.
[8]
M. Diaz and P. Sénac. Time stream petri nets: A model for timed multimedia information. In Proc. of 15th Int. Conf. on Application and Theory of Petri Nets, pages 219--238, London, UK, 1994.
[9]
J. Eder and E. Panagos. Workflow Handbook 2001, chapter Managing Time in Workflow Systems, pages 109--132. Future Strategies Inc., 2001.
[10]
W. K. Edwards. Core Jini. Prentice Hall, 2nd edition, 2001.
[11]
R. Flenner. Jini and JavaSpaces Application Development. SAMS, 2001.
[12]
Z. Guan, F. Hernandez, P. Bangalore, J. Gray, A. Skjellum, V. Velusamy, and Y. Liu. Grid-flow: a grid-enabled scientific workflow system with a petri-net-based interface. Concurrency and Computation: Practice and Experience, 18(10):1115--1140, 2006.
[13]
D. Hollingsworth. The workflow reference model. Technical Report TC00-1003, Workflow Management Coalition, January 1995.
[14]
H. Li and Y. Yang. Dynamic checking of temporal constraints for concurrent workflows. Electronic Commerce Research and Applications, 4(2):124--142, 2005.
[15]
J. Li, Y. Fan, and M. Zhou. Timing constraint workflow nets for workflow analysis. IEEE Trans. on Systems, Man and Cybernetics, Part A, 33(2):179--193, 2003.
[16]
W. Li and Y. Fan. A time management method in workflow management system. In Proc. Workshops at the Grid and Pervasive Computing Conference GPC '09, pages 3--10, 4--8 May 2009.
[17]
S. Ling and H. Schmidt. Time petri nets for workflow modelling and analysis. In Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, volume 4, pages 3039--3044, 8--11 Oct. 2000.
[18]
P. Merlin and D. Farber. Recoverability of communication protocols--implications of a theoretical study. IEEE Trans. on Communications, 24(9):1036--1043, 1976.
[19]
M. P. Papazoglou and D. Georgakopoulos. Service-oriented computing, introduction. Commun. ACM, 46(10):24--28, 2003.
[20]
R. Perrey and M. Lycett. Service-oriented architecture. In Proc. of the Symposium on Applications and the Internet Workshop (SAINT'03), pages 116--119, Jan. 2003.
[21]
P. Senac, M. Diaz, A. Leger, and P. de Saqui-Sannes. Modeling logical and temporal synchronization in hypermedia systems. IEEE Journal on Selected Areas in Communications, 14(1):84--103, Jan. 1996.
[22]
J. J. P. Tsai, S. Jennhwa Yang, and Y.-H. Chang. Timing constraint petri nets and their application to schedulability analysis of real-time system specifications. IEEE Trans. on Software Engineering, 21(1):32--49, Jan. 1995.
[23]
W. van der Aalst, A. Barros, A. ter Hofstede, and B. Kiepuszewski. Advanced workflow patterns. In Proc. of 7th Int. Conf. on Cooperative Information Systems, pages 18--29, 2000.
[24]
W. M. P. van der Aalst. The application of petri nets to workflow management. Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.
[25]
H. M. W. Verbeek, T. Basten, and W. M. P. van der Aalst. Diagnosing workflow processes using woflan. The Computer Journal, 44(4):246--279, 2001.
[26]
H. Wang and Q. Zeng. Modeling and analysis for workflow constrained by resources and nondetermined time: An approach based on petri nets. IEEE Trans. on Systems, Man and Cybernetics, Part A, 38(4):802--817, July 2008.
Recommendations
Using time stream Petri nets for workflow modelling analysis and enactment
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 ...
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 ...
Modeling workflow processes with colored Petri nets
The definition and maintenance of workflow processes have become important tasks for enterprises as workflow management systems (WFMS) are systematically applied to critical business processes. In order to simplify the management and usage of workflow ...
Comments
Information & Contributors
Information
Published In
April 2010
1726 pages
ISBN:9781450300698
- General Chairs:
- Robert McGraw,
- Eric Imsand,
- Program Chair:
- Michael J. Chinni
Sponsors
- SCS: Society for Modeling and Simulation International
In-Cooperation
Publisher
Society for Computer Simulation International
San Diego, CA, United States
Publication History
Published: 11 April 2010
Check for updates
Qualifiers
- Research-article
Conference
SpringSim '10
Sponsor:
- SCS
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 63Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 03 Sep 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in