Modeling of critical systems implementing negative events using dual Petri netsMarina A. Ganzhur, Aleksei P. Ganzhur and Olga V. SmirnovaMATEC Web Conf., 226 (2018) 04001DOI: https://doi.org/10.1051/matecconf/201822604001