A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures.
Berndt FarwerPublished in: Fundam. Informaticae (2000)
Keyphrases
- petri net
- contract net protocol
- petri net model
- manufacturing systems
- high level petri nets
- discrete event systems
- knowledge representation
- service composition
- web service composition
- colored petri nets
- ims ld
- stochastic petri net
- dynamic behaviors
- machine learning
- multistage
- knowledge based systems
- workflow process
- fuzzy petri net
- web services
- metadata