@article{10.1109/MDT.1986.295009,
author = {},
title = {Proceedings?International Workshop on Timed Petri Nets},
journal = {IEEE Design & Test of Computers},
volume = {3},
number = {},
issn = {0740-7475},
year = {1986},
pages = {77},
doi = {doi.ieeecomputersociety.org/10.1109/MDT.1986.295009},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}