Søren Christensen, Niels Damgaard Hansen. Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. In Marco Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings. Volume 691 of Lecture Notes in Computer Science, pages 186-205, Springer, 1993.
@inproceedings{ChristensenH93:0,
title = {Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs},
author = {Søren Christensen and Niels Damgaard Hansen},
year = {1993},
tags = {testing},
researchr = {https://researchr.org/publication/ChristensenH93%3A0},
cites = {0},
citedby = {0},
pages = {186-205},
booktitle = {Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings},
editor = {Marco Ajmone Marsan},
volume = {691},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56863-8},
}