Funder
National Natural Science Foundation of China
Subject
Artificial Intelligence,Information Systems and Management,Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering,Software
Reference34 articles.
1. Optimal robotic cell scheduling with controllers using mathematically based timed Petri nets;Al-Ahmari;Inf. Sci.,2016
2. (Stochastic) model checking in GreatSPN;Amparore,2014
3. Sequential and distributed model checking of Petri nets;Bell;Int. J. Softw. Tools Technol. Transf.,2005
4. The tool TINA - construction of abstract state spaces for Petri nets and time Petri nets;Berthomieu;Int. J. Prod. Res.,2004
5. Interval abstraction refinement for model checking of timed-arc Petri nets;Birch,2014
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献