Lars M. Kristensen

Application and Theory of Petri Nets

٢٠١١

Coloured Petri Nets

٢٠٠٩