Return to Article Details Application of Petri nets for the analysis of CF-grammars Download Download PDF