杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Petri nets : fundamental models, verification and applications / edited by Michel Diaz.

出版发行项:

London : ISTE ; Hoboken, NJ : Wiley, 2009.

ISBN:

9781848210790

ISBN:

1848210795

载体形态项:

xxv, 585 p. : ill. ; 24 cm.

附加统一题名:

V鈋rification et mise en 秛vre des r鈋seaux de Petri. English.

丛编题名:

Control systems, robotics and manufacturing series.

附加个人名称:

Diaz, Michel, 1945-

论题主题:

Electronic data processing-Distributed processing.

论题主题:

Parallel processing (Electronic computers)

论题主题:

System design.

论题主题:

Petri nets.

中图法分类号:

TP274

一般附注:

First published in French as 2 separate works, Les r鈋seaux de Petri (2001) and V鈋rification et mise en 秛vre des r鈋seaux de Petri (2003)

书目附注:

Includes bibliographical references and index.

豆瓣简介：