Encoding Petri Nets into CCS (Technical Report).
Benjamin BogøAndrea BurattinAlceste ScalasPublished in: CoRR (2024)
Keyphrases
- petri net
- technical report
- petri net model
- manufacturing systems
- colored petri nets
- discrete event systems
- high level petri nets
- stochastic petri net
- service composition
- fuzzy petri net
- state machines
- concurrent systems
- ims ld
- discrete dynamical systems
- programmable logic controller
- artificial intelligence
- production process
- cellular automata
- decision making