Вы здесь
Yen H.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A taxonomy of fairness and temporal logic problems for Petri nets | 1991 | Howell R., Rosier L., Yen H. | Theoretical Computer Science | 13.08.1991 | |||
| СТ | A polynomial time algorithm to decide pairwise concurrency of transitions for 1-bounded conflict-free Petri nets | 1991 | Yen H. | Information Processing Letters | 25.07.1991 |