Publication Details

Net Reduction and the Analysis of Petri Nets

URBÁŠEK Milan. Net Reduction and the Analysis of Petri Nets. Sborník prací studentů a doktorandů FEI VUT. Brno: Faculty of Electrical Engineering and Computer Science BUT, 1998, pp. 63-64. ISBN 80-214-1141-4.
Type
book chapter
Language
english
Authors
Urbášek Milan, Ing. (DCSE FEECS BUT)
URL
Keywords

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

Annotation

This work defines and uses particular morphisms between Petri nets to reduce the graph of the net by agglomeration of place nodes ad transition nodes. The reductions preserve some dynamical properties of Petri nets. It makes the standard analysis methods more efficient.

Published
1998
Pages
63-64
Book
Sborník prací studentů a doktorandů FEI VUT
ISBN
80-214-1141-4
Publisher
Faculty of Electrical Engineering and Computer Science BUT
Place
Brno, CZ
BibTeX
@INBOOK{FITPUB6528,
   author = "Milan Urb\'{a}\v{s}ek",
   title = "Net Reduction and the Analysis of Petri Nets",
   pages = "63--64",
   booktitle = "Sborn\'{i}k prac\'{i} student\r{u} a doktorand\r{u} FEI VUT",
   year = 1998,
   location = "Brno, CZ",
   publisher = "Faculty of Electrical Engineering and Computer Science BUT",
   ISBN = "80-214-1141-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6528"
}
Back to top