related documents Modelling Concurrency with Quotient Monoids Conferences Synthesis of Nets with Step Firing Policies Conferences Synthesis of Nets with Step Firing Policies Conferences