The following pages link to Frank Heitmann (Q2908216):
Displaying 8 items.
- P- and T-Systems in the Nets-within-Nets-Formalism (Q2908217) (← links)
- An Upper Bound for the Reachability Problem of Safe, Elementary Hornets (Q2968854) (← links)
- Safeness for Object Nets (Q3081899) (← links)
- (Q3117556) (← links)
- Conservative Elementary Object Systems (Q4902323) (← links)
- (Q5192934) (← links)
- Structural and Dynamic Restrictions of Elementary Object Systems (Q5259299) (← links)
- Complexity Results for Elementary Hornets (Q5300870) (← links)