2 papers
cs.FL2025
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…
cs.DM2024
Home Spaces and Invariants to Analyze Parameterized Petri Nets
Gerard Memmi
This article focuses on comparing the notions of home spaces and invariants, in Transition Systems and more particularly, in Petri Nets as well as a variety of derived Petri Nets.…