Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?

Gianfranco Ciardo

Published in: ICATPN (2004)

Keyphrases

petri net
brute force
discrete event systems
search algorithm
manufacturing systems
artificial intelligence
complex systems
convex hull