Project plan formalisation and modelling via timed coloured Petri nets.

Sárka Kvetonová Dusan Kolár

Published in: Int. J. Comput. Aided Eng. Technol. (2010)

Keyphrases

coloured petri nets
project management
petri net
plan recognition
case study
database
website
finite state machines
planning process
pilot project
software development
orders of magnitude
planning domains
plan execution
formal verification
case based planning
timed automata
social networks