Petri net splitting operation within embedded systems co-design

IEEE International Conference on Industrial Informatics (INDIN)

Volumn 1, Issue , 2007, Pages 503-508

  Costa, Anikó ^a,b   Gomes, Luís ^a,b  

^a IEEE

^b UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

Co design; Distributed execution; Embedded systems; Petri net; System partitioning

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; MATHEMATICAL MODELS;

CO-DESIGN; DISTRIBUTED EXECUTION; MODEL BASED DEVELOPMENT; SYSTEM PARTITIONING;

PETRI NETS;

EID: 39749130359     PISSN: 19354576     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2007.4384808     Document Type: Conference Paper

References (11)

1. G. D. Micheli, R. Ernst, and W. Wolf. Readings in Hardware/Software Co-design. Morgan Kaufmann Publishers, 2001.
2. L. Gomes and A. Costa "Petri nets as supporting formalism within Embedded Systems Co-design". SIES'2006 - 2006 IEEE International Symposium on Industrial Embedded Systems; 18-20 October 2006, Nice, France.
3. L. Gomes, J. Barros, and A. Costa. "Modeling Formalisms for Embedded Systems Design". In R. Zurawski, editor, Embedded Systems Handbook. CRC, 2005.
4. J. Barros and L. Gomes. "Net Model Composition and Modification by Net Operations: a Pragmatic Approach". In IEEE International Conference on Industrial Informatics (INDIN 2004), Jun 2004.
5. L. Gomes and J. Barros "Structuring and Composability Issues in Petri Nets Modeling". IEEE Transactions on Industrial Informatics; Vol.1 No. 2; May 2005; pp. 112-123.
6. Wolfgang Reisig, Elements of distributed Algorithms - Modeling and analysis with Petri Nets, Springer, 1998, ISBN:3540627529.
7. th International Conference (ICATPN1995), Turin, Italy, June 26-30, 1995, In Proceedings Series: Lecture Notes in Computer Science, Springer, June 1995, ISBN: 3-540-60029-9.
8. S. Christensen and N. D. Hansen. "Coloured Petri Nets Extended with Channels for Synchronous Communication". In Valette, R.: LNCS, Vol. 815; Application and Theory of Petri Nets 1994, pages 159-178. Springer-Verlag, 1994.
9. Murata, T. "Petri nets: properties, analysis and applications". Proceedings of IEEE, vol.77, no.4, pp.541-580 1989.
10. O. Kummer. Referenznetze. Logos Verlag, 1992.
11. L. Gomes, J. Barros, A. Costa, R. Pais, and F. Moutinho. "Towards Usage of Formal methods within Embedded Systems Co-design". In Proceedings of the 2005 IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2005). IEEE, September 2005.