On Cyclic Behaviour of Unbounded Petri Nets | IEEE Conference Publication | IEEE Xplore