%0 Journal Article %1 journals/comcom/DAnnaT88 %A D'Anna, Mario %A Trigila, Sebastiano %D 1988 %J Computer Communications %K invariant %N 4 %P 215-220 %T Concurrent system analysis using Petri nets: an optimized algorithm for finding net invariants. %U http://dblp.uni-trier.de/db/journals/comcom/comcom11.html#DAnnaT88 %V 11

@article{journals/comcom/DAnnaT88, added-at = {2014-02-11T23:21:28.000+0100}, author = {D'Anna, Mario and Trigila, Sebastiano}, biburl = {https://www.bibsonomy.org/bibtex/2f28fa6caa20952e410a4cbcc550e0ae9/eperzhand}, description = {dblp}, ee = {http://dx.doi.org/10.1016/0140-3664(88)90085-0}, interhash = {0c12a369b03bade95826872a05687f25}, intrahash = {f28fa6caa20952e410a4cbcc550e0ae9}, journal = {Computer Communications}, keywords = {invariant}, number = 4, pages = {215-220}, timestamp = {2014-02-11T23:21:28.000+0100}, title = {Concurrent system analysis using Petri nets: an optimized algorithm for finding net invariants.}, url = {http://dblp.uni-trier.de/db/journals/comcom/comcom11.html#DAnnaT88}, volume = 11, year = 1988 }