Publication Details

Extension of the PESIM Simulation Tool

URBÁŠEK, M.; ČEŠKA, M. Extension of the PESIM Simulation Tool. Proceedings of XX-th Workshop ASIS '98. Krnov: 1998. p. 81-86. ISBN: 80-85988-27-5.

Type

conference paper

Language

English

Authors

Urbášek Milan, Ing.
Češka Milan, prof. RNDr., CSc.

URL

http://www.fit.vutbr.cz/~urbasek/Publikace/asis98.ps.gz

Keywords

P/T Petri nets, Reduction methods, Invariants, PESIM tool

Annotation

The paper describes the use of the particular transformation between Petri nets, called reductions, in the analysis process for Petri nets. The reductions transform one net to another, preserving some dynamical properties of Petri nets such as liveness, boundedness or invariants. Then the standard, computer-assisted methods can be applied. The reductions can be embedded into existing analysis tools for Petri nets.

Published

1998

Pages

81–86

Proceedings

Proceedings of XX-th Workshop ASIS '98

ISBN

80-85988-27-5

Place

Krnov

BibTeX

@inproceedings{BUT191508,
  author="Milan {Urbášek} and Milan {Češka}",
  title="Extension of the PESIM Simulation Tool",
  booktitle="Proceedings of XX-th Workshop ASIS '98",
  year="1998",
  pages="81--86",
  address="Krnov",
  isbn="80-85988-27-5",
  url="http://www.fit.vutbr.cz/~urbasek/Publikace/asis98.ps.gz"
}