Вы здесь

Vogler W.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Merged processes: a new condensed representation of Petri net behaviour 2005 Khomenko V., Kondratyev A., Koutny M., Vogler W. Acta Informatica 11.01.2007
СТ Bisimulation on Speed: A Unified Approach 2005 Luettgen G., Vogler W. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.07.2005
СТ Timed Petri Nets: Efficiency of Asynchronous Systems 2004 Bihler E., Vogler W. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.01.2005
СТ Canonical pretixes of Petri net unfoldings 2003 Khomenko V., Koutny M., Vogler W. Acta Informatica 02.12.2003
СТ Comparing the Worst-Case Efficiency of Asynchronous Systems with PAFAS 2002 Corradini F., Vogler W., Jenner L. Acta Informatica 23.01.2003
СТ An Improvement of McMillan s Unfolding Algorithm 1996 Esparza J., Romer S., Vogler W. Lecture Notes in Computer Science 24.04.1996
СТ Faster Asynchronous Systems 1995 Vogler W. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 17.10.1995
СТ Fair Testing 1995 Brinksma E., Rensink A., Vogler W. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 17.10.1995
М Modular Construction and Partial Order Semantics of Petri Nets 1992 Vogler W. Lecture Notes in Computer Science 14.08.1992
СТ Asynchronous Communication of Petri Nets and Refinement of Transitions 1992 Vogler W. Lecture Notes in Computer Science 07.08.1992
СТ Partial Words Versus Processes: A Short Comparison 1992 Vogler W. Lecture Notes in Computer Science 09.07.1992
СТ Executions: a new partial-order semantics of Petri nets 1991 Vogler W. Theoretical Computer Science 25.12.1991
СТ Decidable boundedness problems for sets of graphs generated by hyperedge-replacement 1991 Habel A., Kreowski H., Vogler W. Theoretical Computer Science 28.11.1991