The following pages link to MARCIE (Q24806):
Displaying 6 items.
- Extended dependency graphs and efficient distributed fixed-point computation (Q1662534) (← links)
- Improvements in unfolding of colored Petri nets (Q2695488) (← links)
- On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets (Q2941140) (← links)
- A Petri-Net-Based Framework for Biomodel Engineering (Q5256766) (← links)
- Computing Cumulative Rewards Using Fast Adaptive Uniformization (Q5270731) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)