For the most recent entries see the
Petri Nets Newsletter.
Keyword: termination
-
Varró, Dániel;
Varró-Gyapay, Szilvia;
Ehrig, Hartmut;
Prange, Ulrike;
Taentzer, Gabriele:
Termination Analysis of Model Transformations by Petri Nets.
2006.
-
Dimitrovici, Cristian;
Hummert, Udo;
Petrucci, Laure:
Semantics, Composition and Net Properties of Algebraic High-Level Nets.
1991.
-
Breant, F.:
TAPIOCA: OCCAM Rapid Prototyping from Petri Net.
1990.
-
Xu, Z.;
de Vel, O.;
Brown, G.;
Graham, I.:
A Graph Tool for Parallel Programming in Occam.
1990.
-
Berthelot, G.;
Pétrucci, L.:
Putting Algebraic Nets into Practice.
1989.
-
Ge, Q.W.;
Watanabe, T.;
Onaga, K.:
Structural Analysis of Firing Termination of Conflict-Free Petri Nets.
1989.
-
Favrel, Joel;
Wu, Hanjie;
Lee, Kwang Hyung:
Reduction Method of Coloured Petri nets.
1988.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography