System development using Petri net based modules

Model Based Development within the area of embedded systems hardware-software co-design has been demonstrated to be effective to handle system complexity. Several modeling formalisms are widely used within this area. The work presented in this paper aims to contribute for the usage of Petri nets as the system-level specification language within model-based development of embedded systems using co-design techniques. System model partitioning into modules and components ready to be implemented in hardware or software and be deployed into a distributed platform is a major concern within co-design methodologies. Having Petri net as underlying modeling formalisms the net splitting operation can be used in order to decompose the model into several sub-models. The resulted sub-models can be seen as components and executed in parallel communicating using directed synchronous communication channels. In this paper it is presented how to modify the splitted model in order to be considered as composable modules, supporting module reutilization, which is a key impact factor within engineering activities. The proposed techniques rely on keeping the module interface unchanged in order to support the integration of the module in new situations.