Subject
General Computer Science,Theoretical Computer Science
Reference22 articles.
1. T. Aura, J. Lilius, Time processes for time Petri nets, Proc. 18th International Conf. on Applications and Theory of Petri Nets 1997, Lecture Notes in Computer Science, vol. 1248, Springer, Berlin, 1997, pp. 136–155.
2. Modelling and verification of time dependent systems using time Petri nets;Berthomieu;IEEE Trans. Software Eng.,1991
3. B. Berthomieu, M. Menasche, A state enumeration approach for analyzing time Petri nets, Proc. 3rd European Workshop on Applications and Theory of Petri Nets, September 1982, pp. 27–56.
4. E. Best, Structure theory of Petri nets: the free choice hiatus, Petri Nets: Central Models and Their Properties, Lecture Notes in Computer Science, vol. 254, Springer, Berlin, 1986, pp. 168–205.
5. Sequential and concurrent behavior in Petri net theory;Best;Theoret. Comput. Sci.,1987
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献