Abstract
Workflow Petri nets with time stamps (WPNTS) are the newly introduced class of low-level Petri nets, whose definition and the properties are the main topic of this article; they generalize the properties of Petri net processes in the area of design, modeling and verification of generally parallel systems with the discrete time. Property-preserving Petri net process algebras (PPPA) does not need to verify composition of Petri net processes because all their algebraic operators preserve the specified set of the properties. These original PPPA are generalized for the class of the WPNTS in this article. The new JOIN, EBPS, COMP and SYNC algebraic operators are defined for the class of WPNTS and their chosen properties are proved. With the support of these operators the WPNTSs can be extended also to the area of the project management and the determination of the project generalized critical path with the support of the principles of the critical path method (CPM). The new CPWPNTS subclass of WPNTS class is specially designed for the generalization of the CPM activities charts, its properties are proved and then demonstrated on the generalized critical path specification of simple project example in this article.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
van der Alst, W., van Hee, K.: Workflow Management: Models, Methods and Systems, 1st edn. MIT Press, Massachusetts (2004)
Diaz, M.: Petri Nets: Fundamental Models, Verification and Applications, 1st edn. Willey, London (2009)
Furia, C.A., Mandrioli, D., Morzenti, A., Rossi, M.: Modeling Time in Computing, 1st edn. Springer, Heidelberg (2012)
van Hee, K., Sidorova, N.: The right timing: reflections on the modeling and analysis of time. In: Colom, J., Desel, J. (eds.) Application and Theory of Petri Nets and Concurrency. LNCS, vol. 7927, pp. 1–20. Springer, Heidelberg (2013)
Huang, H., Jiao, L., Cheung, T., Mak, W.M.: Property-Preserving Petri Net Process Algebra in Software Engineering, 1st edn. World Scientific Publishing, Singapore (2012)
Martos-Salgado, M., Rosa-Velardo, F.: Dynamic networks of timed petri nets. In: Ciardo, G., Kindler, E. (eds.) Application and Theory of Petri Nets and Concurrency. LNCS, vol. 8489, pp. 294–313. Springer, Heidelberg (2014)
O’Brien, J.J., Plotnick, F.L.: CPM in Construction Management, 8th edn. McGraw-Hill, New York (2016)
Popova-Zeugmann, L.: Time and Petri Nets, 1st edn. Springer, Heidelberg (2013)
Acknowledgement
This paper has been elaborated in the framework of the projects SP2018/146 and CZ.1.07/2.3.00/20.0296 supported by the European Social Fund.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Martiník, I. (2018). Workflow Petri Nets with Time Stamps and Their Using in Project Management. In: Saeed, K., Homenda, W. (eds) Computer Information Systems and Industrial Management. CISIM 2018. Lecture Notes in Computer Science(), vol 11127. Springer, Cham. https://doi.org/10.1007/978-3-319-99954-8_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-99954-8_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-99953-1
Online ISBN: 978-3-319-99954-8
eBook Packages: Computer ScienceComputer Science (R0)