Klaudel, H. (2001). Compositional high-level Petri net semantics of a parallel programming language with procedures. Science of computer programming, 41(3), 195-240. https://doi.org/10.1016/S0167-6423(01)00004-1
Chicago Style (17th ed.) CitationKlaudel, Hanna. "Compositional High-level Petri Net Semantics of a Parallel Programming Language with Procedures." Science of Computer Programming 41, no. 3 (2001): 195-240. https://doi.org/10.1016/S0167-6423(01)00004-1.
MLA (9th ed.) CitationKlaudel, Hanna. "Compositional High-level Petri Net Semantics of a Parallel Programming Language with Procedures." Science of Computer Programming, vol. 41, no. 3, 2001, pp. 195-240, https://doi.org/10.1016/S0167-6423(01)00004-1.
Warning: These citations may not always be 100% accurate.