Counting Petri net markings from reduction equations
- 30 April 2019
- journal article
- research article
- Published by Springer Science and Business Media LLC in International Journal on Software Tools for Technology Transfer
- Vol. 22 (2), 163-181
- https://doi.org/10.1007/s10009-019-00519-1
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- MCC’2017 – The Seventh Model Checking ContestPublished by Springer Science and Business Media LLC ,2018
- Petri Net Reductions for Counting MarkingsPublished by Springer Science and Business Media LLC ,2018
- Petri Nets Repository: A Tool to Benchmark and Debug Petri Net ToolsLecture Notes in Computer Science, 2017
- 0/1 vertex and facet enumeration with BDDsPublished by Society for Industrial & Applied Mathematics (SIAM) ,2007
- Checking properties of nets using transformationsPublished by Springer Science and Business Media LLC ,2005
- Effective lattice point counting in rational convex polytopesJournal of Symbolic Computation, 2004
- The tool TINA – Construction of abstract state spaces for petri nets and time petri netsInternational Journal of Production Research, 2004
- Net Reductions for LTL Model-CheckingLecture Notes in Computer Science, 2001
- Transformations and Decompositions of NetsLecture Notes in Computer Science, 1987
- Marked directed graphsJournal of Computer and System Sciences, 1971