Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm With Pruning
Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2013-781
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 2013
Authors
Publisher
IOS Press