Course details

Theoretical Computer Science 2

TI2 Acad. year 2002/2003 Summer semester 6 credits

Current academic year

Guarantor

Češka Milan, prof. RNDr., CSc.

Language of instruction

Czech

Completion

Examination

Time span

Department

Faculty of Information Technology (FIT)

Study literature

  • Reisich W.: Petri nets, Springer Verlag 1985
  • Jensen K.: Coloured Petri nets, Springer Verlag 1993
  • Češka M.: Petriho sítě, Akad.nakl. CERM, Brno 1994

Fundamental literature

  • Reisich W.: Petri nets, Springer Verlag 1985
  • Jensen K.: Coloured Petri nets, Springer Verlag 1993
  • Češka M.: Petriho sítě, Akad.nakl. CERM,Brno 1994
Back to top