On representing CCS programs by finite petri nets
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 339-350
- https://doi.org/10.1007/bfb0017157
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Operational Petri net semantics for CCSPPublished by Springer Nature ,1987
- Petri net models for algebraic theories of concurrencyPublished by Springer Nature ,1987
- Event structuresPublished by Springer Nature ,1987
- Lectures on a calculus for communicating systemsLecture Notes in Computer Science, 1985
- On the relationship of CCS and petri netsPublished by Springer Nature ,1984
- A new definition of morphism on Petri netsLecture Notes in Computer Science, 1984
- The non-sequential behaviour of Petri netsInformation and Control, 1983
- Milner’s Communicating Systems and Petri NetsPublished by Springer Nature ,1983
- Event structure semantics for CCS and related languagesPublished by Springer Nature ,1982