For the most recent entries see the
Petri Nets Newsletter.
Valero, V.
-
Maciá, Hermenegilda;
Valero, Valentín;
Cazorla, Diego;
Cuartero, Fernando:
Introducing the Iteration in sPBC.
2004.
-
Macià, Hermenegilda;
Valero, Valentín;
Cuartero, Fernando;
Pelayo, Fernando L.:
A New Synchronization in Finite Stochastic Petri Box Calculus.
2003.
-
Valero, Valentin;
Pelayo, Fernando L.;
Cuartero, Fernando;
Cazorla, Diego:
Specification and Analysis of the MPEG-2 Video Encoder with Timed-Arc Petri Nets.
2002.
-
Valero, Valentín;
Pardo, Juan José;
Cuartero, Fernando:
Translating TPAL Specifications into Timed-Arc Petri Nets.
2002.
-
Valero, V.;
de Frutos Escrig, D.;
Cuartero, F.:
Timed Processes of Timed Petri Nets.
1995.
-
Macià, H.;
Valero, V.;
de Frutos-Escrig, D.:
sPBC: A Markovian Extension of Finite Petri Box Calculus.
201.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography