A survey of behaviour and equivalence preserving refinements of petri nets
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 31 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Some equivalence notions for concurrent systems. An overviewPublished by Springer Nature ,2005
- Traces, histories, graphs: Instances of a process monoidPublished by Springer Nature ,2005
- Partial orderings descriptions and observations of nondeterministic concurrent processesPublished by Springer Nature ,1989
- Fully abstract models for a process language with refinementPublished by Springer Nature ,1989
- On interprocess communicationDistributed Computing, 1986
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981