Decidability questions for fairness in Petri nets
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 396-407
- https://doi.org/10.1007/bfb0039622
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The residue of vector sets with applications to decidability problems in Petri netsActa Informatica, 1985
- Infinite behaviour and fairness in petri netsPublished by Springer Nature ,1985
- An Algorithm for the General Petri Net Reachability ProblemSIAM Journal on Computing, 1984
- Decidability of reachability in vector addition systems (Preliminary Version)Published by Association for Computing Machinery (ACM) ,1982
- Finiteness of the Odd Perfect and Primitive Abundant Numbers with n Distinct Prime FactorsAmerican Journal of Mathematics, 1913