Return to Article Details Constructing concurrent behaviours of composed net systems Download Download PDF