Publisher
Springer Science and Business Media LLC
Subject
Industrial and Manufacturing Engineering,Computer Science Applications,Mechanical Engineering,Software,Control and Systems Engineering
Reference29 articles.
1. Aygalinc P, Calvez S, Bonhomme P (2003) Using firing instants approach and partial order to control time critical systems. In: Proceedings of the 9th IEEE ETFA’03, vol 1, pp 82–89
2. Balduzzi F, Di Febbraro A, Giua A, Sacone S (1999) Control of hybrid Petri nets using max-plus algebra. In: Proc. 3rd world CSCC multiconference
3. Bernardi S, Campos J (2009) Computation of performance bounds for real-time systems using time Petri nets. IEEE Trans Indust Inform 5(2):168–180
4. Berthomieu B, Diaz M (1991) Modeling and verification of time dependent systems using time Petri nets. IEEE Trans Softw Eng 17(3):259–273
5. Berthomieu B, Menasche M (1983) An enumerative approach for analyzing time Petri nets. IFIP Congr Ser 9:41–46
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献