Modeling of, and reasoning with recurrent events with imprecise durations
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
A Petri Net Model for Session Services
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Formal Analysis of Real-Time Systems with SAM
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Safety Verification of Software Using Structured Petri Nets
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Formal Analysis of an Online Stock Trading System by Temporal Petri Nets
ICCNMC '01 Proceedings of the 2001 International Conference on Computer Networks and Mobile Computing (ICCNMC'01)
Using forward reachability analysis for verification of timed petri nets
Nordic Journal of Computing
On-the-fly TCTL model checking for time Petri nets
Theoretical Computer Science
Integration techniques in intelligent operational management: a review
Knowledge-Based Systems
Zenoness detection and timed model checking for real time systems
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
Research: Object model for hypermedia applications
Computer Communications
A brief survey and synthesis of the roles of time in petri nets
Mathematical and Computer Modelling: An International Journal
Minimal-Maximal Time Cause-Effect Structures
Fundamenta Informaticae
Hi-index | 0.00 |
A methodology for the statement of timing requirements is presented for a class of embedded computer systems. The notion of a "time-driven" system is introduced which is formalized using a Petri net model augmented with timing information. Several subclasses of time-driven systems are defined with increasing levels of complexity. By deriving the conditions under which the Petri net model can be proven to be safe in the presence of time, timing requirements for modules in the system can be obtained. Analytical techniques are developed for proving safeness in the presence of time for the net constructions used in the defined subclasses of time-driven systems.