Show items per page
Elements: 7
Page 1 on 1
 TitleAuthors / EditorsDate
add to browser selection
Unifying the syntax and semantics of modular extensions of Petri nets Marechal Marin, Alexis Ayar 2013
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
Improving the significance of benchmarks for Petri nets model checkers Hostettler, Steve Patrick; Linard, Alban; Marechal Marin, Alexis Ayar; Risoldi, Matteo 2010
add to browser selection
Specification of Decision Diagram Operations Hamez, Alexandre; Hostettler, Steve Patrick; Linard, Alban; Marechal Marin, Alexis Ayar; ... Risoldi, Matteo 2010
add to browser selection
AlPiNA: A Symbolic Model Checker Buchs, Didier; Hostettler, Steve Patrick; Marechal Marin, Alexis Ayar; Risoldi, Matteo 2010
add to browser selection
AlPiNA: an Algebraic Petri Net Analyzer Buchs, Didier; Hostettler, Steve Patrick; Marechal Marin, Alexis Ayar; Risoldi, Matteo 2010
add to browser selection
Properties specification language for algebraic Petri nets Marechal Marin, Alexis Ayar; Buchs, Didier 2010