Detail publikace

A Petri Net Class for Better Process Verification

KOLÁŘ, D.

Originální název

A Petri Net Class for Better Process Verification

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

Petri nets, process modeling, process verification

Autoři

KOLÁŘ, D.

Vydáno

1. 1. 2000

Místo

Rožnov pod Radhoštěm

ISBN

80-85988-45-3

Kniha

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

Strany od

171

Strany do

176

Strany počet

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