Kunihiko Hiraishi

Latest

• Minimal trap spaces of Logical models are maximal siphons of their Petri net encoding