BigraphER: rewriting and analysis engine for bigraphs

Sevegnani, M. and Calder, M. (2016) BigraphER: rewriting and analysis engine for bigraphs. Lecture Notes in Computer Science, 9780, pp. 494-501. (doi: 10.1007/978-3-319-41540-6_27)

119384.pdf - Accepted Version



BigraphER is a suite of open-source tools providing an effi- cient implementation of rewriting, simulation, and visualisation for bigraphs, a universal formalism for modelling interacting systems that evolve in time and space and first introduced by Milner. BigraphER consists of an OCaml library that provides programming interfaces for the manipulation of bigraphs, their constituents and reaction rules, and a command-line tool capable of simulating Bigraphical Reactive Systems (BRSs) and computing their transition systems. Other features are native support for both bigraphs and bigraphs with sharing, stochastic reaction rules, rule priorities, instantiation maps, parameterised controls, predicate checking, graphical output and integration with the probabilistic model checker PRISM.

Item Type:Articles
Additional Information:28th International Conference on Computer Aided Verification (CAV 2016), Toronto, ON, Canada, 17-23 Jul, 2016.
Glasgow Author(s) Enlighten ID:Calder, Professor Muffy and Sevegnani, Dr Michele
Authors: Sevegnani, M., and Calder, M.
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Lecture Notes in Computer Science
Copyright Holders:Copyright © 2016 Springer International Publishing Switzerland
First Published:First published in Lecture Notes in Computer Science 9780: 494-501
Publisher Policy:Reproduced in accordance with the copyright policy of the publisher
Related URLs:

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
478101Homework: Shaping future user centred domestic infrastructuresJoseph SventekEngineering & Physical Sciences Research Council (EPSRC)EP/F064225/1SCHOOL OF COMPUTING SCIENCE