The following pages link to SNAKES (Q21459):
Displaying 6 items.
- Modeling in systems biology. The Petri net approach. With a foreword of Jens Georg Reich. (Q983161) (← links)
- Petri nets semantics of reaction rules (RR). A language for ecosystems modelling (Q2165237) (← links)
- Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers (Q2941142) (← links)
- LTL Model Checking with Neco (Q5166707) (← links)
- Towards Efficient Verification of Systems with Dynamic Process Creation (Q5505602) (← links)
- Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations (Q5870852) (← links)
