Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors.
Maria MaximovaHartmut EhrigClaudia ErmelPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2012)
Keyphrases
- petri net
- discrete event systems
- rewrite systems
- graph transformation
- complex systems
- web service composition
- high level petri nets
- term rewriting
- process model
- service composition
- manufacturing systems
- colored petri nets
- learning systems
- knowledge representation
- decision making
- petri net model
- fuzzy petri net
- stochastic petri net
- genetic algorithm