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

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/EE2.3.20.0296" target="_blank" >EE2.3.20.0296: Výzkumný tým pro modelování ekonomických a finančních procesů na VŠB-TU Ostrava</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2018

Kód důvěrnosti údajů

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

Název statě ve sborníku

Lecture Notes in Computer Science. Volume 11127

ISBN

978-3-319-99953-1

ISSN

0302-9743

e-ISSN

1611-3349

Počet stran výsledku

14

Strana od-do

193-206

Název nakladatele

Springer

Místo vydání

Cham

Místo konání akce

Olomouc

Datum konání akce

27. 9. 2018

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—