Login / Signup
Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems
Joachim Wehler
Published in:
CoRR (2006)
Keyphrases
</>
petri net
discrete event systems
manufacturing systems
concurrent processes
petri net model
complex systems
state machines
computer systems
service composition
artificial intelligence
formal methods
process algebra
concurrent systems
colored petri nets
sequence diagrams
distributed systems
knowledge base