„Sie sind ''Turing-mächtig'' und somit in der Lage, Petrinetze mit Inhibitor-Kanten zu beschreiben […].“<ref>{{Literatur |Titel=Verifikation verteilter Systeme mittels linearer - und Constraint-Programmierung |Autor=Stephan Melzer |Verlag=Herbert Utz Verlag |Ort=München |Jahr=1998 |ISBN=3-89675-394-0 |Seiten=204 |Online=zitiert nach {{GBS|4_5AL4h-hT4C|PA204|Hervorhebung=Turing-mächtig}} |Zugriff=2014-06-19}}</ref>
''theoretische [[Informatik]], von einem [[Formalismus]]:'' in der Lage, alle mit [[Turingmaschine]]n beschreibbaren ([[Turing-berechenbar]]en) [[Funktion]]en auszudrücken