Fast and memory-efficient invariant computation of ordinary Petri nets

Chong-Fatt Law, Bah-Hwee Gwee, Joseph Sylvester Chang. Fast and memory-efficient invariant computation of ordinary Petri nets. IET Computers & Digital Techniques, 1(5):612-624, 2007. [doi]

Abstract

Abstract is missing.