Petri Netz

26 books
Theoretische InformatikLutz Priese
⏱ 6h 16m

Theoretische Informatik

Lutz Priese

2002376 pp.
Petri-NetzeLutz Priese

Petri-Netze

Lutz Priese

2008No page data
Finite representations of CCS and TCSP programs by automata and Petri netsDirk Taubner
⏱ 2h 48m

Finite representations of CCS and TCSP programs by automata and Petri nets

Dirk Taubner

1989168 pp.
Concurrency and hardware designGrzegorz Rozenberg
⏱ 5h 43m

Concurrency and hardware design

Grzegorz Rozenberg

2002343 pp.
The modeling world of reliability / safety engineeringM. Walter
⏱ 2h 8m

The modeling world of reliability / safety engineering

M. Walter

2005128 pp.
Formal Modeling and Analysis of Timed SystemsJoël Ouaknine

Formal Modeling and Analysis of Timed Systems

Joël Ouaknine

2009No page data
← PreviousPage 2 of 2