Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves.
Roberto GorrieriPublished in: FORTE (2021)
Keyphrases
- petri net
- datalog programs
- manufacturing systems
- petri net model
- discrete event systems
- query containment
- function symbols
- colored petri nets
- fuzzy petri net
- stochastic petri net
- state machines
- knowledge base
- first order logic
- service composition
- concurrent systems
- discrete dynamical systems
- ims ld
- conjunctive queries
- low cost