𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Petri nets for modelling metabolic pathways: a survey

✍ Scribed by Paolo Baldan; Nicoletta Cocco; Andrea Marin; Marta Simeoni

Book ID
106476310
Publisher
Springer Netherlands
Year
2010
Tongue
English
Weight
620 KB
Volume
9
Category
Article
ISSN
1567-7818

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Functorial Models for Petri Nets
Functorial Models for Petri Nets
✍ Roberto Bruni; JosΓ© Meseguer; Ugo Montanari; Vladimiro Sassone πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 251 KB
A Petri net model for probabilistic logi
A Petri net model for probabilistic logic
✍ Chuang Lin; Y. T. Wu πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 815 KB

In this article we investigate the use of Petri nets for the representation of possible worlds in probabilistic logic. We propose a method to generate possible worlds based upon the reachability tree of the Petri net model. The number of columns in the matrix of possible worlds grows exponentially w

model checking for time Petri nets
model checking for time Petri nets
✍ Hanifa Boucheneb; Rachid Hadjidj πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 554 KB