Modular analysis of Petri nets. (2000)

by Søren Christensen, Laure Petrucci
Venue:Computer Journal,