Show items per page
Elements: 2
Page 1 on 1
 TitleAuthors / EditorsDate
add to browser selection
High-Level Petri Net Model Checking with AlPiNA Hostettler, Steve Patrick; Marechal Marin, Alexis Ayar; Linard, Alban; Risoldi, Matteo; Buchs, Didier 2011
add to browser selection
Toward efficient state space generation of algebraic Petri nets Buchs, Didier; Hostettler, Steve Patrick 2010