Petri Nets and Semantics of System Descriptions

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    266 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 languageEnglish
    Title of host publicationApplication and Theory of Petri Nets : Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
    EditorsClaude Girault, Wolfgang Reisig
    Number of pages7
    PublisherSpringer
    Publication date1982
    Pages64 - 71
    ISBN (Print)3-540-11189-1
    Publication statusPublished - 1982
    EventApplication and Theory of Petri Nets - Stasbourg and Bad Honnef, France
    Duration: 23 Sept 198026 Sept 1980
    Conference number: 1st + 2nd(28.09.81-30.09.81)

    Conference

    ConferenceApplication and Theory of Petri Nets
    Number1st + 2nd(28.09.81-30.09.81)
    Country/TerritoryFrance
    CityStasbourg and Bad Honnef
    Period23/09/198026/09/1980
    SeriesInformatik-Fachberichte
    Volume52

    Fingerprint

    Dive into the research topics of 'Petri Nets and Semantics of System Descriptions'. Together they form a unique fingerprint.

    Cite this