Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning.

Pierre-Alain Reynier Frédéric Servais

Published in: Petri Nets (2011)

Keyphrases

petri net
search space
manufacturing systems
petri net model
optimal solution
data analysis
expert systems
discrete event systems
colored petri nets