Abstract
Place merging is an important technique of Petri nets to composite different components/subsystems into a large system. However, it is a difficult and complex task to guarantee that the composite large system can preserve desired properties. This paper avoids the verification process by a property-preservation place-merging approach. The strategy used in this paper is to require such a composition to preserve these desirable properties (including liveness and boundedness) of the components in the resulting system. Meanwhile, this paper also investigates one kind of decompositions in terms of places, some conditions are presented under which if the large system possesses some properties, then the resulting components also preserve the desirable properties without the need of further verification. An application example is given to illustrate our method and some main results. © World Scientific Publishing Company.
| Original language | English |
|---|---|
| Pages (from-to) | 793-812 |
| Journal | Journal of Circuits, Systems and Computers |
| Volume | 14 |
| Issue number | 4 |
| DOIs | |
| Publication status | Published - Aug 2005 |
Bibliographical note
Publication details (e.g. title, author(s), publication statuses and dates) are captured on an “AS IS” and “AS AVAILABLE” basis at the time of record harvesting from the data source. Suggestions for further amendments or supplementary information can be sent to [email protected].Funding
This work was financially supported by the National 973 Project of China (No. 2002CB312200) and the National Natural Science Foundation of China (Nos. 60473007 and 60421001). We thank anonymous referees for their valuable remarks and comments.
Research Keywords
- Composition
- Petri nets
- Place merging
- Property preservation
- Verification
Fingerprint
Dive into the research topics of 'Property-preserving composition by place merging'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver