Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems.

M. Moalla, Jacques Pulou, Joseph Sifakis

Browse the full MFCS paper archive.