How to find invariants for coloured Petri nets
- 1 January 1981
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- How to find invariants for coloured Petri netsLecture Notes in Computer Science, 1981
- Linear algebra in net theoryPublished by Springer Science and Business Media LLC ,1980