For the most recent entries see the
Petri Nets Newsletter.
de Frutos-Escrig, D.
-
Rosa-Velardo, Fernando;
de Frutos-Escrig, David:
Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets.
2006.
-
Rosa-Velardo, Fernando;
de Frutos-Escrig, David:
Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets.
2006.
-
de Frutos Escrig, David;
Alonso, Olga MarroquÃn;
Velardo, Fernando Rosa:
Ubiquitous Systems and Petri Nets.
2005.
-
de Frutos Escrig, David;
Alonso, Olga Marroquín:
Replicated Ambient Petri Nets.
2003.
-
Alonso, Olga Marroquín;
de Frutos Escrig, David:
Extending the Petri Box Calculus with Time.
2001.
-
de Frutos Escrig, David;
Valero Ruiz, Valentín;
Alonso, Olga Marroquín:
Decidability of Properties of Timed-Arc Petri Nets.
2000.
-
Valero Ruiz, V.;
Cuartero Gomez, F.;
de Frutos Escrig, D.:
On non-decidability of reachability for timed-arc Petri nets.
1999.
-
Valero, V.;
de Frutos Escrig, D.;
Cuartero, F.:
Timed Processes of Timed Petri Nets.
1995.
-
Valero Ruâz, V.;
de Frutos Escrig, D.;
Cuartero Gomez, F.:
Decidability of the Strict Reachability Problem for TPN's with Rational and Real Durations.
1993.
-
Valero Ruíz, V.;
de Frutos Escrig, D.;
Cuartero Gómez, F.:
Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem.
1991.
-
de Frutos Escrig, D.;
Johnen, C.:
Decidability of Home Space Property.
1989.
-
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