Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Compositional Definitions of Minimal Flows in Petri Nets
Authors: Michael Pedersen
Date:Oct 2008
Publication Title:Computational Methods in Systems Biology
Publication Type:Conference Paper Publication Status:Published
Volume No:5307/2008 Page Nos:288-307
DOI:10.1007/978-3-540-88562-7_21 ISBN/ISSN:978-3-540-88561-0
This paper gives algebraic definitions for obtaining the minimal transition and place fows of a modular Petri net from the minimal transition and place flows of its components. The notion of modularity employed is based on place sharing. It is shown that transition and place flows are not dual in a modular sense under place sharing alone, but that the duality arises when also considering transition sharing. As an application, the modular definitions are used to give compositional definitions of transition and place flows of models in a subset of the Calculus of Biochemical Systems.
Links To Paper
1st Link
Bibtex format
author = { Michael Pedersen },
title = {Compositional Definitions of Minimal Flows in Petri Nets},
book title = {Computational Methods in Systems Biology},
publisher = {Springer},
year = 2008,
month = {Oct},
volume = {5307/2008},
pages = {288-307},
doi = {10.1007/978-3-540-88562-7_21},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh