Class SafePetriNet

This partial class allows to read safe petri nets in the previous formatting

Inheritance
object
Extendable
Identifiable
ASequence
ComplexSequence
SafePetriNet
Inherited Members
Namespace: Xareus.Scenarios
Assembly: Xareus.Scenarios.dll
Syntax
[TypeConverter(typeof(SafePetriNetConverter))]
[Serializable]
public class SafePetriNet : ComplexSequence

Constructors

SafePetriNet()

Constructor

Declaration
public SafePetriNet()

SafePetriNet(string, string)

Constructor

Declaration
public SafePetriNet(string id, string label = "")
Parameters
Type Name Description
string id

The Id must be unique
string label

The label (optional)

Properties

finalPlace

Declaration
public List<Reference> finalPlace { get; set; }
Property Value
Type Description
List<Reference>

initialPlace

Declaration
public List<InitialSequence> initialPlace { get; set; }
Property Value
Type Description
List<InitialSequence>

place

Declaration
public List<ASequence> place { get; set; }
Property Value
Type Description
List<ASequence>

Extension Methods