Applications and Theory of Petri Nets 2004
25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Jordi Cortadella
Themen in »Applications and Theory of Petri Nets 2004«
Petri nets Workflow algorithms automata concurrency distributed computing flow charts formal methods logic model checking modeling petri net stochastic Petri nets timed Petri nets
Stimmen zu »Applications and Theory of Petri Nets 2004«
Details
ISBN: 9783540222361
Verlag: Springer Berlin
Erscheinung: 15.06.2004