"A Petri Nets based Method for Specification and Automatic Generation of ..."

Faouzi Moussa et al. (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics