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...

Full description

Saved in:
Bibliographic Details
Published inProcess Algebras for Petri Nets pp. 273 - 285
Main Author Gorrieri, Roberto
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2017
Springer International Publishing
SeriesMonographs in Theoretical Computer Science. An EATCS Series
Subjects
Online AccessGet full text
ISBN9783319555584
3319555588
ISSN1431-2654
2193-2069
DOI10.1007/978-3-319-55559-1_9

Cover

More Information
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