Rbminer: A Tool for Discovering Petri Nets from Transition Systems.
Marc SoléJosep CarmonaPublished in: ATVA (2010)
Keyphrases
- petri net
- concurrent systems
- transition systems
- reactive systems
- discrete event systems
- petri net model
- sequence diagrams
- fuzzy petri net
- stochastic petri net
- service composition
- model checking
- control flow
- colored petri nets
- distributed systems
- ims ld
- temporal logic
- finite state
- web service composition
- practical reasoning
- low cost