Publication Details

A Petri Net Class for Better Process Verification

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.

Type

conference paper

Language

english

Authors

Kolář Dušan, Dr. Ing. (DCSE FEECS BUT)

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

Conference

34th Spring International Conference on Modeling and Simulation of Systems MOSIS 2000, Rožnov pod Radhoštěm, CZ

ISBN

80-85988-45-3

Place

Rožnov pod Radhoštěm, CZ

BibTeX

@INPROCEEDINGS{FITPUB6018,
   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 = "https://www.fit.vut.cz/research/publication/6018"
}