Ad hoc systems management and specification with distributed Petri nets.
Juan Sebastián SosaPaul LegerHiroaki FukudaNicolás CardozoPublished in: J. Parallel Distributed Comput. (2022)
Keyphrases
- petri net
- discrete event systems
- reactive systems
- distributed systems
- colored petri nets
- complex systems
- concurrent processes
- concurrent systems
- manufacturing systems
- embedded real time systems
- state machines
- petri net model
- model based diagnosis
- artificial intelligence
- fuzzy petri net
- stochastic petri net
- process algebra
- sequence diagrams
- software components
- expert systems
- web services