A general way to put time in Petri nets
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Analyzing refinements of state based specifications: the case of TB nets
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Sooner is safer than later.
Modeling and analysis of a virtual reality system with time Petri nets
Proceedings of the 20th international conference on Software engineering
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset
Automated Software Engineering
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 15 - Volume 16
| Hi-index | 0.00 |
Real-time systems are becoming increasingly important in the everyday life. The use of such systems for critical applications requires tools and techniques for increasing correctness and reliability of the final product. In this paper, we describe a toolset (Merlot) for analyzing real-time system specifications. Merlot allows the automatic verification of temporal properties for a large set of specifications and requires the interaction with the user only when the complexity of the specification overcomes a reasonable automatable level. Merlot has been built with the aim of verifying both the feasibility of the approach and the applicability of the analysis techniques to real problems, that is to identify classes of problems that can be analyzed with little or no interaction with the user in a reasonable amount of time.