An extended petri net EPRES for embedded system modeling

Proceedings of The 5th IEEE International Symposium on Embedded Computing, SEC 2008

Volumn , Issue , 2008, Pages 9-13

  Sen, Liu ^a   Chundi, Mu ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; GRAPHIC METHODS; INTEGRATED CIRCUITS; PETRI NETS; SEMICONDUCTOR DEVICE MODELS;

BEHAVIORAL RULES; CONTROL PLACES; DATA PLACES; EMBEDDED SYSTEM DESIGNS; EXTENDED PETRI NETS; FORMAL MODELS; GRAPHICAL REPRESENTATIONS; PETRI NET MODELS; RESOURCE CONSUMPTIONS; SIMULATION ANALYSIS; TIME CONSTRAINTS; TRANSITION FUNCTIONS; TRANSITION TIMES; TWO TYPES;

EMBEDDED SYSTEMS;

EID: 58149088286     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEC.2008.42     Document Type: Conference Paper

References (8)

1. T. Murata, Petri net: properties, "analysis and applications", Proceeding of the IEEE, 1989, 77(4), pp. 541-580.
2. L.P.M Benders, M.P.J Stevens, "Petri net modeling in embedded system design", CompEuro '92. Computer Systems and software Engineering Proceedings, Hague, Netherlands, 1992, pp. 612-617.
3. P. Maciel, E. Barros, W. Rosenstiel, "A Petri net model for hardware/software codesign", Design Automation for Embedded Systems, 1999, 4(10), pp. 243-310.
4. Z. Peng, K. Kuchcinski, "Automated transformation of algorithms into register-transfer level implementations", IEEE Transactions on Computer-Aided Design of integrated Circuits and Systems, 1994, 13(1), pp. 150-166.
5. L.A. Cortés, Eles P, Peng Z, "A Petri net Based Model for Heterogenous Embedded Systems", IEEE NORCHIP Conference, Oslo, Norway, 1999, pp. 248-255.
6. L.A. Cortés, P. Eles, Z. Peng, "Modeling and formal verification of embedded systems on a Petri net representation", Journal of Systems Architecture, 2003, 49, pp. 571-589.
7. M. Varea, B. AI-Hashimi, "Dual Transitions Petri Net Based Modeling Technique for Embedded Systems Specification", Proceedings of Design, Automation and Test in Europe, Munich, Germany, 2001, pp. 566-571.
8. Y.G. Luo, J.Z. Gu, "A New Kind of Petri Net: Double Transition Timed Petri Net", Computer Engineering, 2002, 28(8), pp. 45-47. (in Chinese)