Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets

DOI10.1007/3-540-61363-3_5zbMath1418.68132OpenAlexW1606511631MaRDI QIDQ4633156

Mohamed-Lyes Benalycherif, Claude Girault

Publication date: 2 May 2019

Published in: Application and Theory of Petri Nets 1996 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61363-3_5

zbMATH Keywords

livenesssynchronizationcompositionalitystate machineblocking relationcolored FIFO netsequal conflictfreeing relationsynchronization medium

Mathematics Subject Classification ID

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

Cites Work

• An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets
• Unnamed Item

This page was built for publication: Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets