Publications
[RP-92-10] An aproximation method for the performance analysis of manufacturing systems based on GSPNs. :46-55.
.
1992.
[RP-92-26] Scheduling en celdas autónomas de ensamblaje basado en un algoritmo de tiempo mínimo en RdP. :55-60.
.
1992.
[258] Properties and Performance Bounds for Timed Marked Graphs. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications. 39(5):386-401.
.
1992.
[1356] Structure Theory of Non Free Choice Systems. Final Report of the ESPRIT Basis Research Action DEMON (Design Methods based on Nets) Covering the Period 18 June 1989 to 18 March 1992. :130-134.
.
1992.
[259] Improving Throughput Upper Bounds for Net Based Models. Robotics and Flexible Manufacturing Systems. :281-294.
.
1992.
[269] Linear Algebraic Techniques for the Analysis of Petri Nets. Recent Advances in Mathematical Theory of Systems, Control, Networks, and Signal Processing II. :35-42.
.
1992.
[337] On Weighted T-Systems. Application and Theory of Petri Nets 1992. :348-367.
.
1992.
[1050] Petri net based Modelling, Analysis and Simulation of Pipelined Architectures. Parallel and Distributed Computing in Engineering Systems. :35-40.
.
1992.
[BaHeMa92] Characterizations of logarithmic advice complexity classes. :315-321.
.
1992.
[CS-LNCS-92] Structural Techniques and Performance Bounds of Stochastic Petri Net Models. 609:352-391.
.
1992.
[AESETPBI] Almost every set in exponential time is P-bi-immune. 629:392-400.
.
1992.
[RP-92-31] A polynomial-time algorithm to decide liveness of bounded free choice nets. Theoretical Computer Science. :185-205.
.
1992.
[RP-92-33] Petri Nets as a specification language for manufacturing systems. :427-436.
.
1992.
.
1992.
[C-DEMON-91] Performance Analysis of Live and Bounded Free Choice Systems. Studien. 198:38-48.
.
1991.
.
1991.
[RP-91-03] Knowledge based manufacturing modelling and analysis by integrating Petri nets. :660-668.
.
1991.
[CCS-TSE-91] Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. IEEE Transactions on Software Engineering. 17:117-125.
.
1991.
[CCS-TAC-91] Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks. IEEE Transactions on Automatic Control. 36:1368-1382.
.
1991.
[CS-Melbourne-91] Throughput Upper Bounds for Markovian Petri Nets Embedded Subnets and Queueing Networks. :312-321.
.
1991.
[CSS-Melbourne-91] Throughput Lower Bounds for Markovian Petri Nets Transformation Techniques. :322-331.
.
1991.
.
1991.
[RP-91-26] On periodic schedules for deterministically timed Petri nets systems. :210-215.
.
1991.
[RP-91-18] On the Analysis and Synthesis of Free Choice Systems. 483:243-286.
.
1991.
[1029] Petri Net Based Analysis of VHDL Programs. Second European Conference on VHDL Methods (EURO-VHDL'91). :1-10.
.
1991.