Acceleration of timing verification method based on time petri nets
- 1 January 1991
- journal article
- research article
- Published by Wiley in Systems and Computers in Japan
- Vol. 22 (12), 37-52
- https://doi.org/10.1002/scj.4690221204
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Automated verification of timed transition modelsLecture Notes in Computer Science, 1990
- A Graph-Theoretic Approach for Timing Analysis and its ImplementationIEEE Transactions on Computers, 1987
- A polynomial time algorithm for solving systems of linear inequalities with two variables per inequalityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979