The Logical View on Continuous Petri Nets

Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad
2017 ACM Transactions on Computational Logic  
doi:10.1145/3105908 fatcat:a7crufoegzexzhndl6j2aviknm