Autor:	Archibald, Blair, Calder, Muffy, Sevegnani, Michele
Rok vydání:	2024
Předmět:	Computer Science - Logic in Computer Science Computer Science - Symbolic Computation Computer Science - Software Engineering
Druh dokumentu:	Working Paper
Popis:	Bigraphs are a versatile modelling formalism that allows easy expression of placement and connectivity relations in a graphical format. System evolution is user defined as a set of rewrite rules. This paper presents a practical, yet detailed guide to developing, executing, and reasoning about bigraph models, including recent extensions such as parameterised, instantaneous, prioritised and conditional rules, and probabilistic and stochastic rewriting. Comment: 34 pages
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2405.20745 Zobrazit plný text záznamu View this record from Arxiv