COURSE UNIT TITLE

Offered By

Industrial Engineering

Level of Course Unit

First Cycle Programmes (Bachelor's Degree)

Course Coordinator

ASSOCIATE PROFESSOR GONCA TUNÇEL MEMIŞ

Offered to

Industrial Engineering

Course Objective

As the complexity of the systems grows, and the requirements for their correct behavior are strengthened, new theories have been developed to facilitate the generation of control structures for discrete event systems. Solving these problems is of critical importance to decrease the cost of automated manufacturing systems and to increase the system productivity. This course aims to give the student basic knowledge about important results from current research on discrete event systems and how these results can be applied to the problems in industrial systems.

This course covers elements of discrete mathematics and then focuses on Petri Net models and their basic properties: locality and concurrency. Condition/event systems; Place/transition nets; Colored Petri nets; Reachability graphs (Occurrence nets); and Invariant Analysis; Behavioral and Structural Properties. Temporal issues in Petri nets and Temporal Logic. Stochastic Petri nets. Relation to other discrete event models of dynamical systems. Applications of the theory to modeling, design and verification, and to systems engineering problems.

Learning Outcomes of the Course Unit

Mode of Delivery

Face -to- Face

Prerequisites and Co-requisites

None

Recomended Optional Programme Components

None

Course Contents

Recomended or Required Reading

B. Hrúz and M.C. Zhou (2007), Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tool , Springer-Verlag, London.
Proth, J.M. and Xie, X. (1996), Petri nets: A tool for design and management of manufacturing systems . Chichester, UK: John Wiley & Sons Inc.
Jerry Banks, John Carson, Barry L. Nelson, and David Nicol (1994). Discrete-Event System Simulation , Fourth Edition by, Prentice Hall International Edition.
Zhou, M.C. and DiCesare, F. (1993), Petri Net Synthesis for Discrete Event Control of Manufacturing Systems , Norwell, Massachusetts: Kluwer Academic Publishers (1993).
Desrochers, A.A. and Al-Jaar, R.Y. (1995). Applications of Petri nets in Manufacturing Systems. New York, NY: Institute of Electrical and Electronics Engineers Press.
DiCesare, F., Harhalakis, G., Proth, J.M., Silva, M., and Vernadat, F.B. (1993). Practice of Petri Nets in Manufacturing. London: Chapman & Hall.

Planned Learning Activities and Teaching Methods

Lectures, problem classes, worksheets, course notes, textbooks, web support.

Assessment Methods

Further Notes About Assessment Methods

None

Assessment Criteria

MIDTERM(%35)+ASSIGNMENT(%15)+FINAL EXAM(%50)

Language of Instruction

English

Course Policies and Rules

To be announced.

Contact Details for the Lecturer(s)

E-mail: gonca.tuncel@deu.edu.tr; Telf: 02323017617

Office Hours

09:00 - 17:00

Work Placement(s)

None

Workload Calculation

Contribution of Learning Outcomes to Programme Outcomes