Compositional time Petri nets and reduction rules
- 1 January 2000
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)
- Vol. 30 (4), 562-572
- https://doi.org/10.1109/3477.865173
Abstract
This paper introduces compositional time Petri net (CTPN) models. A CTPN is a modularized time Petri net (TPN), which is composed of components and connectors. The paper also proposes a set of component-level reduction rules for TPNs. Each of these reduction rules transforms a TPN component to a very simple one while maintaining the net's external observable timing properties. Consequently, the proposed method works at a coarse level rather than at an individual transition level. Therefore, one requires significantly fewer applications to reduce the size of the TPN under analysis than those existing ones for TPNs. The use and benefits of CTPNs and reduction rules are illustrated by modeling and analyzing the response time of a command and control system to its external arriving messages.Keywords
This publication has 18 references indexed in Scilit:
- Reachability analysis of real-time systems using time Petri netsIEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics), 2000
- Introducing software architecture specification and analysis in SAM through an exampleInformation and Software Technology, 1999
- Incremental modeling and verification of flexible manufacturing systemsJournal of Intelligent Manufacturing, 1999
- Petri net modelling of buffers in automated manufacturing systemsIEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics), 1996
- Timing constraint Petri nets and their application to schedulability analysis of real-time system specificationsIEEE Transactions on Software Engineering, 1995
- Petri Nets in Flexible and Agile AutomationPublished by Springer Science and Business Media LLC ,1995
- Petri Net Synthesis for Discrete Event Control of Manufacturing SystemsPublished by Springer Science and Business Media LLC ,1993
- Stochastic Petri nets: Properties, applications and toolsMicroelectronics Reliability, 1991
- Timed Petri nets definitions, properties, and applicationsMicroelectronics Reliability, 1991
- Analysis of petri nets by stepwise refinementsJournal of Computer and System Sciences, 1979