Executing bigraphical reactive systems

DOI10.1016/J.DAM.2018.07.006zbMATH Open1401.05288OpenAlexW2889376928WikidataQ129330332 ScholiaQ129330332MaRDI QIDQ1634767FDOQ1634767

Authors: Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Khalil Drira 

Publication date: 18 December 2018

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.dam.2018.07.006

Recommendations

• Encoding bigraphical reactive systems into graph transformation systems
• scientific article; zbMATH DE number 1863157
• Pure bigraphs: structure and dynamics
• Conditional bigraphs
• scientific article; zbMATH DE number 2155177

zbMATH Keywords

matchingbigraphsbigraphical reactive systems

Mathematics Subject Classification ID

Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.) (05C70) Graph theory (05C99)

Cites Work

• GMTE: a tool for graph transformation and exact/inexact graph matching
• On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs
• The Space and Motion of Communicating Agents
• Fundamentals of algebraic graph transformation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Encoding bigraphical reactive systems into graph transformation systems
• An inductive characterization of matching in binding bigraphs
• Finding a forest in a tree
• Formal Methods in Software and Systems Modeling

Cited In (5)

• Computing embeddings of directed bigraphs
• A tale of two graph models: a case study in wireless sensor networks
• Conditional bigraphs
• Encoding bigraphical reactive systems into graph transformation systems
• Matching of bigraphs

Uses Software

• GMTE
• jLibBig

This page was built for publication: Executing bigraphical reactive systems

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