Localities in systems with a/sync communication

DOI10.1016/J.TCS.2011.12.038MaRDI QIDQ418785zbMATH OpenOpenAlexFDO

Authors Maciej Koutny, Jetty Kleijn

Publication date 30 May 2012

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2011.12.038

zbMATH Keywords

concurrencylocalitya/sync placebarb-eventoccurrence netplace transition netprocess semanticssynchronous and asynchronous communication

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Synthesis problem for Petri nets with localities
• Transition Systems of Elementary Net Systems with Localities
• Synthesis of Petri nets with localities
• Petri nets with localities and testing
• Adding a/sync places to the synthesis procedure for whole-place operations nets with localities

Cites work

• scientific article; zbMATH DE number 5671765 (Why is no real title available?)
• scientific article; zbMATH DE number 1302042 (Why is no real title available?)
• scientific article; zbMATH DE number 1302043 (Why is no real title available?)
• Lectures on Petri nets. 1: Basic models. Advances in Petri nets
• Lectures on concurrency and Petri nets. Advances in Petri nets.
• Logic Synthesis for Asynchronous Controllers and Interfaces
• Membrane Computing
• Membrane computing. An introduction.
• Occurrence nets then and now: the path to structured occurrence nets
• Process semantics for membrane systems
• Process semantics of general inhibitor nets
• Sequential and concurrent behaviour in Petri net theory
• Structured occurrence nets: a formalism for aiding system failure prevention and analysis techniques

Cited in

(4)

• Petri nets with localities and testing
• Synthesis problem for Petri nets with localities
• Dynamic networks of timed Petri nets
• Regions of Petri nets with a/sync connections

This page was built for publication: Localities in systems with a/sync communication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q418785)