Combining Petri Nets and Other Formal Methods.

Wolfgang Reisig

Published in: Application and Theory of Petri Nets (1992)

Keyphrases

petri net
formal methods
process algebra
reactive systems
discrete event systems

petri net model
formal specification
colored petri nets
artificial intelligence
fuzzy petri net

ims ld
knowledge based systems
model checking
modeling language
concurrent systems

software engineering
state machines
programmable logic controller
fault tolerant
stochastic petri net