Result Details

Project Plan Formalization and Modeling via Timed CPN

KOLÁŘ, D.; KVĚTOŇOVÁ, Š. Project Plan Formalization and Modeling via Timed CPN. Proceedings of the 6th Industrial Simulation Conference - ISC´08. Ostend: EUROSIS, 2008. p. 34-39. ISBN: 978-90-77381-40-3.
Type
conference paper
Language
English
Authors
Kolář Dušan, doc. Dr. Ing., DIFS (FIT)
Květoňová Šárka, Ing., Ph.D., DIFS (FIT)
Abstract

The paper demonstrates an algorithm, how the key main network diagram representations of a project plan are translated to a T-CPN and how the resource modeling is (possibly algorithmically) added next.

Keywords

Project Plan, Network Diagram, Timed Coloured Petri Nets, Formalization

Annotation

The paper presents a way, how the network diagram representation of a project plan is transformed to a corresponding Timed Coloured Petri Net (T-CPN) working over discrete time.

Published
2008
Pages
34–39
Proceedings
Proceedings of the 6th Industrial Simulation Conference - ISC´08
Conference
Industrial Simulation Conference (ISC'2008)
ISBN
978-90-77381-40-3
Publisher
EUROSIS
Place
Ostend
BibTeX 
@inproceedings{BUT32057,
  author="Dušan {Kolář} and Šárka {Květoňová}",
  title="Project Plan Formalization and Modeling via Timed CPN",
  booktitle="Proceedings of the 6th Industrial Simulation Conference - ISC´08",
  year="2008",
  pages="34--39",
  publisher="EUROSIS",
  address="Ostend",
  isbn="978-90-77381-40-3"
}
Projects
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Formal Model Research Group (RG FM)
Management of software engineering Research Group (RG MSWI)
Departments
Department of Information Systems (DIFS)
Back to top