Detail publikačního výsledku

Unfoldings of Bounded Hybrid Petri Nets

NOVOSAD, P.; ČEŠKA, M.

Originální název

Unfoldings of Bounded Hybrid Petri Nets

Anglický název

Unfoldings of Bounded Hybrid Petri Nets

Druh

Článek recenzovaný mimo WoS a Scopus

Originální 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.

Anglický 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

Klíčová slova v angličtině

unfoldings, hybrid Petri nets

Autoři

NOVOSAD, P.; ČEŠKA, M.

Rok RIV

2013

Vydáno

20.01.2012

ISSN

0302-9743

Periodikum

Lecture Notes in Computer Science

Svazek

2012

Číslo

6927

Stát

Spolková republika Německo

Strany od

543

Strany do

550

Strany počet

8

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"
}