"PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based ..."

Ali Khalili, Amir Jalaly Bidgoly, Mohammad Abdollahi Azgomi (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics