DMCA

IOS Press A Method to Prove Non-Reachability in Priority Duration Petri Nets ∗

by Matthias Werner , Tu Berlin , Louchka Popova-zeugmann