Detail výsledku

Unfoldings of Bounded Hybrid Petri Nets

NOVOSAD, P.; ČEŠKA, M. Unfoldings of Bounded Hybrid Petri Nets. Lecture Notes in Computer Science, 2012, vol. 2012, no. 6927, p. 543-550. ISSN: 0302-9743.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Novosad Petr, Ing.
Češka Milan, prof. RNDr., CSc., UITS (FIT)
Abstrakt
The unfolding is a useful partial-order based method for analysis and verification of the Petri net properties. This technique can cope well with the so-called state space explosion problem, especially for the Petri nets with a lot of concurrency. The paper formalizes the concept of the unfolding for bounded hybrid Petri nets and introduces the algorithm for its computing.
Klíčová slova

unfoldings, hybrid Petri nets

Rok
2012
Strany
543–550
Časopis
Lecture Notes in Computer Science, roč. 2012, č. 6927, ISSN 0302-9743
BibTeX 
@article{BUT91474,
  author="Petr {Novosad} and Milan {Češka}",
  title="Unfoldings of Bounded Hybrid Petri Nets",
  journal="Lecture Notes in Computer Science",
  year="2012",
  volume="2012",
  number="6927",
  pages="543--550",
  issn="0302-9743"
}
Projekty
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, GAČR, Standardní projekty, GAP103/10/0306, zahájení: 2010-01-01, ukončení: 2013-12-31, řeš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ě
Ústav inteligentních systémů (UITS)
Nahoru