A necessary and sufficient condition for the liveness of normal nets /
Uloženo v:
| Hlavní autor: | Liu, GuanJun. |
|---|---|
| Další autoři: | Chao, Daniel Y., Jiang, ChangJun. |
| Médium: | Článek |
| Jazyk: | English |
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Podobné jednotky
-
Sequence of control in S3PMR /
Autor: Shih, Yu-Ying. -
Fewer monitors and more efficient controllability for deadlock control in S3PGR2 (Systems of simple sequential processes with general resource requirements) /
Autor: Chao, Daniel Y. -
Generalized nets /
Autor: Atanassov, Krassimir T.
Vydáno: (1991) -
Generalized nets /
Autor: Atanassov, Krassimir T.
Vydáno: (1991) -
Application and Theory of Petri Nets and Concurrency:
36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
Autor: Devillers, R, a další
Vydáno: (2015)