View of Set difference operation for regular Petri net languages for the producer/consumer problem with the bounded buffer

Return to Article Details Set difference operation for regular Petri net languages for the producer/consumer problem with the bounded buffer Download Download PDF