Publication Details

Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets

NOVOSAD, P.; ČEŠKA, M. Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets. Computer Aided System Theory -EUROCAST 2013 - revised selected papers. Lecture Notes in Computer Science. Berín: Springer Verlag, 2013. p. 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
Novosad Petr, Ing.
Češka Milan, prof. RNDr., CSc.
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
ISBN
978-3-642-53855-1
Publisher
Springer Verlag
Place
Berín
BibTeX
@inproceedings{BUT103511,
  author="Petr {Novosad} and Milan {Češka}",
  title="Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets",
  booktitle="Computer Aided System Theory -EUROCAST 2013 - revised selected papers",
  year="2013",
  series="Lecture Notes in Computer Science",
  pages="428--435",
  publisher="Springer Verlag",
  address="Berín",
  isbn="978-3-642-53855-1"
}
Back to top