Generalizations and Variant Semantics
A few possible extensions and variant semantics are discussed. They are related to (i) representing all Petri nets labeled over the set Act of structured actions and co-actions; (ii) allowing the body of recursively defined constants to be nonsequential; (iii) generalizing the approach to the case w...
Saved in:
Published in | Process Algebras for Petri Nets pp. 273 - 285 |
---|---|
Main Author | |
Format | Book Chapter |
Language | English |
Published |
Switzerland
Springer International Publishing AG
2017
Springer International Publishing |
Series | Monographs in Theoretical Computer Science. An EATCS Series |
Subjects | |
Online Access | Get full text |
ISBN | 9783319555584 3319555588 |
ISSN | 1431-2654 2193-2069 |
DOI | 10.1007/978-3-319-55559-1_9 |
Cover
Summary: | A few possible extensions and variant semantics are discussed. They are related to (i) representing all Petri nets labeled over the set Act of structured actions and co-actions; (ii) allowing the body of recursively defined constants to be nonsequential; (iii) generalizing the approach to the case when the restriction operator can occur inside the body of recursively defined constants. Finally, asynchronous communication is discussed and an open problem for future research is suggested. |
---|---|
ISBN: | 9783319555584 3319555588 |
ISSN: | 1431-2654 2193-2069 |
DOI: | 10.1007/978-3-319-55559-1_9 |