Serge Haddad

Latest

• The Logical View on Continuous Petri Nets
• Approaching the Coverability Problem Continuously