Coloured petri nets : basic concepts, analysis methods and practical use | 金沢大学附属図書館 OPAC plus

>> Google Books

QRコード(所蔵情報)

Coloured petri nets : basic concepts, analysis methods and practical use

フォーマット:: 図書
責任表示:: Kurt Jensen
言語:: 英語
出版情報:: Berlin ; Tokyo : Springer, c1995-
形態:: v. ; 24 cm
著者名:: Jensen, K. (Kurt), 1950- <DA05685904>
シリーズ名:: Monographs in theoretical computer science : an EATCS series <BA25559724>
書誌ID:: BA31277647
ISBN:: 9783540582762 [3540582762] (v. 2 : gw)
9780387582764 [0387582762] (v. 2 : us)
9783540628675 [3540628673] (v. 3 : gw)

子書誌情報

所蔵情報

Loading availability information

タイトル・著者・出版者が同じ資料

1. Coloured Petri nets : basic concepts, analysis methods and practical use. 2nd ed (v. 1 : gw ; v. 2 : gw ; v. 2 : us)
Kurt Jensen , Springer , 1996

詳細

主題:	システム分析．システム設計
分類・件名:	NDC8 : 007.61
注記:	Includes bibliographical references and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Coloured Petri nets : basic concepts, analysis methods and practical use Jensen, K. (Kurt), 1950- Springer	7 電子ブック Lectures on Petri Nets I: Basic Models Wolfgang Reisig, Reisig, Wolfgang, Rozenberg, Grzegorz Springer Berlin Heidelberg
2 電子ブック Coloured Petri Nets Jensen, Kurt, Kristensen, Lars M. Springer Berlin Heidelberg	8 図書 Computational contact and impact mechanics : fundamentals of modeling interfacial phenomena in nonlinear finite element analysis Laursen, Tod A. Springer
3 図書 Proceegings of the seventh International Workshop on Petri Nets and Performance Models, June 3-6, 1995, Saint Malo, France International Workshop on Petri Nets and Performance Models, Institut national de recherche en informatique et en … IEEE Computer Society	9 電子ブック Petri Nets Pawlewski, Pawel InTech
4 電子ブック Application and Theory of Petri Nets 1992 Jensen Springer Berlin Heidelberg	10 電子ブック Petri Nets Pawlewski, Pawel IntechOpen
5 図書 Lectures on formal methods and performance analysis : First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : … EEF/Euro Summer School on Trends in Computer Science, Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter Springer	11 電子ブック Approximation methods for stochastic petri nets / : by Hauke Jörg Jungnitz Jungnitz, Hauke Jörg Rensselaer Polytechnic Institute, Electrical, Computer, and Systems Engineering Department
6 図書 Elements of distributed algorithms : modeling and analysis with Petri nets Reisig, Wolfgang, 1950- Springer	12 図書 Hardware design and Petri nets Yakovlev, Alex, Gomes, Luis, Lavagno, Luciano Kluwer Academic Pub.