Transition systems without transitions (Q557786): Difference between revisions
From MaRDI portal
Created a new Item |
Normalize DOI. |
||
| (8 intermediate revisions by 8 users not shown) | |||
| Property / DOI | |||
| Property / DOI: 10.1016/j.tcs.2004.09.026 / rank | |||
| Property / review text | |||
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. | |||
| Property / review text: 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. / rank | |||
Normal rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Krassimir T. Atanassov / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q85 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q55 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 2184033 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
2-Structure | |||
| Property / zbMATH Keywords: 2-Structure / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Transition system | |||
| Property / zbMATH Keywords: Transition system / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Elementary net | |||
| Property / zbMATH Keywords: Elementary net / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Concurrency theory | |||
| Property / zbMATH Keywords: Concurrency theory / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: Publication / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/j.tcs.2004.09.026 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2034810414 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: An algebraic model of observable properties in distributed systems / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Partial (set) 2-structures. I: Basic notions and the representation problems / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Partial (set) 2-structures. II: State spaces of concurrent systems / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Elementary transition systems / rank | |||
Normal rank | |||
| Property / DOI | |||
| Property / DOI: 10.1016/J.TCS.2004.09.026 / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 22:27, 9 December 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
