@InProceedings{Adamski:1994,
author
=
"M.Adamski and M.Węgrzyn",
title
=
"Hierarchically structured coloured Petri net specification and validation of concurrent controllers",
booktitle
=
"39th International Scientific Colloquium - IWK '94",
address
=
"Ilmenau, Niemcy",
publisher
=
"Ilmenau [brak wydawcy] ",
volume
=
"Band 1",
pages
=
"517--522",
year
=
"1994",
}