%0 Journal Article %1 FinkelLeroux14insk %A Finkel, Alain %A Leroux, Jérôme %D 2014 %J Informatik-Spektrum %K 01624 springer paper algorithm system theory format concurrent %N 3 %P 229-236 %R 10.1007/s00287-013-0753-5 %T Neue, einfache Algorithmen für Petrinetze %V 37 %X Wir zeigen, wie die Entscheidungsprobleme der Überdeckung, der Beschränktheit und der Erreichbarkeit mithilfe induktiver Invarianten einfacher lösbar sind als mit herkömmlichen Methoden.

@article{FinkelLeroux14insk, abstract = {Wir zeigen, wie die Entscheidungsprobleme der Überdeckung, der Beschränktheit und der Erreichbarkeit mithilfe induktiver Invarianten einfacher lösbar sind als mit herkömmlichen Methoden.}, added-at = {2014-09-14T13:11:15.000+0200}, author = {Finkel, Alain and Leroux, J\'{e}r{\^{o}}me}, biburl = {https://www.bibsonomy.org/bibtex/20b1750b24676832feda44d573771bcdf/flint63}, doi = {10.1007/s00287-013-0753-5}, file = {SpringerLink:2014/FinkelLeroux14insk.pdf:PDF}, groups = {public}, interhash = {e757af1578b4de6caf1430c1743d6144}, intrahash = {0b1750b24676832feda44d573771bcdf}, issn = {0170-6012}, journal = {Informatik-Spektrum}, keywords = {01624 springer paper algorithm system theory format concurrent}, month = {#jun#}, number = 3, pages = {229-236}, timestamp = {2017-07-13T18:17:33.000+0200}, title = {{Neue, einfache Algorithmen f\"{u}r Petrinetze}}, username = {flint63}, volume = 37, year = 2014 }