 |
Free and accessible knowledge |
Conference papers
Building Petri nets tools around Neco compiler
Abstract : This paper presents Neco that is a Petri net compiler: it takes a Petri net as its input and produces as its output an optimised library to e ciently explore the state space of this Petri net. Neco is also able to work with LTL formulae and to perform model-checking by using SPOT library. We describe the components of Neco, and in particular the exploration libraries it produces, with the aim that one can use Neco in one's own projects in order to speedup Petri nets executions.
Cited literature [14 references]
https://hal.archives-ouvertes.fr/hal-00911714
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Friday, November 29, 2013 - 4:42:27 PM
Last modification on : Tuesday, June 30, 2020 - 11:56:08 AM
Long-term archiving on: : Monday, March 3, 2014 - 8:25:19 PM
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Friday, November 29, 2013 - 4:42:27 PM
Last modification on : Tuesday, June 30, 2020 - 11:56:08 AM
Long-term archiving on: : Monday, March 3, 2014 - 8:25:19 PM
File
pnse13.pdf
Files produced by the author(s)