For the most recent entries see the
Petri Nets Newsletter.
Tiplea, F.L.
-
Tiplea, F.L.;
Marinescu, D.C.;
Lin, C.:
Model Checking and Abstraction for Workflow Net Verification.
2004.
-
Melinte, Roxana;
Oanea, O.;
Olga, I.;
Tiplea, F.L.:
The home marking problem and some related concepts.
2002.
-
Tiplea, Ferucio Laurentiu;
Tiplea, Aurora:
A Simulation Preorder for Abstraction of Reactive Systems.
2002.
-
Tiplea, F. L.;
Tiplea, A.:
On Normalization of Petri Nets.
1998.
-
Tiplea, F.L.;
Tiplea, A.:
On Normalization of Petri Nets.
1998.
-
Tiplea, Ferucio Laurentiu;
Mäkinen, Erkki:
Jumping Petri nets - specific properties.
1997.
-
Tiplea, Ferucio Laurentiu;
Katsura, Masashi;
Ito, Masami:
Processes and vectorial characterizations of parallel communicating grammar systems.
1997.
-
Tiplea, F.L.;
Ene, C.:
Hierarchies of Petri net languages and a super-normal form.
1996.
-
Tiplea, Ferucio-Laurentiu;
Jucan, Toader;
Masalagiu, Cristian:
Conditional Petri Net Languages.
1991.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography