Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding (Q6175523): Difference between revisions

@@ Property / cites work @@
+Q4001257
@@ Property / cites work: Q4001257 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing maximal and minimal trap spaces of Boolean networks
+Normal rank
@@ Property / cites work @@
+About non-monotony in Boolean automata networks
@@ Property / cites work: About non-monotony in Boolean automata networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+New Algorithms for Deciding the Siphon-Trap Property
+Normal rank
@@ Property / cites work @@
+On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
+Normal rank
@@ Property / cites work @@
+Minimal trap spaces of logical models are maximal siphons of their Petri net encoding
+Normal rank
@@ Property / cites work @@
+Control strategy identification via trap spaces in Boolean networks
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2004
@@ Property / cites work: Applications and Theory of Petri Nets 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri net representation of multi-valued logical regulatory graphs
+Normal rank
@@ Property / cites work @@
+Persistence Results for Chemical Reaction Networks with Time-Dependent Kinetics and No Global Conservation Laws
+Normal rank
@@ Property / cites work @@
+Graphical conditions for rate independence in chemical reaction networks
+Normal rank
@@ Property / cites work @@
+A survey of siphons in Petri nets
@@ Property / cites work: A survey of siphons in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+RC2: an Efficient MaxSAT Solver
@@ Property / cites work: RC2: an Efficient MaxSAT Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Q3011296
@@ Property / cites work: Q3011296 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamically consistent reduction of logical regulatory graphs
+Normal rank