Publication detail

A Petri Net Class for Better Process Verification

KOLÁŘ, D.

Original Title

A Petri Net Class for Better Process Verification

Type

article in a collection out of WoS and Scopus

Language

English

Original 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.

Keywords

Petri nets, process modeling, process verification

Authors

KOLÁŘ, D.

Released

1. 1. 2000

Location

Rožnov pod Radhoštěm

ISBN

80-85988-45-3

Book

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

Pages from

171

Pages to

176

Pages count

6

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"
}