A Graph-Theoretical Characterisation of State Separation
- 11 January 2017
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Conditions for Petri Net Solvable Binary WordsLecture Notes in Computer Science, 2016
- The Power of Prime CyclesPublished by Springer Science and Business Media LLC ,2016
- Petri Net SynthesisPublished by Springer Science and Business Media LLC ,2015
- A decomposition theorem for finite persistent transition systemsActa Informatica, 2009
- Equality of languages coincides with isomorphism of reachable state graphs for bounded and persistent Petri netsInformation Processing Letters, 2005
- A fundamental theorem of asynchronous parallel computationLecture Notes in Computer Science, 1975
- Sur une classe d’équations fonctionnellesActa Mathematica, 1903