Modelling and Analyzing Cryprographic Protocols Using Petri Nets.

Benjamin B. Nieh Stafford E. Tavares

Published in: AUSCRYPT (1992)

Keyphrases

petri net
petri net model
manufacturing systems
high level petri nets
discrete event systems
state machines
colored petri nets
ims ld
fuzzy petri net
service composition
genetic algorithm
process model
concurrent systems
discrete dynamical systems