Detail publikace
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
Jazyk
en
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.
Dokumenty
BibTex
@article{BUT91474,
author="Petr {Novosad} and Milan {Češka}",
title="Unfoldings of Bounded Hybrid Petri Nets",
annote="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.",
address="NEUVEDEN",
chapter="91474",
edition="NEUVEDEN",
howpublished="print",
institution="NEUVEDEN",
number="6927",
volume="2012",
year="2012",
month="january",
pages="543--550",
publisher="NEUVEDEN",
type="journal article - other"
}