Вы здесь
Starke P. H.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | ATNA - Arc Timed Net Analyser | 1990 | Starke P. H. | Petri Nets Newsletter | 22.06.1995 | |||
СТ | On State-Invariants of Timed Petri Nets | 1996 | Starke P. H. | Workshop Concurrency, Specification & Programming | 03.12.1999 | |||
СТ | Remarks on Timed Nets | 1988 | Starke P. H. | Application and Theory of Petri Nets | 11.07.1995 | |||
СТ | Signal-Event Nets | 1997 | Starke P. H. | Proceedings of the CS&P 97 Workshop | 01.11.1997 |