Publication result detail

Unfoldings of Bounded Hybrid Petri Nets

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

Original Title

Unfoldings of Bounded Hybrid Petri Nets

English Title

Unfoldings of Bounded Hybrid Petri Nets

Type

Peer-reviewed article not indexed in WoS or Scopus

Original Abstract

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.

English abstract

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.

Keywords

unfoldings, hybrid Petri nets

Key words in English

unfoldings, hybrid Petri nets

Authors

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

RIV year

2013

Released

20.01.2012

ISBN

0302-9743

Periodical

Lecture Notes in Computer Science

Volume

2012

Number

6927

State

Federal Republic of Germany

Pages from

543

Pages to

550

Pages count

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