Filters: First Letter Of Title is G [Clear All Filters]
[Cam-TII-10] Guest Editorial: Special Section on Formal Methods in Manufacturing. IEEE Transactions on Industrial Informatics. 6(2):125-126.. 2010.
[LCRM06] A Graphical Environment for Modeling and Analysis of Concurrent Systems in Manufacturing: An Educational Perspective.. 2006.
[RP-88-07] GRAMAN: A Graphic System for Manufacturing System Design. :79-84.. 1988.
[RP-89-17] GRAMAN: a graphic system for manufacturing system design. :311-316.. 1989.
[RP-85-03] Generalized Inverses and the Calculation of Symbolic Invariants for Colored Petri Nets. Technique et Science Informatique (TSI). 4:113-126.. 1985.
 A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. Performance Evaluation of parallel and distributed systems. Solution Methods. :265-283.. 1994.
 A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. IEEE 5th International Workshop on Petri Nets and Performance Models (PNPM'93). :138-147.. 1993.