Towards a hierarchy of nets (Q1058855): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0022-0000(84)90030-8 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2018604485 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Parallel program schemata / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:50, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Towards a hierarchy of nets |
scientific article |
Statements
Towards a hierarchy of nets (English)
0 references
1984
0 references
The paper considers the following classes of (extended) Petri nets: Petri nets P (place/transition nets without multiple arcs and without capacities), inhibitor nets I, labelled Petri nets LP (Petri nets with a homomorphism from transition sequences to label sequences), labelled inhibitor nets LI and log-nets L (Petri nets with two sorts of arcs enabling a transition iff all input places of the first sort carry a token and at least one input place of the second sort carrys a token). Let \(X\to Y\) abbreviate ''the class of X-languages is strictly included in the class of Y-languages''. By comparing the associated net languages simplified proofs for \(P\to I\to LI\), \(P\to LP\to LI\), \(P\to L\to LI\) and ''I incomparable to LP'' are given. ''I incomparable to L'' is a new result. Labelled log-nets are not considered and no comparison of L and LP is made.
0 references
Petri nets
0 references
inhibitor nets
0 references
log-nets
0 references
net languages
0 references