Return to Article Details Regular expressions for some Petri net languages for the producer/consumer problem Download Download PDF