| Unifying the syntax and semantics of modular extensions of Petri nets | |  | | 2013 | 1,581 | 1,024 |
|
| High-Level Petri Net Model Checking with AlPiNA | Fundamenta informaticae | | | 2011 | 2,508 | 1,143 |
|
| Properties specification language for algebraic Petri nets | | | | 2010 | 572 | 735 |
|
| Specification of Decision Diagram Operations | Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010 | | | 2010 | 581 | 243 |
|
| AlPiNA: an Algebraic Petri Net Analyzer | Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2010, 16th International Conference | | | 2010 | 1,026 | 509 |
|
| Improving the significance of benchmarks for Petri nets model checkers | Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010 | | | 2010 | 562 | 902 |
|
| AlPiNA: A Symbolic Model Checker | Applications and Theory of Petri Nets | | | 2010 | 776 | 1,112 |
|
