A Canonical Contraction for Safe Petri Nets? Thomas Chatain and Stefan Haar INRIA - Contraction - Document - PDFSEARCH.IO

First Page	Meta Content
	A Canonical Contraction for Safe Petri Nets? Thomas Chatain and Stefan Haar INRIA & LSV (CNRS & ENS Cachan) 61, avenue du Président WilsonCACHAN Cedex, France {chatain, haar}@lsv.ens-cachan.fr Add to Reading List Document Date: 2013-09-03 10:01:58 Open Document File Size: 662,48 KB Share Result on Facebook

A Canonical Contraction for Safe Petri Nets? Thomas Chatain and Stefan Haar INRIA & LSV (CNRS & ENS Cachan) 61, avenue du Président WilsonCACHAN Cedex, France {chatain, haar}@lsv.ens-cachan.frAdd to Reading List