Generating a Petri net from a CSP specification: A semantics-based method

Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit. Generating a Petri net from a CSP specification: A semantics-based method. Advances in Engineering Software, 50:110-130, 2012. [doi]

Abstract

Abstract is missing.