PetriNets Bazar

 AM3 Logo

These models are presented by Guido Wachsmut in the paper "Metamodel Adaptation and Model Co-adaption". They are available in XMI 2.0 EMF format.

List of PetriNets models

  • PetriNets 1 - This Petri net is composed of several places and transitions. Each transition has at least one input place and one output place.

    Metamodel: PetriNet v0.1 (from the AtlantEcore Zoo)

  • PetriNets 2 - This Petri net is composed of several places and transitions (at least one place and one transition). Each transition has at least one input place and one output place. Arcs between places and transitions are explicit.

    Metamodel: PetriNet v3.0 (from the AtlantEcore Zoo)

  • PetriNets 3 - This Petri net is composed of several places and transitions (at least one place and one transition). Each transition has at least one input place and one output place. Arcs between places and transitions are explicit. Arcs are annotated with weight.

    Metamodel: PetriNet v4.0 (from the AtlantEcore Zoo)