Title

Petri net reactive modules

Authors

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