𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Modularization of biochemical networks based on classification of Petri net t-invariants

✍ Scribed by Eva Grafahrend-Belau; Falk Schreiber; Monika Heiner; Andrea Sackmann; Björn H Junker; Stefanie Grunwald; Astrid Speer; Katja Winder; Ina Koch


Book ID
115001574
Publisher
BioMed Central
Year
2008
Tongue
English
Weight
859 KB
Volume
9
Category
Article
ISSN
1471-2105

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Logical inference of clauses based on Pe
✍ Chuang Lin; Samuel T. Chanson 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 178 KB 👁 1 views

This paper extends the logical inference of Horn clauses in Petri net models to cover a large class of non-Horn clauses. Based on four-valued logic and the conflict transition concept, we show how the Petri net model for this class of non-Horn clauses can be constructed. The clause inference is solv