Concurrency in Boolean networks (Q6151158): Difference between revisions

@@ Property / Wikidata QID @@
+Q127717475
@@ Property / Wikidata QID: Q127717475 / rank @@
+Normal rank
@@ Property / cites work @@
+Maximum number of fixed points in regulatory Boolean networks
+Normal rank
@@ Property / cites work @@
+Number of Fixed Points and Disjoint Cycles in Monotone Boolean Networks
+Normal rank
@@ Property / cites work @@
+Effect of asynchronous updating on the stability of cellular automata
+Normal rank
@@ Property / cites work @@
+A concurrency-preserving translation from time Petri nets to networks of timed automata
+Normal rank
@@ Property / cites work @@
+Efficient unfolding of contextual Petri nets
@@ Property / cites work: Efficient unfolding of contextual Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual Petri nets, asymmetric event structures, and processes
+Normal rank
@@ Property / cites work @@
+Non sequential semantics for contextual P/T nets
@@ Property / cites work: Non sequential semantics for contextual P/T nets / rank @@
+Normal rank
@@ Property / cites work @@
+Petri net representation of multi-valued logical regulatory graphs
+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 @@
+Non-atomic Transition Firing in Contextual Nets
@@ Property / cites work: Non-atomic Transition Firing in Contextual Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean networks: beyond generalized asynchronicity
+Normal rank
@@ Property / cites work @@
+Q5111631
@@ Property / cites work: Q5111631 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results for 1-safe nets
@@ Property / cites work: Complexity results for 1-safe nets / rank @@
+Normal rank
@@ Property / cites work @@
+Unfoldings: A partial-order approach to model checking.
+Normal rank
@@ Property / cites work @@
+Structure of concurrency
@@ Property / cites work: Structure of concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of modelling concurrency using discrete relational structures
+Normal rank
@@ Property / cites work @@
+Concurrent and maximally concurrent evolution of nonsequential systems
+Normal rank
@@ Property / cites work @@
+Boolean network-based analysis of the apoptosis network: irreversible apoptosis and stable surviving
+Normal rank
@@ Property / cites work @@
+Synchronism versus asynchronism in monotonic Boolean automata networks
+Normal rank
@@ Property / cites work @@
+Q5472942
@@ Property / cites work: Q5472942 / rank @@
+Normal rank
@@ Property / cites work @@
+Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework
+Normal rank
@@ Property / cites work @@
+Negative circuits and sustained oscillations in asynchronous automata networks
+Normal rank
@@ Property / cites work @@
+Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs
+Normal rank
@@ Property / cites work @@
+Dynamical behaviour of biological regulatory networks. II: Immunity control in bacteriophage lambda
+Normal rank
@@ Property / cites work @@
+Fairness and partial order semantics
@@ Property / cites work: Fairness and partial order semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Partial order semantics and read arcs
@@ Property / cites work: Partial order semantics and read arcs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264100
@@ Property / cites work: Q4264100 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6151158