A Canonical Contraction for Safe Petri Nets.
Thomas ChatainStefan HaarPublished in: PNSE+ModPE (2013)
Keyphrases
- petri net
- petri net model
- discrete event systems
- manufacturing systems
- fuzzy petri net
- colored petri nets
- high level petri nets
- ims ld
- belief revision
- process model
- service composition
- stochastic petri net
- neural network
- discrete dynamical systems
- programmable logic controller
- distributed systems
- learning environment
- artificial intelligence