Welcome to our new site version. Your web page bookmarks may have changed, please search for pages by title to update them. Having problems ? Please try clearing your web browser cache and hard-reloading your web page first before contacting our webmaster.

A PETRI NET DEFINITION OF A SYSTEM DESCRIPTION LANGUAGE

[document] Submitted on 1 July, 2019 - 15:46
Keywords A PETRI NET DEFINITION SYSTEM DESCRIPTION LANGUAGE EPSILON concurrent engineering
Standards groups

Since Epsilon is intended for describing systems of interacting objects, such as men and machines, an Epsilon system consists of a nested structure of objects. An object is characterized by the action it executes and a selected set of attributes, which may have variables, procedures and objects.

State transformations can be described by means of algorithms or by means of equations. An algorithm is used in cases where it is adequate to describe the way in which a given state transformation is carried out. Equations are used, when it is adequate to describe state transformations is carried out.

Metadata
Document identifier
ISSN 0105-8517
Date published
1981-11
Document type
technical white paper
Pages
23
Replaced/Superseded by document(s)
Cancelled by
Amended by
File MIME type Size (KB) Language Download
6512-21904-1-SM.pdf application/pdf   758.8 KB English DOWNLOAD!
File attachments
Cover images
Abstract

This Paper introduces Language, Epsilon, for the description of systems with concurrency, and presents a formal definition of Epsilon's semantics. The language is based on Delta, the first major attempt to create a language solely aimed at system description without restrictions placed on languages executable on digital computers.

Introduction

The purpose of this paper is to introduce a system description language, Epsilon, based on the Delta language (Delta 75) and to present the formal definition of its semantics by means of a model based on Petri nets (Petri 73,75,76), (Peterson 77).

Author(s)
Kurt Jensen, Morten Kyng, Ole Lehrmann Madsen,
Defines standard
Visit also