Fluid Survival Tool: A Model Checker for Hybrid Petri Nets.
Björn F. PostemaAnne RemkeBoudewijn R. HaverkortHamed GhasemiehPublished in: MMB/DFT (2014)
Keyphrases
- petri net
- model checker
- model checking
- petri net model
- discrete event systems
- colored petri nets
- formal verification
- sequence diagrams
- description language
- formal methods
- formal specification
- fuzzy petri net
- temporal logic
- service composition
- web service composition
- concurrent systems
- stochastic petri net
- epistemic logic
- ims ld
- test suite
- process model
- genetic algorithm