Michael Westergaard, Dirk Fahland, Christian Stahl. Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching. T. Petri Nets and Other Models of Concurrency, 8:180-202, 2013. [doi]
@article{WestergaardFS13,
title = {Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching},
author = {Michael Westergaard and Dirk Fahland and Christian Stahl},
year = {2013},
doi = {10.1007/978-3-642-40465-8_10},
url = {http://dx.doi.org/10.1007/978-3-642-40465-8_10},
researchr = {https://researchr.org/publication/WestergaardFS13},
cites = {0},
citedby = {0},
journal = {T. Petri Nets and Other Models of Concurrency},
volume = {8},
pages = {180-202},
}