Distributed Colored Petri Net Model-Checking with Cyclades

C. Pajault,Jean-François Pradat-Peyre
DOI: https://doi.org/10.1007/978-3-540-70952-7_24
2006-08-26
Abstract:
What problem does this paper attempt to address?