"Non-branching process semantics"@en . "38bc7239bb13c890db4f8162527bfaaa" . "R\u00E9mi" . . "Petri nets"@en . "Universality problem"@en . . "Morin" . "Automata"@en . "Boundedness"@en . "Mazurkiewicz traces"@en . "Reachability"@en . "Concurrency theory"@en . "Covering"@en . "Formal languages"@en . "R\u00E9mi Morin" . "Vector addition systems with states"@en . .