On Liveness Enforcement of Distributed Petri Net Systems.
Daniel ClavelCristian MahuleaManuel SilvaPublished in: IEEE Trans. Autom. Control. (2023)
Keyphrases
- business processes
- petri net
- discrete event systems
- distributed systems
- concurrent processes
- reactive systems
- service composition
- embedded real time systems
- petri net model
- web service composition
- computer systems
- manufacturing systems
- embedded systems
- learning systems
- knowledge acquisition
- fuzzy petri net
- expert systems