搜索包含 Kristensen 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Kristensen 的图书(共3本)

	Transactions on Petri Nets and Other Models of Concurrency VI [electronic resource] 0 索取号：作者：Jensen、 Kurt.、Aalst、 Wil M.、Ajmone Marsan、 Marco.、Franceschinis、 Giuliana.、Kleijn、 Jetty.、Kristensen、 Lars Michael.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Applications and Theory of Petri Nets [electronic resource] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings 0 索取号：作者：Kristensen、 Lars M.、Petrucci、 Laure.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Coloured Petri Nets [electronic resource] : Modelling and Validation of Concurrent Systems 0 索取号：作者：Jensen、 Kurt.、Kristensen、 Lars M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.