Result Details
A Petri Net Class for Better Process Verification
KOLÁŘ, D. A Petri Net Class for Better Process Verification. Proceedings of 34th Spring International Conference MOSIS 2000, ISM 2000. Rožnov pod Radhoštěm: Marq software s.r.o., 2000. p. 171-176. ISBN: 80-85988-45-3.
Type
conference paper
Language
English
Authors
Abstract
The paper proposes a modification of P/T Petri nets which would allow'local' time usage. This technique should allow better process modelingand verification compared with too simple or too advanced Petri netclasses.
Keywords
Petri nets, process modeling, process verification
Published
2000
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
ISBN
80-85988-45-3
Publisher
Marq software s.r.o.
Place
Rožnov pod Radhoštěm
BibTeX
@inproceedings{BUT191940,
author="Dušan {Kolář}",
title="A Petri Net Class for Better Process Verification",
booktitle="Proceedings of 34th Spring International Conference MOSIS 2000, ISM 2000",
year="2000",
pages="171--176",
publisher="Marq software s.r.o.",
address="Rožnov pod Radhoštěm",
isbn="80-85988-45-3"
}
Research groups
Departments