Loading…
Cause-Effect Structures An Algebra of Nets with Examples of Applications /
This book presents a new algebraic system whose interpretation coincides with the behaviour of Petri nets, enhanced with an inhibitory mechanism and four time models. Its goal is to provide a formal means of modelling dynamic tasks, and of testing and verifying properties, in contexts characterised...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | e-Book |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2019.
|
| Edition: | 1st ed. 2019. |
| Series: | Lecture Notes in Networks and Systems,
45 |
| Subjects: | |
| Online Access: | Full-text access View in OPAC |
Table of Contents:
- Introductory notes
- Basics of elementary cause-effect structures
- Extensions of elementary cause-effect structures
- Another extension: time in elementary c-e structures.