Conference paper

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.
Publication language:english
Original title:Seamless Simplification of Timed-CPN in Project Plan Formalization
Title (cs):Bezeztrátové zjednodušení časovaných barvených Petriho sítí ve formálním popisu projektového plánu
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
Place:Wroclaw, PL
Year:2008
ISBN:978-83-7493-421-3
Publisher:Wroclaw University of Technology
Keywords
Project, Project Management, Project Plan, Timed Coloured
Petri Nets, Formalization, Network Diagrams, Optimization
Annotation
The paper describes the transformation of network diagrams into a Timed Coloured Petri net. It shows the possibilities of project parameters optimization.
Abstract
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=8693}
}

Your IPv4 address: 54.147.232.40
Switch to IPv6 connection

DNSSEC [dnssec]