Accelerating the Computation of Dead and Concurrent Places Using Reductions
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan In SPIN 2021 — International Symposium on Model Checking Software, jun 2021.
Petri
MCC: a Tool for Unfolding Colored Petri Nets in PNML Format
Silvano Dal Zilio In ICATPN 2020 — 41st International Conference on Application and Theory of Petri Nets and Concurrency, jun 2020.
Checking marking reachability with the state equation in Petri net subclasses
Thomas Hujsa, Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan preprint, jun 2020.
On the Petri Nets with a Single Shared Place and Beyond
Thomas Hujsa, Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan preprint, may 2020.
Presentation of the 9th Edition of the Model Checking Contest
Elvio Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal Zilio, Francesco Gallà, Lom Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew Miner, Emmanuel Paviot-Adet, Jiří Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf In TACAS 2019 — Tools and Algorithms for the Construction and Analysis of Systems, apr 2019.
Counting Petri net markings from reduction equations
Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio International Journal on Software Tools for Technology Transfer (STTT) :1—19, apr 2019.
Petri Net Reductions for Counting Markings
Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio In SPIN 2018 — International Symposium on Model Checking Software, jun 2018.
Observation Graph implementation for TINA toolbox
Rodrigo Tacla Saad, François Vernadat, Bernard Berthomieu, Silvano Dal Zilio In EWDC 2009 — 12th European Workshop on Dependable Computing, may 2009.
On the Dynamics of PB Systems: A Petri Net View
Silvano Dal Zilio, Enrico Formenti In WMC 2003 — Workshop on Membrane Computing, jan 2004.