Encoding Synchronous Interactions Using Labelled Petri Nets

doi:https://doi.org/10.1007/978-3-662-43376-8_1

Open AccessBook Chapter10.1007/978-3-662-43376-8_1

Encoding Synchronous Interactions Using Labelled Petri Nets

Paolo Baldan,Filippo Bonchi,Fabio Gadducci,Giacoma Valentina Monreale-2014-01-01-Lecture notes in computer science

5

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Petri netComputer scienceEncoding (memory)DecidabilitySemantics (computer science)Rotation formalisms in three dimensionsProgramming languageModular design

Chat

Click to start Chat