Detail publikačního výsledku

A Petri Net Class for Better Process Verification

KOLÁŘ, D.

Original Title

A Petri Net Class for Better Process Verification

English Title

A Petri Net Class for Better Process Verification

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

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.

English abstract

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.

Keywords

Petri nets, process modeling, process verification

Key words in English

Petri nets, process modeling, process verification

Authors

KOLÁŘ, D.

Released

01.01.2000

Publisher

Marq software s.r.o.

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

Full text in the Digital Library

http://hdl.handle.net/

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