Predicate / Transition Nets
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A reduce package for determining first integrals of autonomous systems of ordinary differential equationsComputer Physics Communications, 1986
- Petri nets with individual tokensTheoretical Computer Science, 1985
- Petri NetsPublished by Springer Nature ,1985
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981
- Naive Set TheoryPublished by Springer Nature ,1974
- Marked directed graphsJournal of Computer and System Sciences, 1971