118
click to vote
APN
2010
Springer
15 years 10 months ago
2010
Springer
We prove that plain, bounded, reversible and persistent Petri nets are weakly and strongly separable.