Petri
Accelerating the Computation of Dead and Concurrent Places Using Reductions
Verification
Petri
Reductions
Tools
Kong
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan
In SPIN 2021 — International Symposium on Model Checking Software, jun 2021.
In SPIN 2021 — International Symposium on Model Checking Software, jun 2021.
MCC: a Tool for Unfolding Colored Petri Nets in PNML Format
Verification
Tools
Petri
Mcc
Silvano Dal Zilio
In ICATPN 2020 — 41st International Conference on Application and Theory of Petri Nets and Concurrency, jun 2020.
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
Verification
Concurrency
Petri
Thomas Hujsa, Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan
preprint, jun 2020.
preprint, jun 2020.
On the Petri Nets with a Single Shared Place and Beyond
Verification
Concurrency
Petri
Thomas Hujsa, Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan
preprint, may 2020.
preprint, may 2020.
Presentation of the 9th Edition of the Model Checking Contest
Verification
Petri
Contest
Tina
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.
In TACAS 2019 — Tools and Algorithms for the Construction and Analysis of Systems, apr 2019.
Counting Petri net markings from reduction equations
Verification
Reductions
Petri
Tina
Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio
International Journal on Software Tools for Technology Transfer (STTT) :1—19, apr 2019.
International Journal on Software Tools for Technology Transfer (STTT) :1—19, apr 2019.
Petri Net Reductions for Counting Markings
Verification
Petri
Tina
Reductions
Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio
In SPIN 2018 — International Symposium on Model Checking Software, jun 2018.
In SPIN 2018 — International Symposium on Model Checking Software, jun 2018.
Observation Graph implementation for TINA toolbox
Verification
Petri
Rodrigo Tacla Saad, François Vernadat, Bernard Berthomieu, Silvano Dal Zilio
In EWDC 2009 — 12th European Workshop on Dependable Computing, may 2009.
In EWDC 2009 — 12th European Workshop on Dependable Computing, may 2009.
On the Dynamics of PB Systems: A Petri Net View
Concurrency
Semantics
Petri
Silvano Dal Zilio, Enrico Formenti
In WMC 2003 — Workshop on Membrane Computing, jan 2004.
In WMC 2003 — Workshop on Membrane Computing, jan 2004.