For the most recent entries see the
Petri Nets Newsletter.
Keyword: ada 95
-
Gutiérrez-Robles, A.;
López-Mellado, E.;
Ramírez-Treviño, A.:
Specification and synthesis of control software for flexible manufacturing systems.
2000.
-
Gedela, Ravi K.;
Shatz, Sol M.;
Xu, Haiping:
Formal modeling of synchronization methods for concurrent objects in Ada 95.
1999.
-
Barkaoui, K.;
Kaiser, C.;
Pradat-Peyre, J.F.:
Petri nets based proof of ADA 95 solution for preference control.
1997.
-
Gedela, R.K.;
Shatz, S.M.:
Modeling of advanced tasking in Ada-95: a Petri net perspective.
1997.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography