%0 Journal Article %1 journals/comcom/DAnnaT88 %A D'Anna, Mario %A Trigila, Sebastiano %D 1988 %J Comput. Commun. %K dblp %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 = {2020-02-20T00:00:00.000+0100}, author = {D'Anna, Mario and Trigila, Sebastiano}, biburl = {https://www.bibsonomy.org/bibtex/2c459c2882e49c2f0d5e592a429cbace8/dblp}, ee = {https://doi.org/10.1016/0140-3664(88)90085-0}, interhash = {0c12a369b03bade95826872a05687f25}, intrahash = {c459c2882e49c2f0d5e592a429cbace8}, journal = {Comput. Commun.}, keywords = {dblp}, number = 4, pages = {215-220}, timestamp = {2020-02-21T12:00:11.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 }