Dataset - CKAN

Vector Addition Systems with States vs. Petri Nets

Petri nets are a well-known and intensively studied model of concurrency often used to specify distributed or parallel systems. Vector addition systems with states are...
- HTML

You can also access this registry using the API (see API Docs).