|
| [6] | Approximate Throughput Computation of Stochastic Marked Graphs (Javier Campos, José-Manuel Colom, Hauke Jungnitz and Manuel Silva), Chapter in Quantitative Methods in Parallel Systems (François Baccelli, Alain Jean-Marie, Isi Mitrani, eds.), Springer Berlin Heidelberg, 1995. |
| [5] | Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds (Giovanni Chiola, Cossimo Anglano, Javier Campos, José-Manuel Colom and Manuel Silva), Chapter in Quantitative Methods in Parallel Systems (François Baccelli, Alain Jean-Marie, Isi Mitrani, eds.), Springer Berlin Heidelberg, 1995. |
| [4] | A Petri net based deadlock prevention policy for flexible manufacturing systems (Joaquín Ezpeleta and José-Manuel Colom), In IEEE Transactions on Robotics and Automation, volume 11, 1995. |
| [3] | A Colored Petri Net Model of VHDL (Serafín Olcoz), In Formal Methods in System Design, volume 7, 1995. |
| [2] | Functional and Performance Analysis of Cooperating Sequential Processes (Enrique Teruel, Manuel Silva, José-Manuel Colom and Javier Campos), Chapter in Quantitative Methods in Parallel Systems (François Baccelli, Alain Jean-Marie, Isi Mitrani, eds.), Springer Berlin Heidelberg, 1995. |
| [1] | An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources (Fernando Tricas and J Martínez), In Proc. of the 1995 IEEE Int. Conf. on Systems, Manand Cybernetics., 1995. |