在之前的一篇论文中，我们介绍了即时观察（IO）Petri网，这是一类研究种群协议和酶化学网络的兴趣。在本文的第一部分中，我们表明IO网络是全局平坦的，因此可以通过使用加速技术（如FAST）的高效符号模型检查工具检查其安全属性。在第二部分中，我们研究分支IO网（BIO网），其转换可以创建令牌。BIO网扩展了IO网和无通信网，也称为BPP网，这是一个被广泛研究的类。我们表明，虽然BIO网络不再是全局平坦的，并且它们的可达标记集可能是非线性的，但它们仍然是局部平坦的。因此，BIO网络的覆盖性和可达性问题，甚至是其特定的集参数版本，都是在PSPACE中。这使得BIO网成为第一个具有非线性可达关系的自然网类，其可达性问题可证明比一般Petri网更简单。