Projections of CE-systems
- 13 November 2005
- book chapter
- Published by Springer Nature
- Vol. 222, 224-232
- https://doi.org/10.1007/bfb0016214
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Petri NetsPublished by Springer Nature ,1985
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981
- Naive Set TheoryPublished by Springer Nature ,1974
- SynchronisationsgraphenActa Informatica, 1973
- Marked directed graphsJournal of Computer and System Sciences, 1971
- First-Order LogicPublished by Springer Nature ,1968