Translations between Textual Transition Systems and Petri Nets.
Katerina KorenblatOrna GrumbergShmuel KatzPublished in: IFM (2002)
Keyphrases
- petri net
- transition systems
- concurrent systems
- reactive systems
- petri net model
- model checking
- temporal logic
- discrete event systems
- fuzzy petri net
- web service composition
- colored petri nets
- finite state
- service composition
- process model
- machine learning
- natural language
- control flow
- software engineering
- knowledge base
- artificial intelligence