DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets

@inproceedings{Heiner2009DSSZMCA,
  title={DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets},
  author={Monika Heiner and Martin Schwarick and Alexej Tovchigrechko},
  booktitle={Petri Nets},
  year={2009}
}
DSSZ-MC supports the symbolic analysis of bounded place/ transition Petri nets extended by read, inhibitor, equal, and reset arcs. No previous knowledge of the precise boundedness degree is required. It contains tools for the efficient analysis of standard properties (boundedness, liveness, reversibility) and CTL model checking, built on an objectoriented implementation of Zero-suppressed Binary Decision Diagrams and Interval Decision Diagrams. The main features are saturation-based state space… CONTINUE READING

Similar Papers

Loading similar papers…