On the Structure of Siphons of Petri Nets (Logics, Algebras and Languages in Computer Science)
秀記 山崎 · Kyoto University Research Information Repository (Kyoto University) · 2014
Siphons play an essential role for the analysis of the reachability of Petri nets.In this paper we study the structure of siphons of Petri nets and show that every siphon of a net is obtained by deleting some kinds of places in the net successively.