A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets.

Faten Nabli François Fages Thierry Martinez Sylvain Soliman

Published in: CP (2012)

Keyphrases

petri net
petri net model
mathematical model
simulation model
human subjects
stochastic petri net
high level petri nets