Author:
Cerone Antonio,Maggiolo-Schettini Andrea
Subject
General Computer Science,Theoretical Computer Science
Reference28 articles.
1. Modeling and verification of time dependent systems using time Petri nets;Berthomieu;IEEE. Trans. Software Eng.,1991
2. The weakness of some timed models for concurrent systems;Bolognesi,1989
3. Compositional validation of time-critical systems using communicating time Petri nets;Bucci;IEEE. Trans. Software Eng.,1995
4. Ordered firings in Petri nets;Burkhard;Elektronische Informationsverarbeitung Kybernetik,1981
5. A net-based approach for specifying real-time systems;Cerone,1993
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献