Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua. Testing experiments on bounded Petri nets.
IEEE Transactions on Automation Science and Engineering, Institute of Electrical and Electronics Engineers, 2014, 11 (1), pp.125-138.
⟨hal-01479638⟩