Author of the publication

The Timed (Coloured) Petri Net Formalism: Position Paper

, , , , and . Workshop on Formalisms, Principles, and State-of-the-Art, volume 14 of Band 26, Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik), Erlangen, Germany, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An Evaluation of QoS for intensive video traffic over 802.11e WLANs, , , , and . Proceedings of the 25th International Conference on Electronics, Communications and Computers (CONIELECOMP'15), page 8-15. Puebla, Mexico, IEEE Computer Society, (February 2015)Performance Evaluation for the Design of Agent-Based Systems: A Petri Net Approach, , and . Proceedings of the Workshop on Software Engineering and Petri Nets, within the 21st International Conference on Application and Theory of Petri Nets, page 1-20. Aarhus, Denmark, University of Aarhus, (June 2000)Performance Evaluation of Repetitive Automated Manufacturing Systems, , and . Proceedings of the Rensselaer's Second International Conference on Computer Integrated Manufacturing, page 74-81. Rensselaer Polytechnic Institute, Troy, NY, USA, IEEE-Computer Society Press, (May 1990)A Response Time Approximation Technique for Stochastic General P/T Systems, and . Proceedings of the 2nd IMACS International Multiconference on Computational Engineering in Systems Applications (CESA'98), Hammamet, Tunisia, (April 1998)Properties and Performance Bounds for Timed Marked Graphs, , , and . IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, 39 (5): 386-401 (May 1992)Desarrollo de una herramienta de optimización binivel utilizando CPLEX y MATLAB y generación de problemas de prueba, , and . Actas del 27 Congreso Nacional de Estad\'ıstica e Investigación Operativa, page 2931-2944. Lleida, Spain, Sociedad de Estad\'ıstica e Investigación Operativa de España y Departament de Matemàtica de la Universidad de Lleida, Edicions de la Universitat de Lleida, (April 2003)In Spanish.Performance Measures and Basic Properties. Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques, chapter 8, Editorial KRONOS, Zaragoza, Spain, (September 1998)Approximate Throughput Computation of a Class of Cooperating Sequential Processes, , and . Proceedings of the Rensselaer's Fifth International Conference on Computer Integrated Manufacturing and Automation Technology (CIMAT'96), page 382-389. Grenoble, France, (May 1996)Response Time Approximation for Stochastic Marked Graphs. Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques, chapter 23, Editorial KRONOS, Zaragoza, Spain, (September 1998)Throughput Upper Bounds for Markovian Petri Nets: Embedded Subnets and Queueing Networks, and . Proceedings of the 4rd International Workshop on Petri Nets and Performance Models, page 312-321. Melbourne, Australia, IEEE-Computer Society Press, (December 1991)