DMCA

Hierarchical reachability graph generation for Petri nets (1997)

by Peter Buchholz , Peter Kemper
Venue:Universität Dortmund, Fachbereich Informatik, Forschungsbericht Nr. 660
Citations:12 - 2 self