| High-level Petri net model checking : the symbolic way | |  | | 2011 | 1,852 | 1,662 |
|
| High-Level Petri Net Model Checking with AlPiNA | Fundamenta informaticae | | | 2011 | 2,514 | 1,162 |
|
| Toward efficient state space generation of algebraic Petri nets | SMV technical report series | | | 2010 | 853 | 503 |
|
| Specification of Decision Diagram Operations | Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010 | | | 2010 | 587 | 255 |
|
| AlPiNA: an Algebraic Petri Net Analyzer | Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2010, 16th International Conference | | | 2010 | 1,032 | 532 |
|
| Improving the significance of benchmarks for Petri nets model checkers | Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010 | | | 2010 | 568 | 921 |
|
| AlPiNA: A Symbolic Model Checker | Applications and Theory of Petri Nets | | | 2010 | 782 | 1,155 |
|
| Sigma Decision Diagrams | TERMGRAPH 2009 : Preliminary proceedings of the 5th International Workshop on Computing with Terms and Graphs | | | 2009 | 900 | 386 |
|
