Affiliation:
1. Faculty of Engineering, University of the Ryukyus
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
General Earth and Planetary Sciences,General Environmental Science
Reference14 articles.
1. (1) W. M. P. van der Aalst, “Petri net based scheduling,” Operations-Research-Spektrum, vol.18, no.4, pp.219-229, 1996.
2. (2) Mušič, Ga?ssper, “Schedule optimization based on coloured Petri nets and local search,” Proc. of the 7th Vienna International Conference on Mathematical Modelling, Mathematical Modelling , vol.7, Part 1, pp.352-357, 2002.
3. (3) M.A. Piera and G. Mušič, “Coloured Petri net scheduling models: Timed state space exploration shortages,” Math. Comput. Simul., vol.82, no.3, pp.428-441, 2011.
4. (4) T. Murata, “Petri nets: Properties, analysis and applications,” Proc., vol. 77, pp. 541-580, 1989.
5. (5) C. Bellettini and C. Lorenzo, “Reachability analysis of time basic Petri nets: A time coverage approach,” Proc. of 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp.110-117, 2011.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Developing a Scheduling Tool for Machining Centers Using Real-time Model Checking;Transactions of the Institute of Systems, Control and Information Engineers;2022-07-15