Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 : Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency

>> Google Books

Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 : Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency / edited by Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg

版:

1st ed. 1987

資料種別:

電子ブック

形態:

X, 519 p.

シリーズ名:

Lecture Notes in Computer Science ; 255

著者名:

ISBN:

9783540479260 [3540479260]
9783662212035 [366221203X]
9783540179061 [3540179062]

書誌ID:

EB00001371

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

The present volume is the second of two parts which constitute the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of petri nets as well as their modification and analysis, presents a variety of applications, and covers the relationship of petri nets to other concurrency models. These current issues of the "Advances in Petri Nets" present the most significant recent results in the application and theory of petri nets to the broad computer science community. They particularly address those who are: - interested in systems design and would like to learn to use petri nets, - familiar with subareas of the theory or the applications of nets and wish to become acquainted with the whole area, - interested in learning about recent results presented within a unified framework, - going to learn about successfully applying petri nets in - various practical situations, - interested in the relationship of petri nets to other models of concurrent systems.

主題:

Computer Communication Networks

目次情報:

東工大ブックレビュー

類似資料:

1 電子ブック Petri Nets: Central Models and Their Properties : Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986 Brauer, Wilfried., Reisig, Wolfgang., Rozenberg, Grzegorz., SpringerLink (Online service)	7 電子ブック Advances in Petri Nets 1988 Rozenberg, Grzegorz., SpringerLink (Online service)
2 電子ブック Lectures on Concurrency and Petri Nets : Advances in Petri Nets Desel, Jörg., Reisig, Wolfgang., Rozenberg, Grzegorz., SpringerLink (Online service)	8 電子ブック Advances in Petri Nets 1985 Rozenberg, Grzegorz., SpringerLink (Online service)
3 電子ブック Lectures on Petri Nets II: Applications : Advances in Petri Nets Reisig, Wolfgang., Rozenberg, Grzegorz., SpringerLink (Online service)	9 電子ブック Advances in Petri Nets 1987 Rozenberg, Grzegorz., SpringerLink (Online service)
4 電子ブック Lectures on Petri Nets I: Basic Models : Advances in Petri Nets Reisig, Wolfgang., Rozenberg, Grzegorz., SpringerLink (Online service)	10 電子ブック Advances in Petri Nets 1992 Rozenberg, Grzegorz., SpringerLink (Online service)
5 電子ブック Petri Net Technology for Communication-Based Systems : Advances in Petri Nets Ehrig, Hartmut., Reisig, Wolfgang., Rozenberg, Grzegorz., Weber, Herbert., SpringerLink (Online service)	11 電子ブック Advances in Petri Nets 1990 Rozenberg, Grzegorz., SpringerLink (Online service)
6 電子ブック Concurrent Object-Oriented Programming and Petri Nets : Advances in Petri Nets Agha, Gul A., De Cindio, Fiorella., Rozenberg, Grzegorz., SpringerLink (Online service)	12 電子ブック Advances in Petri Nets 1993 Rozenberg, Grzegorz., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12