%0 Conference Paper %1 jensen81 %A Jensen, K. %B TCS14 %D 1981 %K Pe'tri de re'seau %T Coloured Petri nets and the invariant methods

@inproceedings{jensen81, added-at = {2007-06-19T16:03:11.000+0200}, author = {Jensen, K.}, biburl = {https://www.bibsonomy.org/bibtex/2699d95cd5319915eff6a5b4b819a8732/charoy}, booktitle = {TCS14}, interhash = {d950764cfd6703ad8ad21f3a4eb575ae}, intrahash = {699d95cd5319915eff6a5b4b819a8732}, keywords = {Pe'tri de re'seau}, timestamp = {2007-06-19T16:03:27.000+0200}, title = {{Coloured Petri nets and the invariant methods}}, year = 1981 }