Formal Verification for Task Description Languages. A Petri Net Approach.

Joaquín López Alejandro Santana-Alonso Miguel Díaz-Cacho

Published in: Sensors (2019)

Keyphrases

software engineering
petri net
description languages
formal verification
program slicing
description language
model checking
web service composition
model checker
petri net model
service composition
fuzzy petri net
colored petri nets
ims ld
temporal logic
process model
concurrent processes
web services