2015/11/03 by Davide Grohmann, Marino Miculan, Grohmann, Davide +1 · 1 citation
Computer Science · #Advanced Database Systems and Queries #Distributed systems and fault tolerance #Petri Nets in System Modeling
paper · doi:10.14279/tuj.eceasst.10.142
openalex publication_date 2024/04/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/01
We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous versions, we add the possibility that components may govern the access to resources, like (web) servers control requests from clients. This framework encompasses many common computational aspects, such as name or channel creation, references, client/server connections, localities, etc, still allowing to derive systematically labelled transition systems whose bisimilarities are congruences. As application examples, we analyse the encodings of client/server communications through firewalls, of (compositional) Petri nets and of chemical reactions.