Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Petri Net Representations in Metabolic Pathways
Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
Mathematical methods for calculating invariants in Petri nets
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
A Language for Biochemical Systems
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Petri nets for systems and synthetic biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
A Language for Biochemical Systems
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
A language for biochemical systems: design and formal specification
Transactions on Computational Systems Biology XII
| Hi-index | 0.00 |
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 notdual 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.