Conference paper

NOVOSAD Petr and ČEŠKA Milan. Algorithms for Computing Coverability Graphs for Hybrid Petri Nets. In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2008, pp. 177-183. ISBN 978-80-7355-082-0.
Publication language:english
Original title:Algorithms for Computing Coverability Graphs for Hybrid Petri Nets
Title (cs):Algoritmy pro výpočet grafu pokrytí hybridních Petriho sítí
Pages:177-183
Proceedings:4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Conference:MEMICS'08 -- 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Place:Brno, CZ
Year:2008
ISBN:978-80-7355-082-0
Publisher:Masaryk University
Keywords

Hybrid Petri Net, Coverability Graph, Algorithm.

Annotation
The paper formalizes the concept of the coverability graphs for autonomous hybrid Petri nets and introduces algorithms for their computing. Every algorithm is accompanied with an example. Algorithms for the bounded and unbounded hybrid Petri nets are presented.
Abstract
A useful method for Petri nets analysis is based on a coverability tree or a coverability graph that represents a state space of a system. The paper formalizes the concept of the coverability graphs for autonomous hybrid Petri nets and introduces algorithms for their computing. Algorithms for bounded and unbounded hybrid Petri nets are presented. Every algorithm is accompanied with an example.
BibTeX:
@INPROCEEDINGS{
   author = {Petr Novosad and Milan {\v{C}}e{\v{s}}ka},
   title = {Algorithms for Computing Coverability Graphs for Hybrid
	Petri Nets},
   pages = {177--183},
   booktitle = {4th Doctoral Workshop on Mathematical and Engineering
	Methods in Computer Science},
   year = {2008},
   location = {Brno, CZ},
   publisher = {Masaryk University},
   ISBN = {978-80-7355-082-0},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8825}
}

Your IPv4 address: 54.224.200.104
Switch to IPv6 connection

DNSSEC [dnssec]