Fluid Survival Tool: A Model Checker for Hybrid Petri Nets.

Björn F. Postema Anne Remke Boudewijn R. Haverkort Hamed Ghasemieh

Published 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