1.

電子ブック
ＥＢ
1. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
edited by J. W. Bakker, W. -P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 354
オンライン: http://dx.doi.org/10.1007/BFb0013019
2.

電子ブック
ＥＢ
2. Petri Nets: Applications and Relationships to Other Models of Concurrency : Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986
edited by W. Brauer, W. Reisig, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 255
オンライン: http://dx.doi.org/10.1007/3-540-17906-2
3.

電子ブック
ＥＢ
3. 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
edited by W. Brauer, W. Reisig, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 254
オンライン: http://dx.doi.org/10.1007/BFb0046832
4.

電子ブック
ＥＢ
4. Current Trends in Concurrency : Overviews and Tutorials
edited by J. W. Bakker, W. -P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1986
シリーズ名: Lecture Notes in Computer Science ; 224
オンライン: http://dx.doi.org/10.1007/BFb0027037
5.

電子ブック
ＥＢ
5. Advances in Petri Nets 1985
edited by G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1986
シリーズ名: Lecture Notes in Computer Science ; 222
オンライン: http://dx.doi.org/10.1007/BFb0016202
6.

電子ブック
ＥＢ
6. Advances in Petri Nets 1984
edited by G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1985
シリーズ名: Lecture Notes in Computer Science ; 188
オンライン: http://dx.doi.org/10.1007/3-540-15204-0