Angela Adamyan David He Sequential failure analysis using counters of Petri net models. 1-11 2003 33 IEEE Transactions on Systems, Man, and Cybernetics, Part A 1 db/journals/tsmc/tsmca33.html#AdamyanH03