Interval semantics for Petri nets with inhibitor arcs.
Mohammed AlqarniRyszard JanickiPublished in: Theor. Comput. Sci. (2018)
Keyphrases
- petri net
- manufacturing systems
- petri net model
- discrete event systems
- stochastic petri net
- colored petri nets
- process algebra
- logic programming
- service composition
- ims ld
- concurrent systems
- discrete dynamical systems
- state machines
- fuzzy petri net
- process model
- artificial intelligence
- programmable logic controller
- concurrent processes
- sequence diagrams
- low cost