Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools
- 5 May 2017
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- MCC’2015 – The Fifth Model Checking ContestLecture Notes in Computer Science, 2016
- Petriweb: A Repository for Petri NetsLecture Notes in Computer Science, 2006
- Principled design of the modern Web architectureACM Transactions on Internet Technology, 2002