A Congruence for Petri Nets
Authors:
- Vladimiro SassoneVSVladimiro Sassone
- Paweł SobocińskiPSPaweł Sobociński
Open Access
- 1 March 2005
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 127 (2) , 107-120
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Congruences for Contextual Graph-RewritingBRICS Report Series, 2004
- Deriving Bisimulation Congruences for Reactive Systems2000
- The chemical abstract machineTheoretical Computer Science, 1992