Author:
Bourdil Pierre-Alain,Berthomieu Bernard,Dal Zilio Silvano,Vernadat François
Reference35 articles.
1. Comparison of the expressiveness of timed automata and time Petri nets;Bérard,2005
2. Modeling and verification of time dependent systems using time Petri nets;Berthomieu;IEEE Trans. Softw. Eng.,1991
3. An enumerative approach for analyzing time Petri nets;Berthomieu,1983
4. Bridging the gap between timed automata and bounded time Petri nets;Berthomieu,2006
5. The tool TINA – construction of abstract state spaces for Petri nets and time Petri nets;Berthomieu;Int. J. Prod. Res.,2004
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献