Assessing Time Behaviour in Disaster Management by Using Petri Nets and Model Checking.
Franco CicirelliLibero NigroPublished in: ICT-DM (2023)
Keyphrases
- petri net
- disaster management
- partial order reduction
- model checking
- environmental monitoring
- temporal logic
- early warning
- concurrent systems
- information sharing
- decision support system
- homeland security
- semantic technologies
- formal specification
- human resources
- process algebra
- model checker
- emergency management
- reactive systems
- emergency response
- finite state machines
- service composition
- epistemic logic
- process model
- knowledge representation
- wireless sensor networks