Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets [1 ed.] 3540515259, 9783540515258
This work relates different approaches for the modelling of parallel processes. On the one hand there are the so-called
278 107 1MB
English Pages 172 [176] Year 1989
Table of contents :
Introduction....Pages 1-6
Abstract programming languages....Pages 7-45
Connections with language theory....Pages 46-60
Representation by finite automata....Pages 61-94
Representation by finite and safe Petri nets....Pages 95-117
A remark on the representation by finite Petri nets....Pages 118-122
Representation by finite and strict predicate/transition nets....Pages 123-155
Introduction....Pages 1-6
Abstract programming languages....Pages 7-45
Connections with language theory....Pages 46-60
Representation by finite automata....Pages 61-94
Representation by finite and safe Petri nets....Pages 95-117
A remark on the representation by finite Petri nets....Pages 118-122
Representation by finite and strict predicate/transition nets....Pages 123-155
![Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets [1 ed.]
3540515259, 9783540515258](https://ebin.pub/img/200x200/finite-reresentations-of-ccs-and-tcsp-programs-by-automata-and-petri-nets-1nbsped-3540515259-9783540515258.jpg)
![Application of Petri Nets to Communication Networks: Advances in Petri Nets [1 ed.]
354065870X, 9783540658702](https://ebin.pub/img/200x200/application-of-petri-nets-to-communication-networks-advances-in-petri-nets-1nbsped-354065870x-9783540658702.jpg)
![Lectures on Petri Nets II: Applications: Advances in Petri Nets [1 ed.]
3540653074, 9783540653073](https://ebin.pub/img/200x200/lectures-on-petri-nets-ii-applications-advances-in-petri-nets-1nbsped-3540653074-9783540653073.jpg)
![Lectures on Petri Nets I: Basic Models: Advances in Petri Nets [1 ed.]
3540653066, 9783540653066](https://ebin.pub/img/200x200/lectures-on-petri-nets-i-basic-models-advances-in-petri-nets-1nbsped-3540653066-9783540653066.jpg)
![Application and Theory of Petri Nets and Concurrency: 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings [1st ed.]
9783030518301, 9783030518318](https://ebin.pub/img/200x200/application-and-theory-of-petri-nets-and-concurrency-41st-international-conference-petri-nets-2020-paris-france-june-2425-2020-proceedings-1st-ed-9783030518301-9783030518318.jpg)
