Login / Signup
The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems
Michel Hack
Published in:
SWAT (1974)
Keyphrases
</>
petri net
discrete event systems
manufacturing systems
neural network
state machines
computer systems
colored petri nets
petri net model
business process
complex systems
service composition
embedded real time systems
expert systems
state space
model based diagnosis
reactive systems