1
Published 2014
Springer Berlin Heidelberg
Table of Contents: ... Canonical Contraction for Safe Petri Nets -- Symbolic Termination and Confluence Checking for ECA Rules...