Krishna M. Kavi, Frederick T. Sheldon, Sherman Reed. Specification and Analysis of Real-Time Systems Using CSP and Petri Nets. International Journal of Software Engineering and Knowledge Engineering, 6(2):229-248, 1996. [doi]
@article{KaviSR96, title = {Specification and Analysis of Real-Time Systems Using CSP and Petri Nets}, author = {Krishna M. Kavi and Frederick T. Sheldon and Sherman Reed}, year = {1996}, doi = {10.1142/S0218194096000119}, url = {http://dx.doi.org/10.1142/S0218194096000119}, tags = {analysis}, researchr = {https://researchr.org/publication/KaviSR96}, cites = {0}, citedby = {0}, journal = {International Journal of Software Engineering and Knowledge Engineering}, volume = {6}, number = {2}, pages = {229-248}, }