AL
| Title | Published in | Access level | OA Policy | Year | Views | Downloads | |
|---|---|---|---|---|---|---|---|
| CREST - A DSL for Reactive Cyber-Physical Systems | 10th International Conference on System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, SAM 2018 |  | 2018 | 299 | 456 | ||
| Petri Sport: A Sport for Petri Netters | Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets and the 18th International Conference on Application of Concurrency to System Design ACSD | | 2018 | 245 | 235 | ||
| A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning | 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018 | | 2018 | 339 | 334 | ||
| High-Level Petri Net Model Checking with AlPiNA | Fundamenta informaticae | | 2011 | 2,506 | 1,097 | ||
| Specification of Decision Diagram Operations | Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010 | | 2010 | 579 | 221 | ||
| Improving the significance of benchmarks for Petri nets model checkers | Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010 | | 2010 | 560 | 858 |
