Where to find documentation about PNML Framework?
If you are looking for user or developer documentation everything is located on our wiki, starting from the following page.
If you are specifically looking for the API docs, they are just here.
The standard Petri Nets types
PNML Framework exports many interfaces, corresponding to
the implemented Petri Nets types of the standard. So far, the Standard has defined
four types of nets, based on a common graph, the Core Model.
The Core Model
It is the common graph, on top of which all types are built.
It states that a Petri Nets Document is composed of Petri
Nets models. Every Petri Net contains Pages which, in turn,
contain Places, Transitions, Arcs, their labels and graphical appearance.
At this point, what kinds of label we have is not relevant.
They are abstract.
From every Petri nets type, you should be able to extract the underlying Core model.
Place/Transition Nets
It models the classical P/T nets which define annotations such as markings and arc inscriptions.
Those are natural numbers.
Symmetric Nets
Symmetric Nets (aka Well-Formed Nets) are a restricted definition of High-level nets.
Their carrier sets are finite, and they only allow for a predefined sets of operations.
Their annotations follow a strict abstract syntax definition. Simple text in exclusion
of the abstract syntax representation of any annotation is not allowed.
High-Level Nets
They allow for infinite carrier sets such as integers. They allow for any arbitrary
user-defined operation or sort. Their annotations can only be simple text,
though the abstract syntax representation is also allowed.
Place/Transition in High-Level Nets notation
Those are P/T nets whose annotations are in dots instead of natural numbers.
In which case they are also entitled to use multisets and booleans.
Therefore these annotations can also follow the abstract syntax representation defined
for any high-level net annotation.
|
