Článek ve sborníku konference

 
Kolář, D.: 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, CZ, MARQ, 2000, s. 171-176, ISBN 80-85988-45-3
Jazyk publikace:angličtina
Název publikace:A Petri Net Class for Better Process Verification
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
Místo vydání:Rožnov pod Radhoštěm, CZ
Rok:2000
ISBN:80-85988-45-3
Vydavatel:MARQ
Klíčová slova
Petri nets, process modeling, process verification
Anotace
The paper proposes a modification of P/T Petri nets which would allow 'local' time usage. This technique should allow better process modeling and verification compared with too simple or too advanced Petri net classes.
BibTeX:
@INPROCEEDINGS{
   author = {Dušan Kolář},
   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žnov pod Radhoštěm, CZ},
   publisher = {},
   ISBN = {80-85988-45-3},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6018}
}