Sciweavers

APN
2010
Springer

Separability in Persistent Petri Nets

14 years 5 months ago
Separability in Persistent Petri Nets
We prove that plain, bounded, reversible and persistent Petri nets are weakly and strongly separable.
Eike Best, Philippe Darondeau
Added 18 Jul 2010
Updated 18 Jul 2010
Type Conference
Year 2010
Where APN
Authors Eike Best, Philippe Darondeau
Comments (0)