Publications
Filters: First Letter Of Last Name is S [Clear All Filters]
[251] Operational Analysis of Timed Petri Nets. 16th International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance'93).
.
1993.
[1057] Petri Nets applied to the modelling and analysis of computer architecture problems. Microprocessing and Microprogramming. The EUROMICRO Journal. 38(1):1-11.
.
1993.
[1362] Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. International Conference on Decentralized and Distributed Systems, ICDDS'93.
.
1993.
[199] Linear Analysis of Deadlock-Freeness of Petri Net Models. Second European Control Conference, ECC'93. 2:513-518.
.
1993.
[ICTeSi93] Liveness and Home States in Equal Conflict Systems. Application and Theory of Petri Nets 1993. 691:415-432.
.
1993.
[200] Modelling and Analysis of Deteministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems. :213-224.
.
1993.
[ICSilv93b] Practice of Petri-nets in manufacturing.
.
1993.
[ICSilv93a] Interleaving Functional and Performance Structural Analysis of Net Models. Application and Theory of Petri Nets 1993. 691:17-23.
.
1993.
[ICEzCoSi93] A New Technique for Finding a Generating Family of Siphons, Traps and ST-Components. Application to Coloured Petri Nets. Advances in Petri Nets. 674:126-147.
.
1993.
[1363] On Weighted T-Systems. III Jornadas de Concurrencia. :293-312.
.
1993.
[1364] Linear Analysis of Deadlock-Freeness of Petri Net Models. III Jornadas de Concurrencia. :175-180.
.
1993.
[State-of-the-art-93] The Timed Coloured Petri Net Formalism Position Paper. 14:3-60.
.
1993.
[RP-93-56] A new technique for finding a generating family of siphons, traps and st-components. 674:126-147.
.
1993.
[RP-93-57] Introducing Petri Nets.
.
1993.
[RP-92-12] B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems. Journal of Computer and System Sciences. 44:447-477.
.
1992.
[RP-92-13] Approximate throughput computation of stochastic marked graphs. Journal of Parallel and distributed computing. 15:282-295.
.
1992.
[RP-92-05] Petri nets in a knowledge representation schema for the coordination of plant elements. :271-276.
.
1992.
[RP-92-06] Response time approximation for the performance analysis of manufacturing systems modeled with stochastic marked graphs. :1000-1005.
.
1992.
[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.