Pages that link to "Item:Q927095"
From MaRDI portal
The following pages link to Theoretical computer science. Petri nets. (Q927095):
Displaying 10 items.
- IDD-based model validation of biochemical networks (Q548487) (← links)
- Stochastic Petri net models of \(\text{Ca}^{2+}\) signaling complexes and their analysis (Q1761681) (← links)
- Towards massively parallel computations in algebraic geometry (Q2040457) (← links)
- Completeness of MLL proof-nets w.r.t. weak distributivity (Q3426569) (← links)
- Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments (Q3642953) (← links)
- A phase semantics for polarized linear logic and second order conservativity (Q5190190) (← links)
- A completeness theorem for symmetric product phase spaces (Q5311727) (← links)
- 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06 (Q5421032) (← links)
- LOWER BOUNDS FOR DNF-REFUTATIONS OF A RELATIVIZED WEAK PIGEONHOLE PRINCIPLE (Q5501765) (← links)
- Petri-net-based 2D design of DNA walker circuits (Q6084212) (← links)