Publication Details

Seamless Simplification of Timed-CPN in Project Plan Formalization

KOLÁŘ Dušan and KVĚTOŇOVÁ Šárka. Seamless Simplification of Timed-CPN in Project Plan Formalization. In: 3rd IFIP Central and Eastern European Conference on Software Engineering Techniques CEE-SET 2008. Wroclaw: Wroclaw University of Technology, 2008, pp. 29-39. ISBN 978-83-7493-421-3.
Czech title
Bezeztrátové zjednodušení časovaných barvených Petriho sítí ve formálním popisu projektového plánu
Type
conference paper
Language
english
Authors
Kolář Dušan, doc. Dr. Ing. (DIFS FIT BUT)
Květoňová Šárka, Ing., Ph.D. (DIFS FIT BUT)
Keywords

Project, Project Management, Project Plan, Timed Coloured
Petri Nets, Formalization, Network Diagrams, Optimization

Abstract

The paper describes the transformation of network diagrams into a Timed Coloured Petri net. It shows the possibilities of project parameters optimization.

Annotation

We have recently used Timed Colored Petri Nets (Timed-CPN) to improve possibilities of project plans based on network diagrams and to give a formal background to this improvement. Algorithmically created Timed-CPN provides required features, but it may be too complex in some of its sub-areas. The paper presents a specification of such elements of a Timed-CPN that can be eliminated with no impact on time behavior of the complete net. The elimination can be done algorithmically. Thus, we can reduce large nets in size automatically, which improves readability of the model on the Timed-CPN level.

Published
2008
Pages
29-39
Proceedings
3rd IFIP Central and Eastern European Conference on Software Engineering Techniques CEE-SET 2008
Conference
3rd IFIP Central and Eastern European Conference on Software Engineering Techniques CEE-SET 2008, Brno, Hotel Continental, CZ
ISBN
978-83-7493-421-3
Publisher
Wroclaw University of Technology
Place
Wroclaw, PL
BibTeX 
@INPROCEEDINGS{FITPUB8693,
   author = "Du\v{s}an Kol\'{a}\v{r} and \v{S}\'{a}rka Kv\v{e}to\v{n}ov\'{a}",
   title = "Seamless Simplification of Timed-CPN in Project Plan Formalization",
   pages = "29--39",
   booktitle = "3rd IFIP Central and Eastern European Conference on Software Engineering Techniques CEE-SET 2008",
   year = 2008,
   location = "Wroclaw, PL",
   publisher = "Wroclaw University of Technology",
   ISBN = "978-83-7493-421-3",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8693"
}
Back to top