Petri Nets and Other Models of Concurrency - ICATPN 2007
28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Jetty Kleijn
Themen in »Petri Nets and Other Models of Concurrency - ICATPN 2007«
Variable bounded Petri nets calculus colored Petri nets concurrent systems distributed systems dynamic Petri nets formal methods fuzzy Petri nets model checking modeling nets-within-nets petri net verification visualization
Stimmen zu »Petri Nets and Other Models of Concurrency - ICATPN 2007«
Details
ISBN: 9783540730941
Verlag: Springer Berlin
Erscheinung: 05.07.2007