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

Gianfranco Ciardo
2004 Lecture Notes in Computer Science  
doi:10.1007/978-3-540-27793-4_2 fatcat:qznlmzmyjvcane7jlr7pwdofue