A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
about
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
description
article
@en
wetenschappelijk artikel
@nl
наукова стаття, опублікована у 2008
@uk
name
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
@en
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
@nl
type
label
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
@en
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
@nl
prefLabel
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
@en
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
@nl
P2093
P1476
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
@en
P2093
A. Kondratyev
A. Yakovlev
L. Lavagno
M. Kishinevsky
P304
P356
10.1007/978-3-540-68746-7_10
P407
P577
2008-01-01T00:00:00Z