A Petri net meta-model to develop software components for embedded systems

By Machado, R.J.; Fernandes, J.M.

Proceedings - International Conference on Application of Concurrency to System Design, ACSD



This paper presents a new Petri net (PN) meta-model, called shobi-PN v2.0, that can be used to specify the dynamic behaviour of concurrent systems, using object-oriented modelling concepts together with a generalised arc set capable of coping with the complexity of the current embedded systems. This new Petri net meta-model can also be used to support a component-based development approach in the design of generic and parametrisable control-oriented software components for embedded systems.


Google Scholar: