Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets.
Dominique Larchey-WendlingDidier GalmichePublished in: Electron. Notes Theor. Comput. Sci. (1998)
Keyphrases
- linear logic
- petri net
- logical framework
- logic programming
- petri net model
- fixed point
- cut elimination
- discrete event systems
- sequent calculus
- ims ld
- fuzzy petri net
- desirable properties
- inference rules
- service composition
- state machines
- stochastic petri net
- colored petri nets
- machine learning
- high level
- programmable logic controller