Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Novosad Petr, Ing.
Češka Milan, prof. RNDr., CSc., UITS (FIT)
Abstrakt

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.

Klíčová slova

Hybrid Petri Nets, unfoldings, complete finite prefix.

Anotace

Článek popisuje přístup pro výpočet rozvojů neomezených hybridních Petriho sítí. Rozvoj je užitečná metoda pro analýzu a verifikaci vlastností Petriho sítí. Motivací pro zavedení rozvojů do hybridních Petriho sítí je dobré zvládnutí problému stavové exploze pro sítě s velkou mírou paralelizace. Tento článek rozšiřuje naši předchozí práci, formalizuje koncept rozvojů pro autonomní hybridní Petriho sítě a představuje algoritmus jejich výpočtu.

Rok
2013
Strany
428–435
Sborník
Computer Aided System Theory -EUROCAST 2013 - revised selected papers
Řada
Lecture Notes in Computer Science
Konference
Fourteenth International Conference On Computer Aided Systems Theory
ISBN
978-3-642-53855-1
Vydavatel
Springer Verlag
Místo
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"
}
Projekty
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Pokročilé metody automatické verifikace parametrických a nekonečně stavových systémů, GAČR, Postdoktorandské granty, GP102/03/D211, zahájení: 2003-09-01, ukončení: 2006-09-01, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru