Prototyping Color Timed Petri Nets

摘要

Whenever we give model description for simulation purpose, we always face to a problem how to describe behaviors correctly in terms of objects. Clearly diagram approach would facilitate matters greatly if we describe them by diagrams. In this investigation we propose how to translate Petri Net models to Block models such as SLAM II. We examine our approach by means of experimental systems.