Publications

Export 8 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Title is G  [Clear All Filters]
2010
[Cam-TII-10] Campos, J.  2010.  Guest Editorial: Special Section on Formal Methods in Manufacturing. IEEE Transactions on Industrial Informatics. 6(2):125-126.
application/pdf icon
10_Cam_TII.pdf
2006
[LCRM06] Lobov, A, Popescu C, Rodríguez D, Lastra L.  2006.  A Graphical Environment for Modeling and Analysis of Concurrent Systems in Manufacturing: An Educational Perspective.
2004
[BCDM-TSE] Bernardi, S, Campos J, Donatelli S, Merseguer J.  2004.  GSPN Compositional Semantics for UML Statecharts and Sequence Diagrams.
1994
[246] Campos, J, Colom JM, Jungnitz H, Silva M.  1994.  A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. Performance Evaluation of parallel and distributed systems. Solution Methods. :265-283.
1993
[252] Campos, J, Colom JM, Jungnitz H, Silva M.  1993.  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.
0 icon
93_CCJS_Toulouse.ps
1989
[RP-89-17] Martínez, J, Silva M.  1989.  GRAMAN: a graphic system for manufacturing system design. :311-316.
1988
[RP-88-07] Martínez, J, Silva M.  1988.  GRAMAN: A Graphic System for Manufacturing System Design. :79-84.
1985
[RP-85-03] Alla, H, Ladet P.  1985.  Generalized Inverses and the Calculation of Symbolic Invariants for Colored Petri Nets. Technique et Science Informatique (TSI). 4:113-126.