Detail publikace

Unfoldings of Bounded Hybrid Petri Nets

NOVOSAD, P. ČEŠKA, M.

Originální název

Unfoldings of Bounded Hybrid Petri Nets

Typ

článek v časopise - ostatní, Jost

Jazyk

angličtina

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.

Klíčová slova

unfoldings, hybrid Petri nets

Autoři

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

Rok RIV

2012

Vydáno

20. 1. 2012

ISSN

0302-9743

Periodikum

Lecture Notes in Computer Science

Ročník

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