Return to Article Details Regular string-token Petri nets Download Download PDF