Sciweavers

157
Voted
APN
2010
Springer
15 years 12 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