This paper gives algebraic definitions for obtaining the minimal transition and place flows 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. © 2008 Springer Berlin Heidelberg.
CITATION STYLE
Pedersen, M. (2008). Compositional definitions of minimal flows in Petri nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5307 LNBI, pp. 288–307). https://doi.org/10.1007/978-3-540-88562-7_21
Mendeley helps you to discover research relevant for your work.