Sciweavers

70
Voted
APN
2010
Springer
15 years 4 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