Debits and Credits in Petri Nets and Linear Logic.
Massimo BartolettiPierpaolo DeganoPaolo Di GiamberardinoRoberto ZuninoPublished in: Logic, Rewriting, and Concurrency (2015)
Keyphrases
- linear logic
- petri net
- petri net model
- fixed point
- sequent calculus
- manufacturing systems
- cut elimination
- colored petri nets
- fuzzy petri net
- desirable properties
- service composition
- ims ld
- logical framework
- stochastic petri net
- discrete event systems
- concurrent systems
- state machines
- logic programming
- programmable logic controller
- graphical models
- sequence diagrams
- inference rules