Extending a net splitting operation for decomposition of high-level Petri nets

This paper presents an extension to a net splitting operation for decomposition of high-level Petri nets, to support distributed implementations of embedded systems. The net splitting operation, selected from the survey of methods summarized in this paper, was originally proposed for low-level Petri nets. The advantages of the selected method are its higher flexibility on the cutting set definition, and the generation of sub-models in interaction with adequate support to implement its communication channels. High-level Petri net classes are extended to support the application of the new net operation, and additional tasks to be performed are identified. Finally, an example is used to illustrate the application of the net operation to a high-level Petri net model.