Associative composition of components with double-sided interfaces

DOI10.1007/s00236-018-0328-7zbMath1431.68081OpenAlexW2899338885WikidataQ129023646 ScholiaQ129023646MaRDI QIDQ1733102

Wolfgang Reisig

Publication date: 21 March 2019

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-018-0328-7

zbMATH Keywords

Petri netscomposition

Mathematics Subject Classification ID

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

Related Items (1)

Distributed synthesis of asynchronously communicating distributed process models

Uses Software

• Reo

Cites Work

• Soundness of workflow nets: classification, decidability, and analysis
• Connectivity of workflow nets: The foundations of stepwise verification
• Petri nets are monoids
• Petri net algebra
• Understanding concurrent systems
• Specification and Development of Interactive Systems
• Nets, Relations and Linking Diagrams
• On Distributability of Petri Nets
• Does My Service Have Partners?
• Reo: a channel-based coordination model for component composition
• Understanding Petri Nets
• On the category of Petri net computations
• An Approach to Modelling and Verification of Component Based Systems
• The Conversation Calculus: A Model of Service-Oriented Computation
• Formal Methods for Components and Objects

This page was built for publication: Associative composition of components with double-sided interfaces