Petri net partitioning using net splitting operation

  title={Petri net partitioning using net splitting operation},
  author={Anik{\'o} Costa and Lu{\'i}s Gomes},
  journal={2009 7th IEEE International Conference on Industrial Informatics},
The goal of the work presented in this paper is to contribute for the usage of Petri nets as the system-level specification language within the framework of hardware-software co-design of embedded systems, supporting system model partitioning into components. The paper presents the set of rules of the Petri net splitting operation based on the definition of a valid cutting set and able to divide a Petri net model into several sub-models which communicate through synchronous channels. The… CONTINUE READING
Highly Cited
This paper has 31 citations. REVIEW CITATIONS
22 Citations
15 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 22 extracted citations


Publications referenced by this paper.
Showing 1-10 of 15 references

Las Redes de Petri: en la Automática y la Informática

  • M. Silva
  • Editorial AC, Madrid, 1985. 2009 7th IEEE…
  • 2009
1 Excerpt

Petri Nets Tools and Embedded Systems Design

  • L. Gomes, J. P. Barros, A. Costa
  • In Proceedings of the International Workshop on…
  • 2007
2 Excerpts

Structuring mechanisms in Petri net models: From specification to fpga based implementations

  • L. Gomes, J. Barros, A. Costa
  • Design of embedded control systems, pages pp. 153…
  • 2005
1 Excerpt


  • J. Billington, S. Christensen
  • van Hee, E. Kindler, O. Kummer, L. Petrucci, R…
  • 2003
1 Excerpt

Similar Papers

Loading similar papers…