Faculty of Information Technology, BUT

Publication Details

Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets

NOVOSAD Petr and ČEŠKA Milan. Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets. In: Computer Aided System Theory -EUROCAST 2013 - revised selected papers. Lecture Notes in Computer Science. Berín: Springer Verlag, 2013, pp. 428-435. ISBN 978-3-642-53855-1.
Czech title
Algoritmus pro výpočet rozvojů neomezených hybridních Petriho sítí
Type
conference paper
Language
english
Authors
Keywords
Hybrid Petri Nets, unfoldings, complete finite prefix.
Abstract

The paper describes a technique for computing algorithm for constructing unfoldings of unbounded hybrid Petri nets. The motivation for introducing unfoldings for hybrid Petri nets is that this technique can cope well with the so-called state space explosion problem especially for the Petri nets with a lot of concurrency. This contribution extends our previous work and formalizes the concept of the unfoldings for autonomous hybrid Petri nets, introduces an algorithm for their computing and shows new results.

Annotation

The paper describes a technique for computing algorithm for constructing unfoldings of unbounded hybrid Petri nets. The motivation for introducing unfoldings for hybrid Petri nets is that this technique can cope well with the so-called state space explosion problem especially for the Petri nets with a lot of concurrency. This contribution extends our previous work and formalizes the concept of the unfoldings for autonomous hybrid Petri nets, introduces an algorithm for their computing and shows new results.

Published
2013
Pages
428-435
Proceedings
Computer Aided System Theory -EUROCAST 2013 - revised selected papers
Series
Lecture Notes in Computer Science
Conference
Fourteenth International Conference On Computer Aided Systems Theory, Las Palmas de Gran Canaria, ES
ISBN
978-3-642-53855-1
Publisher
Springer Verlag
Place
Berín, DE
BibTeX
@INPROCEEDINGS{FITPUB10357,
   author = "Petr Novosad and Milan \v{C}e\v{s}ka",
   title = "Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets",
   pages = "428--435",
   booktitle = "Computer Aided System Theory -EUROCAST 2013 - revised selected papers",
   series = "Lecture Notes in Computer Science",
   year = 2013,
   location = "Ber\'{i}n, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-642-53855-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10357"
}
Back to top