Reference Hub1
Teaching Principles of Petri Nets in Hardware Courses and Students Projects

Teaching Principles of Petri Nets in Hardware Courses and Students Projects

Hana Kubátová
ISBN13: 9781605667744|ISBN10: 1605667749|EISBN13: 9781605667751
DOI: 10.4018/978-1-60566-774-4.ch008
Cite Chapter Cite Chapter

MLA

Kubátová, Hana. "Teaching Principles of Petri Nets in Hardware Courses and Students Projects." Handbook of Research on Discrete Event Simulation Environments: Technologies and Applications, edited by Evon M. O. Abu-Taieh and Asim A. El-Sheikh, IGI Global, 2010, pp. 178-190. https://doi.org/10.4018/978-1-60566-774-4.ch008

APA

Kubátová, H. (2010). Teaching Principles of Petri Nets in Hardware Courses and Students Projects. In E. Abu-Taieh & A. El-Sheikh (Eds.), Handbook of Research on Discrete Event Simulation Environments: Technologies and Applications (pp. 178-190). IGI Global. https://doi.org/10.4018/978-1-60566-774-4.ch008

Chicago

Kubátová, Hana. "Teaching Principles of Petri Nets in Hardware Courses and Students Projects." In Handbook of Research on Discrete Event Simulation Environments: Technologies and Applications, edited by Evon M. O. Abu-Taieh and Asim A. El-Sheikh, 178-190. Hershey, PA: IGI Global, 2010. https://doi.org/10.4018/978-1-60566-774-4.ch008

Export Reference

Mendeley
Favorite

Abstract

The paper presents the principles of using Petri Net formalism in hardware design courses, especially in the course “Architecture of peripheral devices”. Several models and results obtained by student individual or group projects are mentioned. First the using of formalism as a modeling tool is presented consecutively from Place/Transition nets to Coloured Petri nets. Then the possible Petri Nets using as a hardware specification for direct hardware implementation (synthesized VHDL for FPGA) is described. Implementation and simulation results of three directly implemented models are presented.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.