Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua. Testing experiments on State Machine Petri nets. [Rapport de recherche] Technical Report (original paper submitted to IEEE Transactions on Automation Science and Engineering). 2013.
⟨hal-01488787⟩