Petri Nets

@article{petrinets-csur9,
acmid = {356702},
address = {New York, NY, USA},
author = {Peterson, James L.},
doi = {10.1145/356698.356702},
issn = {0360-0300},
journal = {ACM Computing Surveys},
month = sep,
number = 3,
numpages = {30},
pages = {223--252},
publisher = {ACM},
title = {{P}etri {N}ets},
url = {https://dl.acm.org/citation.cfm?id=356702},
volume = 9,
year = 1977}