Publication 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: 2000. p. 171-176. ISBN: 80-85988-45-3.

Type

conference paper

Language

English

Authors

Kolář Dušan, doc. Dr. Ing. (DIFS)

Keywords

Petri nets, process modeling, process verification

Abstract

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.

Published

2000

Pages

171–176

Proceedings

Proceedings of 34th Spring International Conference MOSIS 2000, ISM 2000

ISBN

80-85988-45-3

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",
  address="Rožnov pod Radhoštěm",
  isbn="80-85988-45-3"
}