Generating a Petri net from a CSP specification: A semantics-based method
Year: 2012
Type: article
Source: Advances in Engineering Software
Authors: M. Llorens, J. Oliver, J. Silva, S. Tamarit
Institution: Universitat Politècnica de València
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Funder: Generalitat Valenciana
Award: G975480149
OpenAlex ID: W2126571099