Epsilon. A System Description Language

Kurt Jensen; Morten Kyng

Epsilon. A System Description Language

Research output: Working paper/Preprint › Working paper › Research

198 Downloads (Pure)

Abstract

This paper discusses the use of Petri nets as a semantic tool in the design of languages and in the construction and analysis of system descriptions. The topics treated are:

-- Languages based on nets.

-- The problem of time in nets.

-- Nets and related models.

-- Nets and formal semantics.

-- Parallel program verification and nets.

Original language	English
Publisher	Department of Computer Science, Aarhus University
Number of pages	28
Publication status	Published - 1980

Access to Document

Full textFinal published version, 4.79 MB

Cite this

@techreport{5de2ccb067f411df8c1a000ea68e967b,

title = "Epsilon. A System Description Language",

abstract = "This paper discusses the use of Petri nets as a semantic tool in the design of languages and in the construction and analysis of system descriptions. The topics treated are:-- Languages based on nets.-- The problem of time in nets.-- Nets and related models.-- Nets and formal semantics.-- Parallel program verification and nets. ",

author = "Kurt Jensen and Morten Kyng",

year = "1980",

language = "English",

publisher = "Department of Computer Science, Aarhus University",

type = "WorkingPaper",

institution = "Department of Computer Science, Aarhus University",

}

TY - UNPB

T1 - Epsilon. A System Description Language

AU - Jensen, Kurt

AU - Kyng, Morten

PY - 1980

Y1 - 1980

N2 - This paper discusses the use of Petri nets as a semantic tool in the design of languages and in the construction and analysis of system descriptions. The topics treated are:-- Languages based on nets.-- The problem of time in nets.-- Nets and related models.-- Nets and formal semantics.-- Parallel program verification and nets.

AB - This paper discusses the use of Petri nets as a semantic tool in the design of languages and in the construction and analysis of system descriptions. The topics treated are:-- Languages based on nets.-- The problem of time in nets.-- Nets and related models.-- Nets and formal semantics.-- Parallel program verification and nets.

M3 - Working paper

BT - Epsilon. A System Description Language

PB - Department of Computer Science, Aarhus University

ER -

Epsilon. A System Description Language

Abstract

Access to Document

Fingerprint

Cite this