Abstract

<p>Delta is a language designed for general system description. It is partly built upon Simula, but is more than a programming language, since it contains several features, which cannot be implemented on a computer system. E.g. a continuous time concept, concurrency between an unbounded number of components and the possibility of using predicates to specify state changes.</p><p>In this paper a formal semantics for Delta is defined and analysed using Petri nets. Petri nets were chosen because the ideas behind Petri nets and Delta coincide on several points.</p><p>A number of proposals for changes in Delta, which resulted from this work, are also reported here, whereas a number of extensions to the Petri net formalism may be found in [Jensen 78] (DAIMI TR-5).</p><p>Revised version. 137 pp</p><p>DELTA Project Report No, 12</p>

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.