Workflow Petri Nets with Time Stamps and Their Using in Project Management

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27510%2F18%3A10239106" target="_blank" >RIV/61989100:27510/18:10239106 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-319-99954-8_17" target="_blank" >http://dx.doi.org/10.1007/978-3-319-99954-8_17</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-99954-8_17" target="_blank" >10.1007/978-3-319-99954-8_17</a>

Result language
angličtina
Original language name
Workflow Petri Nets with Time Stamps and Their Using in Project Management
Original language description
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.
Czech name
—
Czech description
—

Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project
<a href="/en/project/EE2.3.20.0296" target="_blank" >EE2.3.20.0296: Research team for modelling of economic and financial processes at VSB-TU Ostrava</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Publication year
2018
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)