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

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

	Transactions on Petri Nets and Other Models of Concurrency II [electronic resource] : Special Issue on Concurrency in Process-Aware Information Systems 0 索取号：作者：Jensen、 Kurt.、Aalst、 Wil M. P.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		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.
	Towards a Service-Based Internet [electronic resource] : First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings 0 索取号：作者：M盲h枚nen、 Petri.、Pohl、 Klaus.、Priol、 Thierry.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Transactions on Petri Nets and Other Models of Concurrency I [electronic resource] 0 索取号：作者：Jensen、 Kurt.、Aalst、 Wil M. P.、Billington、 Jonathan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Petri Nets and Other Models of Concurrency-ICATPN 2007 [electronic resource] : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings 0 索取号：作者：Kleijn、 Jetty.、Yakovlev、 Alex.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Dynamic Analysis of Petri Net-Based Discrete Systems [electronic resource] 0 索取号：作者：Karatkevich、 Andrei.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	4th International Workshop on Wearable and Implantable Body Sensor Networks (BSN 2007) [electronic resource] : March 26 鈥ಸ, 2007 RWTH Aachen University, Germany 0 索取号：作者：Leonhardt、 Steffen.、Falck、 Thomas.、M盲h枚nen、 Petri.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Applications and Theory of Petri Nets [electronic resource] : 29th International Conference, PETRI NETS 2008, Xi鈥檃n, China, June 23-27, 2008. Proceedings 0 索取号：作者：Hee、 Kees M.、Valk、 R眉diger.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Petri Nets and Other Models of Concurrency - ICATPN 2006 [electronic resource] : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings 0 索取号：作者：Donatelli、 Susanna.、Thiagarajan、 P. S.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Advances in Verification of Time Petri Nets and Timed Automata [electronic resource] : A Temporal Logic Approach 0 索取号：作者：Penczek、 Wojciech.、P贸lrola、 Agata.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Applications and Theory of Petri Nets 2005 [electronic resource] : 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings 0 索取号：作者：Ciardo、 Gianfranco.、Darondeau、 Philippe.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Discrete, Continuous, and Hybrid Petri Nets [electronic resource] 0 索取号：作者：David、 Ren茅.、Alla、 Hassane.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Comparative Corporate Governance [electronic resource] : Shareholders as a Rule-maker 0 索取号：作者：M盲ntysaari、 Petri.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Modeling in Systems Biology [electronic resource] : The Petri Net Approach 0 索取号：作者：Koch、 Ina.、Reisig、 Wolfgang.、Schreiber、 Falk.、SpringerLink (Online service)、出版社：London : Springer London, 2011.
	Deadlock Resolution in Automated Manufacturing Systems [electronic resource] : A Novel Petri Net Approach 0 索取号：作者：Li、 ZhiWu.、Zhou、 MengChu.、SpringerLink (Online service)、出版社：London : Springer London, 2009.		Modeling and Control of Discrete-event Dynamic Systems [electronic resource] : with Petri Nets and Other Tools 0 索取号：作者：Hr煤z、 Branislav.、Zhou、 MengChu.、SpringerLink (Online service)、出版社：London : Springer London, 2007.

	Transactions on Petri Nets and Other Models of Concurrency II [electronic resource] : Special Issue on Concurrency in Process-Aware Information Systems 0 索取号：作者：Jensen、 Kurt.、Aalst、 Wil M. P.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		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.
	Towards a Service-Based Internet [electronic resource] : First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings 0 索取号：作者：M盲h枚nen、 Petri.、Pohl、 Klaus.、Priol、 Thierry.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Transactions on Petri Nets and Other Models of Concurrency I [electronic resource] 0 索取号：作者：Jensen、 Kurt.、Aalst、 Wil M. P.、Billington、 Jonathan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Petri Nets and Other Models of Concurrency-ICATPN 2007 [electronic resource] : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings 0 索取号：作者：Kleijn、 Jetty.、Yakovlev、 Alex.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Dynamic Analysis of Petri Net-Based Discrete Systems [electronic resource] 0 索取号：作者：Karatkevich、 Andrei.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	4th International Workshop on Wearable and Implantable Body Sensor Networks (BSN 2007) [electronic resource] : March 26 鈥ಸ, 2007 RWTH Aachen University, Germany 0 索取号：作者：Leonhardt、 Steffen.、Falck、 Thomas.、M盲h枚nen、 Petri.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Applications and Theory of Petri Nets [electronic resource] : 29th International Conference, PETRI NETS 2008, Xi鈥檃n, China, June 23-27, 2008. Proceedings 0 索取号：作者：Hee、 Kees M.、Valk、 R眉diger.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Petri Nets and Other Models of Concurrency - ICATPN 2006 [electronic resource] : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings 0 索取号：作者：Donatelli、 Susanna.、Thiagarajan、 P. S.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Advances in Verification of Time Petri Nets and Timed Automata [electronic resource] : A Temporal Logic Approach 0 索取号：作者：Penczek、 Wojciech.、P贸lrola、 Agata.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Applications and Theory of Petri Nets 2005 [electronic resource] : 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings 0 索取号：作者：Ciardo、 Gianfranco.、Darondeau、 Philippe.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Discrete, Continuous, and Hybrid Petri Nets [electronic resource] 0 索取号：作者：David、 Ren茅.、Alla、 Hassane.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Comparative Corporate Governance [electronic resource] : Shareholders as a Rule-maker 0 索取号：作者：M盲ntysaari、 Petri.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Modeling in Systems Biology [electronic resource] : The Petri Net Approach 0 索取号：作者：Koch、 Ina.、Reisig、 Wolfgang.、Schreiber、 Falk.、SpringerLink (Online service)、出版社：London : Springer London, 2011.
	Deadlock Resolution in Automated Manufacturing Systems [electronic resource] : A Novel Petri Net Approach 0 索取号：作者：Li、 ZhiWu.、Zhou、 MengChu.、SpringerLink (Online service)、出版社：London : Springer London, 2009.		Modeling and Control of Discrete-event Dynamic Systems [electronic resource] : with Petri Nets and Other Tools 0 索取号：作者：Hr煤z、 Branislav.、Zhou、 MengChu.、SpringerLink (Online service)、出版社：London : Springer London, 2007.