Proposing a Scenario-based Hierarchical Model using Colored Petri Nets

This research uses colored Petri nets to design complex systems that are based on scenarios and uses UML sequence diagrams to present scenarios. Current research works in this field are the result of combining scenarios based on approaches and algorithms. Combining these approaches and algorithms leads to Petri net models that are basically suitable for scenario verification. In this paper, we present a top-down approach to create hierarchical colored Petri nets according to specific scenarios. This approach to relate the scenarios together, labels the state components in the sequence diagrams. Inspired by this approach, we present an operational example of designing a satellite train control system. In order to prevent trains from colliding with each other, we included the problem of time delays in the model by defining a complex data type.

کلیدواژه ها:

System Design ، Scenario ، Modeling ، Train Control System ، Colored Petri Nets.