A Formal Model Conversion Approach to Developing a DEVS-Based Factory Simulator.

Byoung Kyu Choi Bum-Chul Park Jeong-Hyeon Park

Published in: Simul. (2003)

Keyphrases

formal model
formal models
simulation model
discrete event
security patterns
genetic algorithm
learning algorithm
manufacturing systems
production line