Distributed Monitoring of Temporal System Properties Using Petri Nets.
Olivier BaldellonJean-Charles FabreMatthieu RoyPublished in: SRDS (2012)
Keyphrases
- petri net
- manufacturing systems
- petri net model
- concurrent processes
- discrete event systems
- fuzzy petri net
- colored petri nets
- distributed systems
- temporal information
- temporal reasoning
- real time
- discrete dynamical systems
- temporal constraints
- stochastic petri net
- service composition
- concurrent systems
- state machines
- decision making
- artificial intelligence