Component Tools: Integrating Petri Nets with Other Formal Methods.
Ekkart KindlerVladimir A. RubinRobert WagnerPublished in: ICATPN (2006)
Keyphrases
- formal methods
- petri net
- process algebra
- petri net model
- reactive systems
- knowledge based systems
- model checking
- artificial intelligence
- formal specification
- service composition
- web service composition
- discrete event systems
- colored petri nets
- ims ld
- software engineering
- fuzzy petri net
- data mining
- software components
- process model
- learning scenarios
- description language
- business process
- low cost
- multi agent systems
- development lifecycle