Petri net reactive modules

    Authors

    F. L. Tiplea;A. Tiplea

    Comments

    Authors: contact us about adding a copy of your work at STARS@ucf.edu

    Abbreviated Journal Title

    Theor. Comput. Sci.

    Keywords

    reactive system; Petri net; process semantics; replacement; structural; transformation; MODEL CHECKING; Computer Science, Theory & Methods

    Abstract

    In this paper we model (discrete) reactive systems that may interact with each other by Petri net reactive modules (modules, for short) which are classical Petri nets together with a distinguished subset of interface places. We consider then an asynchronous composition operation of modules and, closely related to it, a decomposition operation. We show that any process (concurrent execution) of a composition of two modules can be decomposed into processes of "shifted" components for which a p-composition function exists, and vice versa. Based on this result, a compositional semantics of modules is then defined. Applications of process decomposition to replacement techniques of Petri nets and in proving correctness of Petri net structural transformations, are further discussed. (C) 2006 Elsevier B.V. All rights reserved.

    Journal Title

    Theoretical Computer Science

    Volume

    359

    Issue/Number

    1-3

    Publication Date

    1-1-2006

    Document Type

    Article

    Language

    English

    First Page

    77

    Last Page

    100

    WOS Identifier

    WOS:000239885600007

    ISSN

    0304-3975

    Share

    COinS