The following pages link to (Q3219122):
Displaying 9 items.
- The sweep-line state space exploration method (Q418783) (← links)
- Modeling the process of human body iron homeostasis using a variant of timed Petri nets (Q1026173) (← links)
- Traces, dependency graphs and DNLC grammars (Q1081307) (← links)
- CTS systems and Petri nets (Q1085981) (← links)
- Reversible Computation vs. Reversibility in Petri Nets (Q3186587) (← links)
- Turing universality of the Biochemical Ground Form (Q3550701) (← links)
- Inheritance of behavior (Q5943265) (← links)
- Inheritance of workflows: An approach to tackling problems related to change (Q5958305) (← links)
- Reaction Systems, Transition Systems, and Equivalences (Q6163618) (← links)
