Petri Net oriented modelling and synthesis for Embedded Systems Export

@misc{citeulike:5454254, abstract = {this report. A brief comparison with some recently introduced Petri Net oriented techniques is done, in order to show that the technique is at least as e\#cient as state of the art. Finally, a number of areas for future work are identified. 2 Chapter 1 Introduction Traditional methodologies that have been applied to embedded systems were built in a separately development of each part, hardware and software, and a final integration based on ad hoc methods. This increases mainly two financial parameters of the final product, time-to-market and cost. Using hardware/software co-design the designer exploits the flexible boundary that exist between hardware and software in a electronic system design (ESD), through a concurrent design of both parts. Currently most behavioural system specifications are derived from the corresponding algorithmic descriptions of the system func}, author = {Varea, Mauricio}, citeulike-article-id = {5454254}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.8238}, keywords = {petri}, posted-at = {2009-08-17 21:31:48}, priority = {2}, title = {Petri Net oriented modelling and synthesis for Embedded Systems}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.8238}, year = {2000} }

TY - ELEC ID - citeulike:5454254 L3 - citeulike-article-id:5454254 N2 - this report. A brief comparison with some recently introduced Petri Net oriented techniques is done, in order to show that the technique is at least as e#cient as state of the art. Finally, a number of areas for future work are identified. 2 Chapter 1 Introduction Traditional methodologies that have been applied to embedded systems were built in a separately development of each part, hardware and software, and a final integration based on ad hoc methods. This increases mainly two financial parameters of the final product, time-to-market and cost. Using hardware/software co-design the designer exploits the flexible boundary that exist between hardware and software in a electronic system design (ESD), through a concurrent design of both parts. Currently most behavioural system specifications are derived from the corresponding algorithmic descriptions of the system func TI - Petri Net oriented modelling and synthesis for Embedded Systems KW - petri AU - Varea, Mauricio PY - 2000/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.8238 ER -