Conference paper

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. Berín: Springer Verlag, 2013, pp. 428-435. ISBN 978-3-642-53855-1.
Publication language:english
Original title:Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets
Title (cs):Algoritmus pro výpočet rozvojů neomezených hybridních Petriho sítí
Pages:428-435
Proceedings:Computer Aided System Theory -EUROCAST 2013 - revised selected papers
Conference:Fourteenth International Conference On Computer Aided Systems Theory
Series:Lecture Notes in Computer Science
Place:Berín, DE
Year:2013
ISBN:978-3-642-53855-1
Publisher:Springer Verlag
Keywords
Hybrid Petri Nets, unfoldings, complete finite prefix.
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.

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.

BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=10357}
}

Your IPv4 address: 54.80.111.72
Switch to IPv6 connection

DNSSEC [dnssec]