Before revision:  This problem relates to the verification of Petri Nets , but existing approaches are not sufficient for certain situations that commonly arise in molecular implementations, such as what we call "delayed choice.
After revision:  This problem relates to the verification of Petri nets , but existing approaches are not sufficient for certain situations that commonly arise in molecular implementations, such as what we call "delayed choice.