Вы здесь

Padberg J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ High-Level Net Progresses 2002 Ehrig H., Hoffmann K., Padberg J., Baldan P., Heckel R. Lecture Notes in Computer Science 14.03.2002
СТ Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems 2000 Padberg J., Hoffmann K., Gajewsky M. Lecture Notes in Computer Science 25.04.2000
СТ Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets 1999 Padberg J. Lecture Notes in Computer Science Lecture Notes in Computer Science 27.08.1999
СТ Rule-Based Refinement of High-Level Nets Preserving Safety Properties 1998 Padberg J., Gajewsky M., Ermel C. Lecture Notes in Computer Science 18.04.1998
СТ A Uniform Approach to Petri Nets 1997 Ehrig H., Padberg J. Lecture Notes in Computer Science 28.11.1997
СТ Linking Algebraic High Level Nets and Dynamic Abstract Data Types 1994 Ehrig H., Padberg J. EATCS Bull. 07.12.1994
СТ Algebraic High Level Nets: Petri Nets Revisited 1994 Ehrig H., Padberg J., Ribeiro L. Lecture Notes in Computer Science 04.06.1994
СТ Algebraic High-Level Net Transforation Systems: A Survey over Theory and Applications 1993 Padberg J. EATCS Bull. 24.02.1994

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Unifying Petri Nets: Advances in Petri Nets 2001 Lecture Notes in Computer Science
  1. Ehrig H.
  2. Juhas G.
  3. Padberg J.
  4. Rozenberg G.
02.02.2002