一个有限自动机的例子。假设一个自动贩卖机器可接受五分或者一角面值的钱币，卖15￠或20￠的单独包装的块状糖。假设这个贩卖机可以接受20￠，那么这个机器的状态图就可以由下图所示的Petri网来表示。五个状态用五个库所来表示，上面分别标注了0￠，5￠，10￠，15￠和20￠。