大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 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.