Generalized Petri net reduction method
IEEE Transactions on Systems, Man and Cybernetics - Special issue on artificial intelligence
Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
Concurrent system analysis using Petri nets: an optimized algorithm for finding net invariants
Computer Communications
A reduction theory for coloured nets
Advances in Petri nets 1989
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Using partial orders for the efficient verification of deadlock freedom and safety properties
Formal Methods in System Design - Special issue on computer-aided verification: special methods II
Theoretical Computer Science
IEEE Transactions on Software Engineering
Distributed real-time systems: monitoring, visualization, debugging, and analysis
Distributed real-time systems: monitoring, visualization, debugging, and analysis
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis
IEEE Transactions on Parallel and Distributed Systems
Compositional verification of concurrent systems using Petri-net-based condensation rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
An empirical evaluation of deadlock detection in software architecture specifications
Annals of Software Engineering
Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis
IEEE Transactions on Software Engineering
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
IEEE Transactions on Software Engineering
Time-Constrained Automata (Extended Abstract)
CONCUR '91 Proceedings of the 2nd International Conference on Concurrency Theory
Some equivalence notions for concurrent systems. An overview
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
Checking properties of nets using transformation
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
Modeling logical and temporal synchronization in hypermedia systems
IEEE Journal on Selected Areas in Communications
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems
IEEE Transactions on Knowledge and Data Engineering
Modeling And Analysis Of Distributed Multimedia Synchronization By Extended Fuzzy-Timing Petri Nets
Journal of Integrated Design & Process Science
A novel reduction approach for Petri net systems based on matching theory
Expert Systems with Applications: An International Journal
Reusable abstractions for modeling languages
Information Systems
Hi-index | 0.01 |
This paper presents a new net-reduction methodology to facilitate the analysis of real-time systems using Delay Time Petri Nets (DTPNs). Net reduction is one of the most important techniques for reducing the state-explosion problem of Petri nets. However, the application of net reduction to current timed-extensions of Petri nets (such as Merlin's Time PNs) is very limited due to the difficulty faced in the preservation of timing constraints. To overcome this problem, this paper introduces DTPNs which are inspired by Merlin's Time PNs, Sénac's Hierarchical Time Stream PNs, and Little's Timed PNs. We show that DTPNs are much more suitable for net reduction. Then, this paper presents a new set of DTPN reduction rules for the analysis of schedule and deadlock analysis. Our work is distinct from the others since our goal is to analyze real-time systems and the reduction methods we propose preserve both timing properties (schedule) and deadlock. To evaluate our framework, we have implemented an automated analysis tool whose main functions include net reduction and class-graph generation. The experimental results show that our net-reduction methodology leads to a significant contribution to the efficient analysis of real-time systems.