public Marking Clone()
{
var m = new Marking(happened, included, pending);
/* Values are treated like immutable values: Their internals never
* change after construction.
*/
m.value = this.value;
return(m);
}
public Event(Marking m)
{
this.marking = m;
this.subProcess = new Process(this);
}
public Event()
{
this.marking = new Marking();
this.subProcess = new Process(this);
}
public OutputEvent(String name, Marking m) : base(m)
{
this.name = name;
this.expression = new Unit();
}
public InputEvent(String name, Marking m) : base(m)
{
this.name = name;
}
public InputEvent(String name, DataExpression type, Marking m) : base(m)
{
this.name = name;
this.type = type;
}
