Modular process plants, built from Process Equipment Assembly (PEA), promise a higher flexibility compared to monolithic plants. Digital documentation is a key requirement for a seamless orchestration ...

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 studied. Then ...