Semiflows, Home Spaces, and Home States, Applications to the Analysis of Parameterized Petri Nets

Gerard Memmi

After rapidly recalling basic notations relatively to semiflows and Petri nets, we define F, the set of semiflows over Z that we associate with a specific class of invariants. We t…