Formal Models for Concurrent Systems

Curricula
FCS

Code: INF7OP291I | Semester: 7th | Credits: 6 | Type: optional

Lecturer: Toader Jucan

Teaching hours/week: Course lectures: 3, Seminars: 1

Evaluation: In progress: | Final exam: written test (E)

Objectives:

Acquisition of skills for modelling concurrent systems and investigations of the concurrent system properties.

Description:

Petri nets of Condition/Event type. Petri nets of Place/Transition type. Petri nets of type Predicate/Event. Relational Petri nets. Coloured Petri nets. Applications.

Pre-requested courses: -

Bibliography:

• K.Jensen - Coloured Petri Nets, Vol. 1, Springer-Verlag, 1992

• T. Jucan, F.L. Tiplea - Retele Petri, Universitatea "Al.I.Cuza", Iasi, 1995

• W. Reisig - Petri Nets. An Introduction, Springer-Verlag, 1985