Login / Signup
Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-Based Slicing Approach.
Messaoud Rahim
Malika Boukala-Ioualalen
Ahmed Hammad
Published in:
CSA (2020)
Keyphrases
</>
colored petri nets
petri net
formal methods
web services
safety analysis
hierarchical structure
modeling language
model checking
coarse to fine
hierarchical model
activity patterns
open source
data model
formal verification
nuclear power plant
multiscale
genetic algorithm