Yiannis E. Papelis, Thomas L. Casavant. Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets With Transition Enabling Functions. IEEE Trans. Software Eng., 18(3):252-261, 1992. [doi]
@article{PapelisC92,
title = {Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets With Transition Enabling Functions},
author = {Yiannis E. Papelis and Thomas L. Casavant},
year = {1992},
url = {http://www.computer.org/tse/ts1992/e0252abs.htm},
tags = {analysis, e-science},
researchr = {https://researchr.org/publication/PapelisC92},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {18},
number = {3},
pages = {252-261},
}