书目名称 | Transactions on Petri Nets and Other Models of Concurrency III |
编辑 | Kurt Jensen,Jonathan Billington,Maciej Koutny |
视频video | |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
出版日期 | Book 2009 |
关键词 | MANET; Simulation; calculus; coloured petri nets; design; formal language; formal models; mobile petri nets |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-642-04856-2 |
isbn_softcover | 978-3-642-04854-8 |
isbn_ebook | 978-3-642-04856-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 2009 |