Dataset - CKAN

On the construction of pullbacks for safe Petri nets

The product of safe Petri nets is a well known operation: it generalizes to concurrent systems the usual synchronous product of automata. In this short note, we...
- HTML

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