No label defined (Q3976036)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 18633
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 18633 |
Statements
26 June 1992
0 references
partial order semantics
0 references
place/transition nets
0 references
0.8166572451591492
0 references
0.808104932308197
0 references
0.7995468974113464
0 references
0.7934888601303101
0 references
[For the entire collection see Zbl 0731.00026.] Various properties of partial order semantics for place/transition nets as: unifomity, consistency, prefix-closeness, compositionality and completion-invariant are defined and analyzed. A semantics which has all the above properties is called well-behaved. An example of a well-behaved semantics, called flow, is given.
0 references
