Proving temporal properties of Petri Nets.

Julian C. Bradfield

Published in: Applications and Theory of Petri Nets (1990)

Keyphrases

petri net
temporal properties
model checking
petri net model
possibility theory
discrete event systems
formal methods
colored petri nets
fuzzy petri net
stochastic petri net
state machines
temporal logic
programmable logic controller
ims ld
service composition
decision making
pattern recognition
neural network