On the Efficient Computation of the Minimal Coverability Set for Petri Nets.

Gilles Geeraerts Jean-François Raskin Laurent Van Begin

Published in: ATVA (2007)

Keyphrases

petri net
efficient computation
discrete event systems
fuzzy petri net
data sets
artificial intelligence
petri net model
stochastic petri net