@inproceedings{4336247c1f784ddbbc2f647bc237884a,
title = "Property specification for coloured Petri nets",
author = "Roubtsova, {Ella E.}",
year = "2004",
doi = "10.1109/ICSMC.2004.1400725",
language = "English",
isbn = "0-7803-8566-7",
volume = "7",
pages = "2617--2622",
booktitle = "2004 IEEE International Conference on Systems, Man and Cybernetics",
publisher = "IEEE",
address = "United States",
note = "2004 IEEE International Conference on Systems, Man and Cybernetics ; Conference date: 10-10-2004 Through 13-10-2004",
}