The Logical View on Continuous Petri Nets

Publication
ACM Trans. Comput. Log.