Author:
Lime Didier,Roux Olivier H.
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Modeling and Simulation,Control and Systems Engineering
Reference33 articles.
1. Abdulla PA, Nylén A (2001). Timed petri nets and bqos. In 22nd International Conference on Application and Theory of Petri Nets (ICATPN'01), Newcastle upon Tyne, United Kingdom, Vol. 2075 of Lecture Notes in Computer Science. Springer, Berlin Heidelberg New York, pp 53–72.
2. Alur R, Courcoubetis C, Dill DL (1993). Model-checking in dense real-time, Information and Computation, 104(1): 2–34.
3. Arnold A (1994). Finite Transition System. Prentice Hall.
4. Berthomieu B (2001). La méthode des classes d'états pour l'analyse des réseaux temporels. In 3e congrès Modélisation des Systèmes Réactifs (MSR'2001) Hermes France: Toulouse, pp. 275–290.
5. Berthomieu B, Diaz M (1991). Modeling and verification of time dependent systems using time petri nets, IEEE Transactions on Software Engineering, 17(3): 259–273.
Cited by
53 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献