Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Kolář Dušan, doc. Dr. Ing.
Abstrakt

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.

Klíčová slova

Petri nets, process modeling, process verification

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
ISBN
80-85988-45-3
Vydavatel
Marq software s.r.o.
Místo
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"
}
Výzkumné skupiny
Výzkumná skupina informačních a databázových systémů (VZ IS)
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru