Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, Rolf Walter. Petri Net Based Verification of Distributed Algorithms: An Example. Formal Asp. Comput., 9(4):409-424, 1997.
@article{KindlerRVW97,
title = {Petri Net Based Verification of Distributed Algorithms: An Example},
author = {Ekkart Kindler and Wolfgang Reisig and Hagen Völzer and Rolf Walter},
year = {1997},
tags = {rule-based},
researchr = {https://researchr.org/publication/KindlerRVW97},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {9},
number = {4},
pages = {409-424},
}