Modeling of critical systems implementing negative events using dual Petri nets
MATEC Web Conf., 226 (2018) 04001
Published online: 07 November 2018
DOI: 10.1051/matecconf/201822604001