A Method to Prove Non-Reachability in Priority Duration Petri Nets.

Matthias Werner Louchka Popova-Zeugmann Jan Richling

Published in: Fundam. Informaticae (2004)

Keyphrases

petri net
petri net model
pattern classification
computational intelligence
rough sets
concurrent systems