Abstract: The paper firstly analyzes the basic structure of UML Sequence Diagram and gives the formal description of Object Petri Nets. For reuse, the formal description of reusable interaction is ...

In the real industrial scenario, the setup times and delivery times are two non-negligible factors, but only few studies have considered the open shop scheduling problem with sequence-dependent setup ...