Completeness Results for Linear Logic on Petri Nets.
Uffe EngbergGlynn WinskelPublished in: MFCS (1993)
Keyphrases
- petri net
- linear logic
- petri net model
- manufacturing systems
- fixed point
- discrete event systems
- cut elimination
- ims ld
- stochastic petri net
- colored petri nets
- logical framework
- logic programming
- sequent calculus
- service composition
- inference rules
- desirable properties
- state machines
- general purpose
- sequence diagrams
- natural deduction