Propositional Dynamic Logic for Petri Nets with Iteration.

Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler

Browse the full ICTAC paper archive.