Transition systems without transitions (Q557786): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 00:37, 5 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Transition systems without transitions |
scientific article |
Statements
Transition systems without transitions (English)
0 references
30 June 2005
0 references
The concept of Partial 2-Structures (P2Ss) as an abstract form of directed graph with labeled edges was introduced by A. Ehrenfeucht and G. Rozenberg. The problem of embedding P2Ss into set 2-structures is studied in the paper. An alternative (to Ehrenfeucht and Rozenberg's approach) representation of P2Ss that are complete graphs is proposed. The results are applicable to some types of Petri nets. Reviewer's remark: It is interesting whether temporal components can be added to the studied P2Ss.
0 references
2-Structure
0 references
Transition system
0 references
Elementary net
0 references
Concurrency theory
0 references
