Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle.

Laura Carnevali Lorenzo Ridi Enrico Vicario

Published in: IEEE Trans. Software Eng. (2011)

Keyphrases

life cycle
petri net
metamodel
petri net model
fuzzy petri net
knowledge representation
colored petri nets
stochastic petri net
case study
design process
model checking
third party
manufacturing systems
workflow model
product life cycle