Finding Stubborn Sets of Coloured Petri Nets Without Unfolding.

Lars Michael Kristensen Antti Valmari

Published in: ICATPN (1998)

Keyphrases

coloured petri nets
weighted average
genetic algorithm
population size
formal verification
database
data sets
artificial intelligence
search engine
control system
set theoretic