Causality in Bounded Petri Nets is MSO Definable.
Mateus de Oliveira OliveiraPublished in: WoLLIC (2016)
Keyphrases
- petri net
- monadic second order logic
- manufacturing systems
- petri net model
- discrete event systems
- colored petri nets
- expressive power
- data complexity
- ims ld
- fuzzy petri net
- stochastic petri net
- service composition
- tree automata
- concurrent systems
- first order logic
- programmable logic controller
- state machines
- regular expressions
- knowledge acquisition
- discrete dynamical systems
- rough sets