Abstract
High level programs for generating systems of cooperating concurrent processes are classified according to syntactic criteria. Their semantic characterization by means of Petri Nets, a mathematical theory of system descriptions, induces a corresponding syntactic classification on the latter. This permits the transferal of intuitively important semantical results of Petri Net theory to their corresponding programs. As a consequence it becomes possible to determine a certain kind of semantic correctness of a programm merely by its syntactic classification. Alternate solutions to a well known synchronization problem are treated in this way.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 297-332 |
| Number of pages | 36 |
| Journal | Acta Informatica |
| Volume | 5 |
| Issue number | 4 |
| DOIs | |
| State | Published - Dec 1975 |
| Externally published | Yes |
ASJC Scopus subject areas
- Software
- Information Systems
- Computer Networks and Communications