Publications of the COSMOS Research Group
1993
[5]VCPN - A description language of Coloured Petri Nets obtained from a VHDL description (, and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
1994
[4]VCPN - A description language of Coloured Petri Nets obtained from an elaborated VHDL description (, , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[3]Translating VHDL into Coloured Petri Nets (, , , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[2]Structural Analysis of Petri Nets (, , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[1]Structural Analysis of Place/Transition Nets. An Example (, , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
Powered by bibtexbrowser