%0 Journal Article %1 journals/tcs/GenrichL81 %A Genrich, Hartmann J. %A Lautenbach, Kurt %D 1981 %J Theor. Comput. Sci. %K dblp %P 109-136 %T System Modelling with High-Level Petri Nets. %U http://dblp.uni-trier.de/db/journals/tcs/tcs13.html#GenrichL81 %V 13

@article{journals/tcs/GenrichL81, added-at = {2011-09-07T00:00:00.000+0200}, author = {Genrich, Hartmann J. and Lautenbach, Kurt}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2194da6cff9942f74553f7ac6a315cdd1/dblp}, ee = {http://dx.doi.org/10.1016/0304-3975(81)90113-4}, interhash = {95e81865b218d0e4f862c5d993c8471e}, intrahash = {194da6cff9942f74553f7ac6a315cdd1}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {109-136}, timestamp = {2016-02-02T10:04:06.000+0100}, title = {System Modelling with High-Level Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs13.html#GenrichL81}, volume = 13, year = 1981 }