Detail publikace

A Petri Net Class for Better Process Verification

KOLÁŘ Dušan. A Petri Net Class for Better Process Verification. In: Proceedings of 34th Spring International Conference MOSIS 2000, ISM 2000. Rožnov pod Radhoštěm: MARQ, 2000, s. 171-176. ISBN 80-85988-45-3.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Kolář Dušan, Dr. Ing. (UIVT FEI VUT)
Rok
2000
Strany
171-176
Sborník
Proceedings of 34th Spring International Conference MOSIS 2000, ISM 2000
Konference
34th Spring International Conference on Modeling and Simulation of Systems MOSIS 2000, Rožnov pod Radhoštěm, CZ
ISBN
80-85988-45-3
Vydavatel
MARQ
Místo
Rožnov pod Radhoštěm, CZ
BibTeX 
@INPROCEEDINGS{FITPUB6018,
   author = "Du\v{s}an Kol\'{a}\v{r}",
   title = "A Petri Net Class for Better Process Verification",
   pages = "171--176",
   booktitle = "Proceedings of 34th Spring International Conference MOSIS 2000, ISM 2000",
   year = 2000,
   location = "Ro\v{z}nov pod Radho\v{s}t\v{e}m, CZ",
   ISBN = "80-85988-45-3",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6018"
}
Nahoru