163
Voted
APN
2010
Springer
16 years 6 days ago
2010
Springer
We prove that plain, bounded, reversible and persistent Petri nets are weakly and strongly separable.