Place/Transition Systems.

Wolfgang Reisig

Published in: Advances in Petri Nets (1986)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
model checker
reactive systems
object oriented
domain specific
distributed systems
markov chain
workflow management systems
formal verification