Towards Arguing the Cost-effectiveness of Coloured Petri Nets.

Jens Bæk Jørgensen

Published in: Software Engineering Research and Practice (2005)

Keyphrases

cost effectiveness
coloured petri nets
cost effective
formal verification
e learning
real time
email
low cost
data center
model checking
metro ethernet