Continuous Petri Nets and Transition Systems.
Manfred DrosteR. M. ShorttPublished in: Unifying Petri Nets (2001)
Keyphrases
- petri net
- concurrent systems
- transition systems
- reactive systems
- petri net model
- model checking
- fuzzy petri net
- discrete event systems
- colored petri nets
- temporal logic
- service composition
- finite state
- process model
- web service composition
- distributed systems
- machine learning
- stochastic petri net
- practical reasoning
- control flow
- business processes
- artificial intelligence