Result Details
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.
Type
journal article
Language
English
Authors
Novosad Petr, Ing.
Češka Milan, prof. RNDr., CSc., DITS (FIT)
Češka Milan, prof. RNDr., CSc., DITS (FIT)
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
Published
2012
Pages
543–550
Journal
Lecture Notes in Computer Science, vol. 2012, no. 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"
}
Projects
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GACR, Standardní projekty, GAP103/10/0306, start: 2010-01-01, end: 2013-12-31, running
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GACR, Standardní projekty, GAP103/10/0306, start: 2010-01-01, end: 2013-12-31, running
Departments