Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets.

Michael Westergaard Fabrizio Maria Maggi

Published in: Petri Nets (2011)

Keyphrases

coloured petri nets
formal verification
model checking
cryptographic protocols
model checker
colored petri nets
data sets
real time
case study
end users
formal analysis
databases
genetic algorithm
decision making
petri net