Publications

Export 663 results:
Sort by: Author Title Type [ Year (Asc)]
1991
[RP-91-32] Muro, P, Silva M.  1991.  Modelling, validation and software implementation of production systems using high-level Petri nets. :618-623.
[RP-91-34] Ezpeleta, J, Couvreur JM.  1991.  A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets. :145-164.
[IPMaMuSi87] Martínez, J, Muro P, Silva M.  1991.  Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. High-Level Petri Nets. Theory and Applications. :618-623.
[ICEsSi91b] Esparza, J, Silva M.  1991.  Top-Down Synthesis of Live and Bounded Free Choice Nets. Advances in Petri Nets 91. 524:118-139.
[ICEsSi90a] Esparza, J, Silva M.  1991.  Circuits, Handles, Bridges and Nets. Advances in Petri Nets 90. 483:210-242.
[ICEsSi90b] Esparza, J, Silva M.  1991.  On the Analysis and Synthesis of Free Choice Systems. Advances in Petri Nets 90. 483:243-286.
[ICCoMa90] Couvreur, JM, Martínez J.  1991.  Linear Invariants in Commutative High Level Nets. :146-165.
[672] Colom, JM, Silva M.  1991.  Improving the Linearly Based Characterization of P/T Nets. Advances in Petri Nets 1990. :113-145.
[673] Colom, JM, Silva M.  1991.  Convex Geometry and Semiflows in P/T Nets. A Comparative Study of Algorithms for Computation of Minimal P-Semiflows. Advances in Petri Nets 1990. :79-112.
[263] Campos, J, Colom JM, Silva M.  1991.  Improving Throughput Upper Bounds for Net Based Models. IMACS MCTS’91 International Symposium on Modeling and Control of Technological Systems. 1:573-582.
[262] Campos, J, Colom JM.  1991.  A Reachable Throughput Upper Bound for Live and Safe Free Choice Nets. 12th International Conference on Application and Theory of Petri Nets. :237-256.
0 icon
91_CC_Gjern.ps
[1027] Briz, JL, Colom JM, Viñals V.  1991.  Petri net Based Modelling, Analysis and Simulation of Pipelined Architectures. P.D. COM'91 IMACS-IFAC International Symposium on Parallel and Distributed Computing in Engineering Systems. :37-38.
[1029] Olcoz, S, Colom JM.  1991.  Petri Net Based Analysis of VHDL Programs. Second European Conference on VHDL Methods (EURO-VHDL'91). :1-10.
[1030] Olcoz, S, Colom JM.  1991.  Petri Net Based Analysis of VHDL Programs. Segunda Reunión sobre Paralelismo. :115-127.
[RP-91-18] Esparza, J, Silva M.  1991.  On the Analysis and Synthesis of Free Choice Systems. 483:243-286.
[CCS-TAC-91] Campos, J, Chiola G, Silva M.  1991.  Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks. IEEE Transactions on Automatic Control. 36:1368-1382.
0 icon
91_CCS_TAC.ps
[CS-Melbourne-91] Campos, J, Silva M.  1991.  Throughput Upper Bounds for Markovian Petri Nets Embedded Subnets and Queueing Networks. :312-321.
0 icon
91_CS_Melbourne.ps
[CSS-Melbourne-91] Campos, J, Sánchez B, Silva M.  1991.  Throughput Lower Bounds for Markovian Petri Nets Transformation Techniques. :322-331.
0 icon
91_CSS_Melbourne.ps
[LMT-91] Luciañez, JM, Merseguer J, Torralba JM.  1991.  Sistemas de ayuda a las decisiones. Metodología de desarrollo de aplicaciones.
[RP-91-26] Silva, M, Watanabe T.  1991.  On periodic schedules for deterministically timed Petri nets systems. :210-215.
[CCS-TSE-91] Campos, J, Chiola G, Silva M.  1991.  Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. IEEE Transactions on Software Engineering. 17:117-125.
0 icon
91_CCS_TSE.ps
[RP-91-03] Ezpeleta, J, Villarroel JL.  1991.  Knowledge based manufacturing modelling and analysis by integrating Petri nets. :660-668.
[RP-91-10] Ezpeleta, J, Martínez J.  1991.  Petri Nets as a specification language for manufacturing systems.
[C-DEMON-91] Campos, J.  1991.  Performance Analysis of Live and Bounded Free Choice Systems. Studien. 198:38-48.
0 icon
91_C_DEMON.ps
1992
[BaHeMa92] Balcázar, JL, Hermo M, Mayordomo E.  1992.  Characterizations of logarithmic advice complexity classes. :315-321.
0 icon
92_BHM_IFIP.ps