Publication Details

Extension of the PESIM Simulation Tool

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

Type

conference paper

Language

english

Authors

Češka Milan, Prof. RNDr., CSc. (DCSE FEECS BUT)
Urbášek Milan, Ing. (DCSE FEECS BUT)

URL

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

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

Conference

20th International Workshop on Advanced Simulation of Systems ASIS'98, Krnov, CZ

ISBN

80-85988-27-5

Place

Krnov, CZ

BibTeX

@INPROCEEDINGS{FITPUB6527,
   author = "Milan \v{C}e\v{s}ka and Milan Urb\'{a}\v{s}ek",
   title = "Extension of the PESIM Simulation Tool",
   pages = "81--86",
   booktitle = "Proceedings of XX-th Workshop ASIS '98",
   year = 1998,
   location = "Krnov, CZ",
   ISBN = "80-85988-27-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6527"
}