Conference paper

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, 2000, pp. 171-176. ISBN 80-85988-45-3.
Publication language:english
Original title:A Petri Net Class for Better Process Verification
Pages:171-176
Proceedings:Proceedings of 34th Spring International Conference MOSIS 2000, ISM 2000
Conference:34th Spring International Conference on Modeling and Simulation of Systems MOSIS 2000
Place:Rožnov pod Radhoštěm, CZ
Year:2000
ISBN:80-85988-45-3
Keywords
Petri nets, process modeling, process verification
Annotation
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{\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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=6018}
}

Your IPv4 address: 54.80.236.48
Switch to IPv6 connection

DNSSEC [dnssec]