Realizability of schedules by stochastic time Petri nets with blocking semantics.
Loïc HélouëtKarim KecirPublished in: Sci. Comput. Program. (2018)
Keyphrases
- petri net
- petri net model
- manufacturing systems
- discrete event systems
- process algebra
- concurrent systems
- programmable logic controller
- stochastic petri net
- fuzzy petri net
- colored petri nets
- process model
- low cost
- logic programming
- state machines
- service composition
- hardware and software
- discrete dynamical systems
- artificial intelligence