AM
Marechal Marin, Alexis Ayar
| Title | Published in | Access level | OA Policy | Year | Views | Downloads | |
|---|---|---|---|---|---|---|---|
| Unifying the syntax and semantics of modular extensions of Petri nets |  | 2013 | 1,468 | 951 | |||
| High-Level Petri Net Model Checking with AlPiNA | Fundamenta informaticae | | 2011 | 2,491 | 980 | ||
| Properties specification language for algebraic Petri nets | | 2010 | 564 | 677 | |||
| Specification of Decision Diagram Operations | Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010 | | 2010 | 567 | 191 | ||
| AlPiNA: an Algebraic Petri Net Analyzer | Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2010, 16th International Conference | | 2010 | 1,007 | 391 | ||
| Improving the significance of benchmarks for Petri nets model checkers | Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010 | | 2010 | 546 | 749 | ||
| AlPiNA: A Symbolic Model Checker | Applications and Theory of Petri Nets | | 2010 | 763 | 1,024 |
