Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States Michael Blondin Christoph Haase - Petri - Document - PDFSEARCH.IO

First Page	Meta Content
	Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States Michael Blondin Christoph Haase Add to Reading List Document Date: 2017-06-12 05:55:41 Open Document File Size: 546,72 KB Share Result on Facebook

Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States Michael Blondin Christoph HaaseAdd to Reading List