Tutoring schedule.

• Master’s Thesis supervised (in Spanish).

• Subjects:
  • Data Structures and Algorithms (in Spanish).
  • Basic Algorithms (in Spanish) Follow @AlgoritmiaB
  • Advanced Techniques in Programming (in Spanish).
  • Master subject: Formal Models in Bioinformatics (in Spanish).
• Former courses and material:
  • A course on Data Structures Analysis (Turin, Italy, June 2008).
  • A course on Petri Nets and Performance Evaluation (Barcelona, Spain, June 2007).
  • A course on Performance Modelling and Evaluation (Mendoza, Argentina, November 2006).
  • A course on Algorithms (Zaragoza, 2001, in Spanish).
  • A talk on Genetic Algorithms (Zaragoza, 2005, in Spanish).
  • About Ada and gnat (in Spanish).

• Training and job offers:
  • Aldiis: mailing list for students of DIIS.
  • Exaldiis: mailing list for former students of DIIS.

1. [BC-TSMC-13] bibtex
   S. Bernardi and J. Campos, "A min-max problem for the computation of the cycle time lower bound in interval-based Time Petri Nets," IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. ?, iss. ?, p. ?-?, 2013.
   @ARTICLE{BC-TSMC-13,
  author = {S. Bernardi and J. Campos},
  title = {A min-max problem for the computation of the cycle time lower bound in interval-based {Time} {Petri} {Nets}},
  journal = {IEEE Transactions on Systems, Man, and Cybernetics: Systems},
  year = {2013},
  volume = {?},
  pages = {?-?},
  number = {?},
  month = {?},
  abstract = {The Time Petri Net with firing frequency intervals (TPNF) is a modeling formalism used to specify system behavior under timing and frequency constraints. Efficient techniques exist to evaluate the performance of TPNF models based on the computation of bounds of performance metrics (e.g., transition throughput, place marking). In this paper, we propose a min-max problem to compute the cycle time of a transition under optimistic assumptions. That is, we are interested in computing the lower bound. We will demonstrate that such a problem is related to a maximization linear programming problem (LP-max) previously stated in the literature, to compute the throughput upper bound of the transition. The main advantage of the min-max problem compared to the LP-max is that, besides the optimal value, the optimal solutions provide useful feedback to the analyst on the system behavior (e.g., performance bottlenecks). We have implemented two solution algorithms, using CPLEX APIs, to solve the min-max problem, and have compared their performance using a benchmark of TPNF models, several of these being case studies. Finally, we have applied the min-max technique for the vulnerability analysis of a critical infrastructure, i.e., the Saudi Arabian crude-oil distribution network.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/13_BC_TSMC.pdf},
  note = {To appear, DOI: 10.1109/TSMCA.2012.2226442}
}
2. [PFMBC-AINA-13] bibtex
   S. Pérez, H. Facchini, G. Mercado, L. Bisaro, and J. Campos, "EDCA 802.11e performance under different scenarios. Quantitative analysis," in Proceedings of the 27th International Conference on Advanced Information Networking and Applications (AINA’13), Barcelona, Spain, 2013, pp. 802-807.
   @INPROCEEDINGS{PFMBC-AINA-13,
  author = {S. P{\'e}rez and H. Facchini and G. Mercado and L. Bisaro and J. Campos},
  title = {{EDCA} 802.11e performance under different scenarios. Quantitative analysis},
  booktitle = {Proceedings of the 27th International Conference on Advanced Information Networking and Applications {(AINA'13)}},
  year = {2013},
  pages = {802-807},
  address = {Barcelona, Spain},
  month = {March},
  publisher = {IEEE Computer Society},
  abstract = {The global throughput of an 802.11e WLAN is determined by EDCA (Enhanced Distributed Channel Access) parameters, among other aspects, that are usually configured with predetermined and static values. This study carefully evaluates the Quality of Service (QoS) of Wi-Fi with EDCA in several realistic scenarios with noise and a blend of wireless traffic (e.g., voice, video, and best effort, with Pareto distribution). The metrics of the benefits obtained in each case are compared, and the differentiated impact of network dynamics on each case is quantified. This study proposes a new experimental scenario based on the relative proportion of traffic present in the network. Stations have been implemented using HSANs (Hierarchical Stochastic Activity Networks) and simulated using the M\"obius tool.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/13_PFMBC_AINA.pdf}
}
3. [PFMBC-JCST-13] bibtex
   S. Pérez, H. Facchini, G. Mercado, L. Bisaro, and J. Campos, "Throughput Quantitative Analysis of EDCA 802.11e in Different Scenarios," Journal of Computer Science \& Technology, vol. 13, iss. 1, pp. 16-23, 2013.
   @ARTICLE{PFMBC-JCST-13,
  author = {S. P{\'e}rez and H. Facchini and G. Mercado and L. Bisaro and J. Campos},
  title = {Throughput Quantitative Analysis of {EDCA} 802.11e in Different Scenarios},
  journal = {Journal of Computer Science \& Technology},
  year = {2013},
  volume = {13},
  pages = {16-23},
  number = {1},
  month = {April},
  abstract = {This document presents a quantitative analysis of the direct and relative throughput of IEEE 802.11e. The global throughput of an 802.11e WLAN is determined by EDCA (Enhanced Distributed Channel Access) parameters, among other aspects, that are usually configured with predetermined and static values. This study carefully evaluates the Quality of Service (QoS) of Wi-Fi with EDCA in several realistic scenarios with noise and a blend of wireless traffic (e.g., voice, video, and best effort, with Pareto distribution). The metrics of the benefits obtained in each case are compared, and the differentiated impact of network dynamics on each case is quantified. The results obtained show that the default settings are not optimal, and that with an appropriate selection, can be achieved improvements of the order of 25%, according to the type of traffic. In addition, it could be shown the quantitative impact of each parameter EDCA on the overall performance. This study proposes a new experimental scenario based on the relative proportion of traffic present in the network. Stations have been simulated using the M�bius tool, which supports an extension of SPN (Stochastic Petri Networks), known as HSAN (Hierarchical Stochastic Activity Networks).},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/13_PFMBC_JCST.pdf}
}
4. [BCM-TII-11] bibtex
   S. Bernardi, J. Campos, and J. Merseguer, "Timing-failure risk assessment of UML design using Time Petri Net bound techniques," IEEE Transactions on Industrial Informatics, vol. 7, iss. 1, pp. 90-104, 2011.
   @ARTICLE{BCM-TII-11,
  author = {S. Bernardi and J. Campos and J. Merseguer},
  title = {Timing-failure risk assessment of {UML} design using {Time} {Petri} {Net} bound techniques},
  journal = {IEEE Transactions on Industrial Informatics},
  year = {2011},
  volume = {7},
  pages = {90-104},
  number = {1},
  month = {February},
  abstract = {Software systems that do not meet their timing constraints can cause risks. In this work we propose a comprehensive method for assessing the risk of timing failure by evaluating the software design. We show how to apply best practises in software engineering and well-known Time Petri Net (TPN) modeling and analysis techniques, and we demonstrate the effectiveness of the method with reference to a case study in the domain of realtime embedded systems. The method customizes the Australian standard risk management process, where the system context is the UML-based software specification, enriched with standard MARTE profile annotations to capture non-functional system properties. During the risk analysis, a TPN is derived, via model transformation, from the software design specification and TPN bound techniques are applied to estimate the probability of timing failure. TPN bound techniques are also exploited, within the risk evaluation and treatment steps, to identify the risk causes in the software design.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/11_BCM_TII.pdf}
}
5. [Cam-TII-10] bibtex
   J. Campos, "Guest Editorial: Special Section on Formal Methods in Manufacturing," IEEE Transactions on Industrial Informatics, vol. 6, iss. 2, pp. 125-126, 2010.
   @ARTICLE{Cam-TII-10,
  author = {J. Campos},
  title = {Guest Editorial: {Special Section on Formal Methods in Manufacturing}},
  journal = {IEEE Transactions on Industrial Informatics},
  year = {2010},
  volume = {6},
  pages = {125-126},
  number = {2},
  month = {May},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/10_Cam_TII.pdf}
}
6. [ETFA-09] bibtex
   Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory AutomationPalma de Mallorca, Spain: IEEE Industrial Electronics Society, 2009.
   @PROCEEDINGS{ETFA-09, title = {Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation},
  year = {2009},
  editor = {Antoni Grau and Javier Campos and Gabriel Oliver},
  address = {Palma de Mallorca, Spain},
  publisher = {IEEE Industrial Electronics Society},
  month = {September},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/09_ETFA.pdf}
}
7. [BC-TII-09] bibtex
   S. Bernardi and J. Campos, "Computation of Performance Bounds for Real-Time Systems Using Time Petri Nets," IEEE Transactions on Industrial Informatics, vol. 5, iss. 2, pp. 168-180, 2009.
   @ARTICLE{BC-TII-09,
  author = {S. Bernardi and J. Campos},
  title = {Computation of Performance Bounds for Real-Time Systems Using Time {Petri} Nets},
  journal = {IEEE Transactions on Industrial Informatics},
  year = {2009},
  volume = {5},
  pages = {168-180},
  number = {2},
  month = {May},
  abstract = {Time Petri Nets (TPNs) have been widely used for the verification and validation of real-time systems during the software development process. Their quantitative analysis consists in applying enumerative techniques that suffer the well known state space explosion problem. To overcome this problem several methods have been proposed in the literature, that either provide rules to obtain equivalent nets with a reduced state space or avoid the construction of the whole state space. In this paper, we propose a method that consists in computing performance bounds to predict the average operational behavior of TPNs by exploiting their structural properties and by applying operational laws. Performance bound computation was first proposed for Timed (Timed PNs) and Stochastic Petri nets (SPNs). We generalize the results obtained for Timed PNs and SPNs to make the technique applicable to TPNs and their extended stochastic versions: TPN with firing frequency intervals (TPNFs) and Extended TPNs (XTPNs). Finally, we apply the proposed bounding techniques on the case study of a robot-control application taken from the literature.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/09_BC_TII.pdf}
}
8. [PJCS-TSMC-07] bibtex
   C. J. Pérez-Jiménez, J. Campos, and M. Silva, "Approximate Throughput Computation of Stochastic Weighted T-Systems," IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans, vol. 37, iss. 3, pp. 431-444, 2007.
   @ARTICLE{PJCS-TSMC-07,
  author = {C.J. P{\'e}rez-Jim{\'e}nez and J. Campos and M. Silva},
  title = {Approximate Throughput Computation of Stochastic Weighted {T}-Systems},
  journal = {IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans},
  year = {2007},
  volume = {37},
  pages = {431-444},
  number = {3},
  month = {May},
  abstract = {A general iterative technique for approximate throughput computation of stochastic live and bounded weighted T-systems is presented. It generalizes a previous technique on stochastic marked graphs. The approach has two basic foundations. First, a deep understanding of the qualitative behaviour of weighted T-systems leads to a general decomposition technique. Second, after the decomposition phase, an iterative response time approximation method is applied for the throughput computation. Existence of convergence points for the iterative approximation method can be proved. Experimental results generally have an error of less than 5%. The state space is usually reduced by more than one order of magnitude; therefore, the analysis of otherwise intractable systems is possible.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/05_PJCS_TSMC.pdf}
}
9. [CM-LNCS-06] bibtex
   J. Campos and J. Merseguer, "On the integration of UML and Petri nets in software development," Lecture Notes in Computer Science, vol. 4024, pp. 19-36, 2006.
   @ARTICLE{CM-LNCS-06,
  author = {J. Campos and J. Merseguer},
  title = {On the integration of {UML} and {Petri} nets in software development},
  journal = {Lecture Notes in Computer Science},
  year = {2006},
  volume = {4024},
  pages = {19-36},
  note = {Invited paper},
  abstract = {Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life cycle. This paper summarizes in a semiformal and illustrative way our proposal for a suitable software performance engineering process. We try to integrate in a very pragmatic approach the usual object oriented methodology ---supported with UML language and widespread CASE tools--- with a performance modelling formalism, namely stochastic Petri nets. A simple case study is used to describe the whole process. More technical details should be looked up in the cited bibliography.},
  booktitle = {Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006},
  editor = {S. Donatelli and P. S. Thiagarajan},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/06_CM_LNCS.pdf}
}
10. [PJCS-05] bibtex
    C.J. Pérez-Jiménez and J. Campos and M. Silva, Approximate Throughput Computation of Deterministic Systems of Sequential Processes: Application to Manufacturing Systems, 2005.
    @UNPUBLISHED{PJCS-05,
  author = {C.J. P{\'e}rez-Jim{\'e}nez and J. Campos and M. Silva},
  title = {Approximate Throughput Computation of Deterministic Systems of Sequential Processes: Application to Manufacturing Systems},
  note = {Submitted for publication},
  year = {2005},
  abstract = {A general iterative technique for approximate throughput computation of stochastic live and bounded Deterministic Systems of Sequential Processes (DSSP�s, a subclass of Petri nets) is presented. It generalizes a previous technique on stochastic weighted T-systems. The approach has two basic foundations. First, a deep understanding of the qualitative behaviour of DSSP�s leads to a general decomposition technique. Second, after the decomposition phase, an iterative response time approximation method is applied for the throughput computation. We apply the obtained technique to the performance evaluation of manufacturing systems modelled with Petri nets. Experimental results generally have an error of less than 5 %. The state space is usually reduced by more than one order of magnitude; therefore, the analysis of otherwise intractable systems is possible.}
}
11. [BCDM-05] bibtex
    S. Bernardi and J. Campos and S. Donatelli and J. Merseguer, GSPN Compositional Semantics for UML Statecharts and Sequence Diagrams, 2005.
    @UNPUBLISHED{BCDM-05,
  author = {S. Bernardi and J. Campos and S. Donatelli and J. Merseguer},
  title = {{GSPN} Compositional Semantics for {UML} Statecharts and Sequence Diagrams},
  note = {Submitted for publication},
  year = {2005},
  abstract = {Software performance engineering (SPE) is proposed as a method for the performance evaluation of software systems early in the development process. The generic approach of the SPE consists of deriving performance models from UML specifications. This paper, following the SPE principles, addresses the UML StateCharts (SCs) and the Sequence Diagrams (SDs) as UML specifications, while performance models are specified with Generalized Stochastic Petri Nets. The proposed derivation, actually the authors interpretation of the SC and SD, provides these two kinds of UML diagrams with a formal semantics. The interpretation is based on the UML semi-formal semantics. A software fault tolerance mechanism is used as an example to illustrate how, following the proposal, the SC and the SD are automatically converted into GSPNs. Another contribution of the work is the consistency study among the SC and the SD, since they are used in a combined manner to obtain the target performance model. The approach presented in this paper allows to derive two kinds of performance models: one representing the behaviour of the whole system and another representing the particular execution described by a SD.}
}
12. [LGMC-WOSP04] bibtex
    J. P. López-Grao, J. Merseguer, and J. Campos, "From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering," in Proceedings of the Fourth International Workshop on Software and Performance (WOSP’04), Redwood City, California, USA, 2004, pp. 25-36.
    @INPROCEEDINGS{LGMC-WOSP04,
  author = {J.P. L{\'o}pez-Grao and J. Merseguer and J. Campos},
  title = {From {UML} Activity Diagrams to Stochastic {Petri} Nets: Application to Software Performance Engineering},
  booktitle = {Proceedings of the Fourth International Workshop on Software and Performance {(WOSP'04)}},
  year = {2004},
  pages = {25-36},
  address = {Redwood City, California, USA},
  month = {January},
  publisher = {ACM},
  note = {Also in ACM SIGSOFT Software Engineering Notes, Vol. 29, no. 1, January 2004.},
  abstract = {Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the integration of formal models in the software engineering process is a must, in order to enable the application of well-known, powerful analysis techniques to software models. In previous papers the authors have stated a proposal for SPE, dealing with several UML diagram types.The proposal formalizes their semantics, and provides a method to translate them into (analyzable) GSPN models. This paper focuses on activity diagrams, which had not been dealt with so far. They will be incorporated in our SPE method, enhancing its expressivity by refining abstraction levels in the statechart diagrams. Performance requirements will be annotated according to the UML profile for schedulability, performance and time. Last but not least, our CASE tool prototype will be introduced. This tool deals with every model element from activity diagrams and ensures an automatic translation from ADs into GSPNs strictly following the process related in this paper.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/04_LGMC_WOSP.pdf}
}
13. [MC-LNCS-04] bibtex
    J. Merseguer and J. Campos, "Software Performance Modelling Using UML and Petri Nets," Lecture Notes in Computer Science, vol. 2965, pp. 265-289, 2004.
    @ARTICLE{MC-LNCS-04,
  author = {J. Merseguer and J. Campos},
  title = {Software Performance Modelling Using {UML} and {Petri} Nets},
  journal = {Lecture Notes in Computer Science},
  year = {2004},
  volume = {2965},
  pages = {265-289},
  note = {Invited paper},
  abstract = {Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as auctions or electronic commerce. Nevertheless, it is a common practice to deploy them without the expected performance. Software Performance Engineering has emerged as a discipline to complement Software Engineering research in order to address this kind of problems. In this work, we survey some recent contributions in the field of Software Performance Engineering. The approach surveyed has as main features that it uses the UML diagrams to specify the functional and performance requeriments of the system and the stochastic Petri nets formalism to analyse it.},
  booktitle = {Performance Tools and Applications to Networked Systems, Revised Tutorial Lectures from {MASCOTS} 2003},
  editor = {M.C. Calzarossa and E. Gelenbe},
  publisher = {Springer-Verlag},
  series = {Tutorials},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/04_MC_LNCS.pdf}
}
14. [GBC-IROS-04] bibtex
    C. González-Buesa and J. Campos, "Solving the Mobile Robot Localization Problem Using String Matching Algorithms," in Proceedings of the 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS’04), Sendai, Japan, 2004, pp. 2475-2480.
    @INPROCEEDINGS{GBC-IROS-04,
  author = {C. Gonz{\'a}lez-Buesa and J. Campos},
  title = {Solving the Mobile Robot Localization Problem Using String Matching Algorithms},
  booktitle = {Proceedings of the 2004 {IEEE/RSJ} International Conference on Intelligent Robots and Systems {(IROS'04)}},
  year = {2004},
  pages = {2475-2480},
  address = {Sendai, Japan},
  month = {September},
  abstract = {In this paper we address the mobile robot localization using some techniques borrowed from the Computational Biology community. The specific problem studied here is also known as the kidnapped robot problem. Our proposal is to solve this problem by string matching algorithms, which have experienced a large advance in the last years due to (for example) the Genoma Project. The paper uses three different algorithms to solve the mentioned problem and shows their advantages, such as the robustness of the results and the memory and time efficiency. These results are validated by real experimentation using panoramic images of indoor buildings, and compared and discussed with existing techniques that have been used over the same test-bed.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/04_GBC_IROS.pdf}
}
15. [BC-QEST-04] bibtex
    S. Bernardi and J. Campos, "On Performance Bounds for Interval Time Petri Nets," in Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST’04), Enschede, The Netherlands, 2004, pp. 50-59.
    @INPROCEEDINGS{BC-QEST-04,
  author = {S. Bernardi and J. Campos},
  title = {On Performance Bounds for Interval Time {Petri} Nets},
  booktitle = {Proceedings of the 1st International Conference on Quantitative Evaluation of Systems {(QEST'04)}},
  year = {2004},
  pages = {50-59},
  address = {Enschede, The Netherlands},
  month = {September},
  publisher = {IEEE Computer Society},
  abstract = {Interval time Petri Nets are Petri nets in which time intervals are associated to transitions. Their quantitative analysis basically consists in applying enumerative techniques that suffer the well known state space explosion problem. To overcome this problem several methods have been proposed in the literature, that either allow to obtain equivalent nets with a reduced state space or avoid the construction of the whole state space. The alternative method proposed here consists in computing performance bounds to partially characterize the quantitative behavior of interval time Petri Nets by exploiting their structural properties and/or by applying operational laws. The performance bound computation is not a new technique: it has been proposed for timed Petri nets. In this paper we present the results obtained from a preliminary investigation on the applicability of bounding techniques of timed Petri nets to interval time Petri Nets.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/04_BC_QEST.pdf}
}
16. [GUGC-SEIO03] bibtex
    A. González-Uzábal, C. Galé, and J. Campos, "Desarrollo de una herramienta de optimización binivel utilizando CPLEX y MATLAB y generación de problemas de prueba," in Actas del 27 Congreso Nacional de Estad\’\istica e Investigación Operativa, Lleida, Spain, 2003, pp. 2931-2944.
    @INPROCEEDINGS{GUGC-SEIO03,
  author = {A. Gonz{\'a}lez-Uz{\'a}bal and C. Gal{\'e} and J. Campos},
  title = {Desarrollo de una herramienta de optimizaci\'on binivel utilizando {CPLEX} y {MATLAB} y generaci\'on de problemas de prueba},
  booktitle = {Actas del 27 Congreso Nacional de Estad\'{\i}stica e Investigaci\'on Operativa},
  year = {2003},
  pages = {2931-2944},
  address = {Lleida, Spain},
  month = {April},
  organization = {Sociedad de Estad\'{\i}stica e Investigaci\'on Operativa de Espa\~na y Departament de Matem\`atica de la Universidad de Lleida},
  publisher = {Edicions de la Universitat de Lleida},
  note = {In Spanish},
  abstract = {En este trabajo se presenta el desarrollo de una herramienta para resolver problemas de optimizaci\'on binivel y en particular de un nivel, tanto con objetivos lineales como lineales fraccionarios, implementada en CPLEX y en MATLAB. La herramienta permite seleccionar entre varios algoritmos de resoluci\'on y obtener medidas de evaluaci\'on del rendimiento de cada uno. Se presenta tambi\'en un m\'etodo para la generaci\'on autom\'atica de problemas binivel de prueba que ayude a evaluar este tipo de herramientas. Mediante una serie de transformaciones de la matriz de coeficientes tecnol\'ogicos y la funci\'on objetivo de segundo nivel, se asegura la factibilidad del problema y que la soluci\'on del problema binivel no sea la trivial.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/03_GUGC_SEIO.pdf}
}
17. [MCM-SCI03] bibtex
    J. Merseguer, J. Campos, and E. Mena, "A Pattern-Based Approach to Model Software Performance Using UML and Petri Nets: Application to Agent-Based Systems," in Proceedings of the 7th World Multiconference on Systemics, Cybernetics and Informatics, Orlando, Florida, USA, 2003, pp. 307-313.
    @INPROCEEDINGS{MCM-SCI03,
  author = {J. Merseguer and J. Campos and E. Mena},
  title = {A Pattern-Based Approach to Model Software Performance Using {UML} and {Petri} Nets: Application to Agent-Based Systems},
  booktitle = {Proceedings of the 7th World Multiconference on Systemics, Cybernetics and Informatics},
  year = {2003},
  volume = {IX},
  pages = {307-313},
  address = {Orlando, Florida, USA},
  month = {July},
  publisher = {IIIS Press},
  abstract = {Software design and implementation using mobile agents are nowadays involved in a scepticism halo. There are researchers who question its utility because it could be a new technology that does provide new skills but it could introduce new problems. Security and performance are the most critical aspects for this new kind of software. In this paper we present a formal approach to analyse performance for this class of systems, which is integrated in the early stages of the software development process. We propose to model the software system in a pragmatic way using as a design technique the well-known design patterns; from these models, the corresponding formal performance model, in terms of Petri nets, is obtained semi-automatically by applying a set of translation rules. Therefore, the formal performance model is obtained as a by-product of the software life-cycle, preserving the benefits of the software design techniques. Finally, the formal performance model is analysed, using analytical techniques, in order to study the performance of the system. Moreover, another benefit of the proposal is that it is possible to predict the behaviour of the system without the necessity of implementing it. To illustrate the proposal, we apply it to a software retrieval service system designed using mobile agents.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/03_MCM_SCI.pdf}
}
18. [MC-SERP03] bibtex
    J. Merseguer and J. Campos, "Exploring Roles for the UML Diagrams in Software Performance Engineering," in Proceedings of the 2003 International Conference on Software Engineering Research and Practice (SERP’03), Las Vegas, Nevada, USA, 2003, pp. 43-47.
    @INPROCEEDINGS{MC-SERP03,
  author = {J. Merseguer and J. Campos},
  title = {Exploring Roles for the {UML} Diagrams in Software Performance Engineering},
  booktitle = {Proceedings of the 2003 International Conference on Software Engineering Research and Practice {(SERP'03)}},
  year = {2003},
  pages = {43-47},
  address = {Las Vegas, Nevada, USA},
  month = {June},
  publisher = {CSREA Press},
  abstract = {It is not an overstatement to say that the gap between software design and performance evaluation techniques has caused the misuse of the last ones by software engineers. The UML profile for schedulability, performance and time arose from the intention to close both fields, software engineering and performance analysis. Nevertheless the gap remains, since it is difficult for software engineers to devise which parts of their designs are suitable to represent performance requirements. The profile has started to study this problem from a scenarios viewpoint. In this work, we explore other viewpoints to deal with performance requirements at software design level.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/03_MC_SERP.pdf}
}
19. [MCM-WINET03] bibtex
    J. Merseguer, J. Campos, and E. Mena, "Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison," Wireless Networks: The Journal of Mobile Communication, Computation and Information, vol. 9, iss. 3, pp. 223-238, 2003.
    @ARTICLE{MCM-WINET03,
  author = {J. Merseguer and J. Campos and E. Mena},
  title = {Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison},
  journal = {Wireless Networks: The Journal of Mobile Communication, Computation and Information},
  year = {2003},
  volume = {9},
  pages = {223-238},
  number = {3},
  month = {May},
  abstract = {Nowadays, there exist web sites that allow users to retrieve and install software in an easy way. The performance of these sites may be poor if they are used in wireless networks; the reason is the inadequate use of the net resources that they need. If this kind of systems are designed using mobile agent technology the previous problem might be avoided. In this paper, we present a comparison between the performance of a software retrieval system especially designed to be used in a wireless network and the performance of a software retrieval system similar to the well-known Tucows.com web site. In order to compare performance, we make use of a software performance process enriched with formal techniques. The process has as important features that it uses UML as a design notation and it uses stochastic Petri nets as formal model. Petri nets provide a formal semantics for the system and a performance model.},
  publisher = {Kluwer Academic Publishers},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/03_MCM_WINET.pdf}
}
20. [LGMC-02b] bibtex
    J. P. López-Grao, J. Merseguer, and J. Campos, "On the Use of Formal Models in Software Performance Evaluation," in Actas de las X Jornadas de Concurrencia, Jaca, Spain, 2002, pp. 367-387.
    @INPROCEEDINGS{LGMC-02b,
  author = {J.P. L{\'o}pez-Grao and J. Merseguer and J. Campos},
  title = {On the Use of Formal Models in Software Performance Evaluation},
  booktitle = {Actas de las {X} Jornadas de Concurrencia},
  year = {2002},
  pages = {367-387},
  address = {Jaca, Spain},
  month = {June},
  publisher = {Universidad de Zaragoza},
  abstract = {Importance of performance evaluation at first stages of the software development life-cycle has been progressively rising. We believe that the need for integration of formal models in the software engineering process is a must in order to apply well-known analysis techniques to software models. In previous papers it has been stated our proposal of extension of UML semantics for some diagram types and a complete method to translate them into GSPN models. Here we will focus on activity diagrams: a new translation method for them will be presented, while we explain their link with other UML diagrams such as statecharts so as to amplify the expressivity at system description. Last but not least, our CASE tool prototype will be introduced. As it will be seen, every modeling aspect for these diagrams will be covered and, thanks to it, the translation process will be automatically performed.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/02_LGMC_JJCC.pdf}
}
21. [CCCMMPPRS-02] bibtex
    J. Campos and J. Casanovas and J.M. Colom and G. Martín and J. Martínez and A. Pont and R. Puigjaner and A. Robles and M.R. Sancho, Informe sobre la adaptación de los estudios de TIC a la Declaración de BoloniaBarcelona, Spain: , 2002.
    @UNPUBLISHED{CCCMMPPRS-02,
  author = {J. Campos and J. Casanovas and J.M. Colom and G. Mart\'{i}n and J. Mart\'{i}nez and A. Pont and R. Puigjaner and A. Robles and M.R. Sancho},
  title = {Informe sobre la adaptaci\'on de los estudios de {TIC} a la {D}eclaraci\'on de {B}olonia},
  note = {In Spanish},
  address = {Barcelona, Spain},
  year = {2002},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/02_informeTIC.pdf}
}
22. [MBCD-wodes02] bibtex
    J. Merseguer, S. Bernardi, J. Campos, and S. Donatelli, "A Compositional Semantics for UML State Machines Aimed at Performance Evaluation," in Proceedings of the 6th International Workshop on Discrete Event Systems, Zaragoza, Spain, 2002, pp. 295-302.
    @INPROCEEDINGS{MBCD-wodes02,
  author = {J. Merseguer and S. Bernardi and J. Campos and S. Donatelli},
  title = {A Compositional Semantics for {UML} State Machines Aimed at Performance Evaluation},
  booktitle = {Proceedings of the 6th International Workshop on Discrete Event Systems},
  year = {2002},
  editor = {M. Silva and A. Giua and J.M. Colom},
  pages = {295-302},
  address = {Zaragoza, Spain},
  month = {October},
  publisher = {IEEE Computer Society Press},
  abstract = {Unified Modeling Language (UML) is gaining widespread acceptance as an effective way to describe the behaviour of systems. As such it has also attracted the attention of researchers that are interested in deriving, automatically, performance evaluation models from system's descriptions. A required step to automatically produce a performance model (as any executable model) is that the semantics of the description language is formally defined. Among the various models of UML we concentrate on States Machines and we build a semantics for them in terms of Generalized Stochastic Petri Nets, a well established modelling formalism for the performance evaluation of distributed systems. The paper introduces rules that allow to derive from a description of a system, expressed as a set of State Machines, an executable GSPN model. The semantics is compositional since the executable GSPN model is obtained by composing, using standard Petri Net operators, the GSPN models of the single State Machines, and each GSPN model is obtained by composition of submodels for State Machine basic features such as internal and outgoing transitions, states, actions, and events.},
  institution = {Departamento de Inform\'atica e Ingenier\'{\i}a de Sistemas, Universidad de Zaragoza},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/02_MBCD_WODES.pdf}
}
23. [LGMC-02c] bibtex
    J. P. López-Grao, J. Merseguer, and J. Campos, "Performance Engineering Based on UML and SPNs: A Software Performance Tool," in Proceedings of the Seventeenth International Symposium on Computer and Information Sciences, Orlando, Florida, USA, 2002, pp. 405-409.
    @INPROCEEDINGS{LGMC-02c,
  author = {J.P. L{\'o}pez-Grao and J. Merseguer and J. Campos},
  title = {Performance Engineering Based on {UML} and {SPN�s}: A Software Performance Tool},
  booktitle = {Proceedings of the Seventeenth International Symposium on Computer and Information Sciences},
  year = {2002},
  pages = {405-409},
  address = {Orlando, Florida, USA},
  month = {October},
  organization = {University of Central Florida},
  publisher = {CRC Press},
  abstract = {The increasing relevance of UML as a semi�formal modelling paradigm has entailed the need for an adjustment of the classical performance evaluation methods within the scope of the new working environment. Under these circumstances, a formal semantics for the UML language and a strong mathematical substratum are required in order to be able to compute performance estimates and validate logical properties in the first stages of the software life�cycle. We believe that stochastic Petri nets are specially suited for this aim. A compositional approach for the translation of several UML diagrams into analyzable Petri net models has there fore been considered in previous papers. Following this ap proach, we will focus here in the depiction of a model case study from the perspective of our new performance�oriented CASE tool.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/02_LGMC_ISCIS.pdf}
}
24. [MCM-MSWiM-01] bibtex
    J. Merseguer, J. Campos, and E. Mena, "Performance Analysis of Internet Based Software Retrieval Systems Using Petri Nets," in Proceedings of the 4th ACM International Workshop on Modeling, Analysis and Simulation of Wireless and Mobile Systems, within the 7th International Conference on Mobile Computing and Networking, Rome, Italy, 2001, pp. 47-56.
    @INPROCEEDINGS{MCM-MSWiM-01,
  author = {J. Merseguer and J. Campos and E. Mena},
  title = {Performance Analysis of Internet Based Software Retrieval Systems Using {Petri} Nets},
  booktitle = {Proceedings of the 4th {ACM} International Workshop on Modeling, Analysis and Simulation of Wireless and Mobile Systems, within the 7th International Conference on Mobile Computing and Networking},
  year = {2001},
  editor = {M. Meo and T. Dahlberg and L. Donatiello},
  pages = {47-56},
  address = {Rome, Italy},
  month = {July},
  publisher = {ACM},
  abstract = {Nowadays, there exist web sites that allow users the retrieval and installation of software in an easy way. The performance of this task may be poor because of an inadequate use of the net resources. If these kind of systems were designed using mobile agent technology this problem might be avoided. In this paper, we present a comparison between the performance of a software retrieval system designed using mobile agents and the performance of a software retrieval system similar to the well-known Tucows or Download.com web sites. In order to compare performance, we make use of a software performance process enriched with formal techniques. The process has as important features that it uses UML as a design notation and it uses Petri nets as formal model. Petri nets provide a formal semantic for the system and a performance model.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/01_MCM_MSWiM.pdf}
}
25. [Cam-EVI-01] bibtex
    J. Campos, "Evaluación de Prestaciones de Sistemas Concurrentes Modelados con Redes de Petri," in Actas de la XI Escuela de Verano de Informática de la Universidad de Castilla-La Mancha, Universidad de Castilla-La Mancha, Albacete, Spain, 2001, pp. 141-156.
    @INPROCEEDINGS{Cam-EVI-01,
  author = {J. Campos},
  title = {Evaluaci\'on de Prestaciones de Sistemas Concurrentes Modelados con Redes de {Petri}},
  booktitle = {Actas de la {XI} Escuela de Verano de Inform\'atica de la Universidad de Castilla-La Mancha},
  year = {2001},
  pages = {141-156},
  address = {Universidad de Castilla-La Mancha, Albacete, Spain},
  month = {July},
  publisher = {Departamento de Inform\'atica},
  note = {In Spanish},
  abstract = {Formal methods are the most suitable way to model and analyze several kinds of software systems. However, conventional methods are gaining placed in Software Engineering field because they can be easily applied in all the stages of the software life cycle. The combination of formal and conventional methods could be an interesting approach to describe and analyze some software aspects, as for example, the performance of the system. In this way, we make use of a software performance process enriched with formal techniques. The process has as important features that it uses UML as a design notation and it uses stochastic Petri nets as formal model. Petri nets provide a formal semantics for the system and a performance model, while UML supplies the framework and tools to document the system. The process is used in this article to present a performance comparison between software retrieval systems. Nowadays, there exist web sites that allow users to retrieve and install software in an easy way. The performance of these sites may be poor if they are used in wireless networks; the reason is the inadequate use of the net resources they need. In this article, we show that if this kind of systems are designed using mobile agent technology the previous problem might be avoided.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/01_Cam_EVI.pdf}
}
26. [MCM-LNCS-01] bibtex
    J. Merseguer, J. Campos, and E. Mena, "A Performance Engineering Case Study: Software Retrieval System," Lecture Notes in Computer Science, vol. 2047, pp. 317-332, 2001.
    @ARTICLE{MCM-LNCS-01,
  author = {J. Merseguer and J. Campos and E. Mena},
  title = {A Performance Engineering Case Study: Software Retrieval System},
  journal = {Lecture Notes in Computer Science},
  year = {2001},
  volume = {2047},
  pages = {317-332},
  abstract = {This chapter presents a case study in performance engineering. The case study consists of a Software Retrieval System based on agents. The system is modelled in a pragmatic way using the Unified Modeling Language and in a formal way using stochastic Petri Nets. Once the system has been modelled, performance figures are obtained from the formal model. Finally, some concluding remarks are obtained from our experience in the software performance process.},
  address = {Heidelberg},
  booktitle = {Performance Engineering. State of the Art and Current Trends},
  editor = {R. Dumke and C. Rautenstrauch and A. Schmietendorf and A. Scholz},
  publisher = {Springer-Verlag},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/01_MCM_LNCS.pdf}
}
27. [MCM-JJCC-01] bibtex
    J. Merseguer, J. Campos, and E. Mena, "Web-Based Versus Mobile Agent-Based Software Retrieval Systems: Performance Comparison," in Actas de las IX Jornadas de Concurrencia, Sitges, Spain, 2001, pp. 299-312.
    @INPROCEEDINGS{MCM-JJCC-01,
  author = {J. Merseguer and J. Campos and E. Mena},
  title = {Web-Based Versus Mobile Agent-Based Software Retrieval Systems: Performance Comparison},
  booktitle = {Actas de las {IX} Jornadas de Concurrencia},
  year = {2001},
  pages = {299-312},
  address = {Sitges, Spain},
  month = {June},
  publisher = {Universitat Ramon Llull},
  abstract = {Nowadays, there exist web sites that allow users to retrieve and install software in an easy way. The performance of these sites may be poor if they are used in wireless networks; the reason is the inadequate use of the net resources they need. If this kind of systems are designed using mobile agent technology the previous problem might be avoided. In this paper, we present a comparison between the performance of a software retrieval system especially designed to be used in wireless networks (e.g., mobile computers) and the performance of a software retrieval system similar to the well-known Tucows.com or Download.com web sites. In order to compare performance, we make use of a software performance process enriched with formal techniques. The process has as important features that it uses UML as a design notation and it uses stochastic Petri nets as formal model. Petri nets provide a formal semantics for the system and a performance model.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/01_MCM_JJCC.pdf}
}
28. [C-RR-00-00] bibtex
    J. Campos, "Petri Nets," Departamento de Informática e Ingenier\’\ia de Sistemas, Universidad de Zaragoza, Internal Report , 2000.
    @TECHREPORT{C-RR-00-00,
  author = {J. Campos},
  title = {{Petri} Nets},
  institution = {Departamento de Inform\'atica e Ingenier\'{\i}a de Sistemas},
  year = {2000},
  type = {Internal Report},
  address = {Universidad de Zaragoza},
  month = {February},
  abstract = {A brief introduction (3 pages) to the topic for an Encyclopedia.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/00_C_PN.pdf}
}
29. [MCM-WOSP-00] bibtex
    J. Merseguer, J. Campos, and E. Mena, "A Pattern-Based Approach to Model Software Performance," in Proceedings of the Second International Workshop on Software and Performance, Ottawa, Canada, 2000, pp. 137-142.
    @INPROCEEDINGS{MCM-WOSP-00,
  author = {J. Merseguer and J. Campos and E. Mena},
  title = {A Pattern-Based Approach to Model Software Performance},
  booktitle = {Proceedings of the Second International Workshop on Software and Performance},
  year = {2000},
  pages = {137-142},
  address = {Ottawa, Canada},
  month = {September},
  publisher = {ACM},
  abstract = {The use of the object-oriented paradigm in the software industry is nowadays a reality. Approximations like frameworks, components, workflows or patterns are gaining place, sometimes to complement object-oriented development. Like the object-oriented paradigm of these approaches make special emphasis on the reuse of the software as a way to increase productivity. But the performance of software systems is not as good as desired. Thus, techniques to predict it are subject of research. Software Performance Engineering is concerned with these problems. Here we present an approach to reuse performance models developed in the early stages of the software development process. The approach has as a goal the use of formal models to predict performance.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/00_MCM_WOSP.pdf}
}
30. [MCM-SEPN-00] bibtex
    J. Merseguer, J. Campos, and E. Mena, "Performance Evaluation for the Design of Agent-Based Systems: A Petri Net Approach," in Proceedings of the Workshop on Software Engineering and Petri Nets, within the 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, 2000, pp. 1-20.
    @INPROCEEDINGS{MCM-SEPN-00,
  author = {J. Merseguer and J. Campos and E. Mena},
  title = {Performance Evaluation for the Design of Agent-Based Systems: A {Petri} Net Approach},
  booktitle = {Proceedings of the Workshop on Software Engineering and Petri Nets, within the 21st International Conference on Application and Theory of Petri Nets},
  year = {2000},
  editor = {Mauro Pezz{\'e} and Sol M. Shatz},
  pages = {1-20},
  address = {Aarhus, Denmark},
  month = {June},
  publisher = {University of Aarhus},
  abstract = {Software design and implementation using mobile agents are nowadays involved in a scepticism halo. There exist researchers who question its utility because it is a new technology that could provide no new skills but it could introduce new problems. Security and performance are the most critical aspects for this new kind of software. In this contribution we present a formal approach to analyze performance for this class of systems. Our approach is integrated in the early stages of the software development process. In this way, it is possible to predict expected behaviour without the necessity to carry out the complete implementation phase. To show the approach, we model a software retrieval service system in a pragmatic way, after the corresponding formal model is obtained and analyzed in order to study performance.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/00_MCM_SEPN.pdf}
}
31. [MCM-JJCC-00] bibtex
    J. Merseguer, J. Campos, and E. Mena, "Evaluating Performance on Mobile Agents Software Design," in Actas de las VIII Jornadas de Concurrencia, Cuenca, Spain, 2000, pp. 291-307.
    @INPROCEEDINGS{MCM-JJCC-00,
  author = {J. Merseguer and J. Campos and E. Mena},
  title = {Evaluating Performance on Mobile Agents Software Design},
  booktitle = {Actas de las VIII Jornadas de Concurrencia},
  year = {2000},
  editor = {D. Cazorla},
  pages = {291-307},
  address = {Cuenca, Spain},
  month = {June},
  publisher = {Universidad de Castilla-la Mancha},
  abstract = {Software design and implementation using mobile agents are nowadays involved in a scepticism halo. There exist researchers who question its utility because it could be a new technology which no new skills but could introduce new problems. Security and performance are the most critical aspects for this new kind of software. In this contribution we present a formal approach to analyze performance for this class of systems. Our approach is integrated in the early stages of the software development process. In this way, it is possible to predict expected behaviour without the necessity of carry out the complete implementation phase. To show the approach, we model a software retrieval service system in a pragmatic way, after the corresponding formal model is obtained and analyzed in order to study performance.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/00_MCM_JJCC.pdf}
}
32. [PJC-JJCC99] bibtex
    C. J. Pérez-Jiménez and J. Campos, "On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets," in Actas de las VII Jornadas de Concurrencia, Gand\’\ia, Spain, 1999, pp. 249-268.
    @INPROCEEDINGS{PJC-JJCC99,
  author = {C. J. P{\'e}rez-Jim{\'e}nez and J. Campos},
  title = {On State Space Decomposition for the Numerical Analysis of Stochastic {Petri} Nets},
  booktitle = {Actas de las VII Jornadas de Concurrencia},
  year = {1999},
  editor = {J.M. Bernab{\'e}u and F.D. Mu{\~n}oz},
  pages = {249-268},
  address = {Gand{\'{\i}}a, Spain},
  month = {June},
  publisher = {Universidad Polit{\'e}cnica de Valencia},
  abstract = {Stochastic Petri nets is a well-known formalism adequate for the design, validation, and performance evaluation of discrete event systems, computer systems, manufacturing systems, telecommunication networks, and so on. In this paper, we deal with three different techniques to decompose the state space of a general stochastic Petri net that can be used to decrease the time and memory requirements of numerical analysis algorithms. The presented techniques are based on the divide and conquer principle to compute from the original model several submodels. These submodels can be used for a functional analysis, structural analysis and performance evaluation (exact and approximate). In this paper we apply the techniques to approximate throughput computation.}
}
33. [PJC-PNPM99] bibtex
    C. J. Pérez-Jiménez and J. Campos, "On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets," in Proceedings of the 8th International Workshop on Petri Nets and Performance Models, Zaragoza, Spain, 1999, pp. 32-41.
    @INPROCEEDINGS{PJC-PNPM99,
  author = {C.J. P{\'e}rez-Jim{\'e}nez and J. Campos},
  title = {On State Space Decomposition for the Numerical Analysis of Stochastic {Petri} Nets},
  booktitle = {Proceedings of the 8th International Workshop on Petri Nets and Performance Models},
  year = {1999},
  pages = {32-41},
  address = {Zaragoza, Spain},
  month = {September},
  publisher = {IEEE Computer Society Press},
  abstract = {Net-driven decomposition techniques are considered in this paper in order to reduce the state explosion problem for the computation of performance indices of stochastic Petri nets. Basically, the idea is to represent (or partially represent) in a decomposed manner the reachability graph of the model so it can be used for exact and/or approximated performance analysis. In that way, the complete storing of the graph is avoided and, for the case of approximate analysis, the solution of the isomorphous continuous time Markov chain is substituted by the solution of smaller components. The techniques are applied to a couple of non-trivial models.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/99_PJC_PNPM.pdf}
}
34. [CDS-TSE-99] bibtex
    J. Campos, S. Donatelli, and M. Silva, "Structured Solution of Asynchronously Communicating Stochastic Modules," IEEE Transactions on Software Engineering, vol. 25, iss. 2, pp. 147-165, 1999.
    @ARTICLE{CDS-TSE-99,
  author = {J. Campos and S. Donatelli and M. Silva},
  title = {Structured Solution of Asynchronously Communicating Stochastic Modules},
  journal = {IEEE Transactions on Software Engineering},
  year = {1999},
  volume = {25},
  pages = {147-165},
  number = {2},
  month = {March},
  abstract = {Asynchronously Communicating Stochastic Modules (SAM) are Petri nets that can be seen as a set of modules that communicate through buffers, so they are not (yet another) Petri net subclass, but they complement a net with a structured view. This paper considers the problem of exploiting the compositionality of the view to generate the state space and to find the steady-state probabilities of a stochastic extension of SAM in a net-driven, efficient way. Essentially, we give an expression of an auxiliary matrix, G, which is a supermatrix of the infinitesimal generator of a SAM. G is a tensor algebra [Davio 1981] expression of matrices of the size of the components for which it is possible to numerically solve the characteristic steady-state solution equation pi.G = 0, without the need to explicitly compute G. Therefore, we obtain a method that computes the steady-state solution of a SAM without ever explicitly computing and storing its infinitesimal generator, and therefore without computing and storing the reachability graph of the system. Some examples of application of the technique are presented and compared to previous approaches.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/99_CDS_TSE.ps.gz}
}
35. [C-Zaragoza-99] bibtex
    J. Campos, "PNPM’99-PAPM’99-NSMC’99 Tutorial: Properties and Bounds on P/T Nets," in Tutorials of the 8th International Workshop on Petri Nets and Performance Models, 7th International Workshop on Process Algebra and Performance Modelling, and 3rd International Meeting on Numerical Solution of Markov Chains, Zaragoza, Spain, 1999.
    @INPROCEEDINGS{C-Zaragoza-99,
  author = {J. Campos},
  title = {{PNPM'99-PAPM'99-NSMC'99 Tutorial}: Properties and Bounds on {P/T} Nets},
  booktitle = {Tutorials of the 8th International Workshop on Petri Nets and Performance Models, 7th International Workshop on Process Algebra and Performance Modelling, and 3rd International Meeting on Numerical Solution of Markov Chains},
  year = {1999},
  address = {Zaragoza, Spain},
  month = {September},
  abstract = {A complementary approach to exact or approximation techniques for the analysis of timed or stochastic Petri net models is the computation of bounds for their performance measures. Performance bounds are useful in the preliminary phases of the design of a system, in which many parameters are not known accurately. Several alternatives for those parameters should be quickly evaluated, and rejected those that are clearly bad. Exact (and even approximate) solutions would be computationally very expensive. Bounds become useful in these instances since they usually require much less computation effort. In this tutorial, net-driven techniques for the computation of bounds for the main performance indices of timed Petri net models are considered. Special attention is given tothe intimate relationship between qualitative and quantitative aspects of Petri nets. In particular, the intensive use of structure theory of net models allows to obtain very efficient computation techniques.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/99_C_Zaragoza}
}
36. [SC-wodes98] bibtex
    M. Silva and J. Campos, "Performance Evaluation of DEDS with Conflicts and Synchronizations: Net-Driven Decomposition Techniques," in Proceedings of the 4th International Workshop on Discrete Event Systems, Cagliari, Italy, 1998, pp. 398-413.
    @INPROCEEDINGS{SC-wodes98,
  author = {M. Silva and J. Campos},
  title = {Performance Evaluation of {DEDS} with Conflicts and Synchronizations: Net-Driven Decomposition Techniques},
  booktitle = {Proceedings of the 4th International Workshop on Discrete Event Systems},
  year = {1998},
  pages = {398-413},
  address = {Cagliari, Italy},
  month = {August},
  publisher = {IEE Control},
  abstract = {A fundamental question in performance evaluation, even under Markovian interpretation, is the so called state explosion problem, what arises if no closed solution exists (e.g., a product-form). In order to deal with computationally complex problems, divide and conquer strategies are sometimes successful. Here we focus on the applicability of net structure theory to the decomposition phase. A taxonomy using two criteria allows to situate many performance evaluation techniques in the literature. The solution or composition phase may employ techniques as different as Kronecker algebra, response time approximation or bottleneck analysis.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/98_SC_wodes.ps.gz}
}
37. [PJC-98] bibtex
    C. J. Pérez-Jiménez and J. Campos, "A Response Time Approximation Technique for Stochastic General P/T Systems," in Proceedings of the 2nd IMACS International Multiconference on Computational Engineering in Systems Applications (CESA’98), Hammamet, Tunisia, 1998.
    @INPROCEEDINGS{PJC-98,
  author = {C.J. P{\'e}rez-Jim{\'e}nez and J. Campos},
  title = {A Response Time Approximation Technique for Stochastic General {P/T} Systems},
  booktitle = {Proceedings of the 2nd IMACS International Multiconference on Computational Engineering in Systems Applications (CESA'98)},
  year = {1998},
  address = {Hammamet, Tunisia},
  month = {April},
  abstract = {Stochastic Petri nets is a well-known formalism adequate for the design, validation, and performance evaluation of discrete event and manufacturing systems. In this paper, we deal with steady-state throughput approximation of complex concurrent systems modelled with stochastic Petri nets. More precisely, we generalize to arbitrary stochastic P/T systems a response time approximation technique that was firstly proposed for special net subclasses. The presented technique is based on the divide and conquer principle and it is achieved in two steps. The first one, a net-driven decomposition of the model into several subsystems and the second one, an iterative solution algorithm that computes a throughput approximation of the original model transitions based on the solution of the embedded continuous time Markov chain of the subsystems. Experimental results on several examples generally have an error of less than 5%, and the state space is usually reduced by more than one order of magnitude.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/98_PJC.ps.gz}
}
38. [SC-MATCH20-98] bibtex
    M. Silva and J. Campos, "Introduction to Net-Driven Decomposition Techniques," , Balbo, G. and Silva, M., Eds., Zaragoza, Spain: Editorial KRONOS, 1998, pp. 693-718.
    @INCOLLECTION{SC-MATCH20-98,
  author = {M. Silva and J. Campos},
  title = {Introduction to Net-Driven Decomposition Techniques},
  booktitle = {Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques},
  publisher = {Editorial KRONOS},
  year = {1998},
  editor = {G. Balbo and M. Silva},
  chapter = {20},
  pages = {693-718},
  address = {Zaragoza, Spain},
  month = {September},
  abstract = {As stated in previous chapters, a fundamental question in the use of stochastic Petri net models for performance evaluation, even under Markovian stochastic interpretation, is the so called state explosion problem. A general approach to deal with (computational) complexity is to use a divide and conquer strategy, what requires the definition of a decomposition method and the subsequent composition of partial results to get the full solution. On the other hand, the trade-off between computational cost and accuracy of the solution leads to the use of approximation or bounding techniques (for instance, throughput bounds can be computed in polynomial time on the number of transitions and places, see Chapter 17). In this context, a pragmatic compromise to be handled by the analyzer of a system concerns the definition of faithful models, that may be very complex to exactly analyse (what may lead to the use of approximation or just bounding techniques), or simplified models, for which exact analysis can be, eventually, accomplished. Divide and conquer strategies can be used with exact, approximate, or bounding techniques. The techniques for performance evaluation present in the literature consider either implicit or explicit decomposition of net models. In [7] (see Chapter 17), an implicit decomposition into P-semiflows is used for computing throughput bounds for arbitrary pdf of time durations. In [19] (see Chapter 12), a decomposition into disjoint modules (usually subnets generated by P-semiflows) is defined by the analyzer or provided by model construction; the computational technique uses directly the information provided by the modules to compute exact global limit probability distribution vector. In [8], a decomposition into modules (connected through buffers) should also be provided. In this case, the modules are complemented with an abstract view of their environment in the full model, and the approximate solution is computed through an iterative technique looking for a fixed point (details will be presented in Chapter 23). In the sequel of this Chapter and in a general context, components will refer to (eventually) complemented modules. They are just the elements used to build the full solution. In order to get efficient techniques, the decomposition and, eventually, complementation process should be net-driven (i.e., derived at net level). For this, we shall use PN's structure theory concepts and techniques (e.g., P-semiflows, implicit places, etc.). The Chapter is organised as follows. The main ideas behind net-driven decompositions of PN's are introduced in Section 20.1: the conservative and consistent components (Section 20.1.1), an example of implicit search technique into conservative components (Section 20.1.2), an explicit decomposition of nets, designating the modules to be used (Section 20.1.3), and the complementation of modules to get components (that include information from the environment), using implicit places (Section 20.1.4). A taxonomy for net-driven decomposition techniques is proposed in Section 20.2, providing a framework for the consideration of a significant number of performance evaluation methods. Several representative examples of techniques present in the literature are briefly overviewed and classified according with the classification criteria. Some concluding remarks are included in Section 20.3.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/98_SC_MATCH20.ps.gz}
}
39. [C-MATCH8-98] bibtex
    J. Campos, "Performance Measures and Basic Properties," , Balbo, G. and Silva, M., Eds., Zaragoza, Spain: Editorial KRONOS, 1998, pp. 285-304.
    @INCOLLECTION{C-MATCH8-98,
  author = {J. Campos},
  title = {Performance Measures and Basic Properties},
  booktitle = {Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques},
  publisher = {Editorial KRONOS},
  year = {1998},
  editor = {G. Balbo and M. Silva},
  chapter = {8},
  pages = {285-304},
  address = {Zaragoza, Spain},
  month = {September},
  abstract = {A goal of performance modelling with timed Petri nets (TPN's) is the estimation of some quantifiable performance measures of the system under consideration by the simulation or analysis of the model of the system behaviour. In order to do that, responsiveness and utilization performance measures of the system must be described in terms of average values of operational quantities defined on the TPN model, like the average marking of a place or the firing frequency of a transition. In Section 8.1, the usual average performance indices for TPN models are derived operationally from the basic observable events that were defined in Chapter 3. Sections 8.2 and 8.3 are devoted to exploit the operational approach for the definition of performance measures. In Section 8.2, operational analysis techniques are used to partially characterize the behaviour of TPN models. Classical operational laws, like Little's law are stated in Petri net terms. Additionally, some operational inequalities are derived that are typical of the presence of synchronization and that have not been considered before in the framework of queueing networks models. Section 8.3 illustrates another aspect of the deep gap, from the analytical point of view, existing between classical monoclass product-form queueing networks and TPN's. While in Gordon-Newell networks the vector of visit ratios to the stations can be easily (efficiently) computed from the routing information, in the case of bounded TPN's the computability of such index is a quite complex problem. This problem leads to a classification of net models attending to the dependency of the visit ratios on the net structure and the probabilistic routing, on the initial marking, and on the firing time of transitions. Since few operational analysis techniques can presently be used to compute the performance indices of interest, the classical approach based on stochastic processes must be considered. Section 8.4 introduces also the definition of performance parameters on the TPN model as expected values of the random variables that characterize the behaviour of the model, under some stochastic assumptions. As the reader surely knows, under ergodicity conditions the average (operationally defined) performance indices are equal to the expected (stochastically defined) indices, thus the techniques that will be presented later on for the computation of expected values will be useful to compute the average performance measures of interest. Some bibliographic remarks are summarized in Section 8.5.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/98_C_MATCH8.ps.gz}
}
40. [C-MATCH17-98] bibtex
    J. Campos, "Performance Bounds," , Balbo, G. and Silva, M., Eds., Zaragoza, Spain: Editorial KRONOS, 1998, pp. 587-635.
    @INCOLLECTION{C-MATCH17-98,
  author = {J. Campos},
  title = {Performance Bounds},
  booktitle = {Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques},
  publisher = {Editorial KRONOS},
  year = {1998},
  editor = {G. Balbo and M. Silva},
  chapter = {17},
  pages = {587-635},
  address = {Zaragoza, Spain},
  month = {September},
  abstract = {A complementary approach to exact or approximation techniques for the analysis of queueing network models is the computation of bounds for their performance measures. Performance bounds are useful in the preliminary phases of the design of a system, in which many parameters are not known accurately. Several alternatives for those parameters should be quickly evaluated, and rejected those that are clearly bad. Exact (and even approximate) solutions would be computationally very expensive. Bounds become useful in these instances since they usually require much less computation effort. In this chapter, we concentrate in net-driven techniques for the computation of bounds for the main performance indices of timed Petri net models. Previous works on bounds computation for classical queueing networks are not included here and the interested reader is referred to the bibliographic remarks in Section 17.5. The presented techniques are characterized by their interest in stressing the intimate relationship between qualitative and quantitative aspects of Petri nets. In particular, the intensive use of structure theory of net models allows to obtain very efficient computation techniques. The organization of the chapter is the following. In Section 17.1, a general approach for the computation of upper and lower bounds for arbitrary linear functions of average marking of places and throughput of transitions of both timed Place/Transition nets and timed Well-Formed Coloured nets is presented. Section 17.2 includes a more intuitive approach for the computation of throughput upper bounds, even if it is valid only for restricted Petri net subclasses. The relation of this technique with the general approach and the attainability of the bound for a particular subclass of nets is included. In Section 17.3, two possible improvements of upper and lower throughput bounds are presented using implicit places and liveness bounds of transitions, respectively. All the bounds computed in Sections 17.1, 17.2 and 17.3 are insensitive to the timing probability distributions since they are based only on the knowledge of the average service times. Section 17.4 includes a brief overview of three additional techniques for the improvement of the bounds. Since some additional assumptions on the form of the probability distribution functions associated to the service of transitions or on the conflict resolution policies are done, the obtained bounds are non-insensitive. Finally, some bibliographic remarks are included in Section 17.5.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/98_C_MATCH17.ps.gz}
}
41. [C-MATCH23-98] bibtex
    J. Campos, "Response Time Approximation for Stochastic Marked Graphs," , Balbo, G. and Silva, M., Eds., Zaragoza, Spain: Editorial KRONOS, 1998, pp. 797-817.
    @INCOLLECTION{C-MATCH23-98,
  author = {J. Campos},
  title = {Response Time Approximation for Stochastic Marked Graphs},
  booktitle = {Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques},
  publisher = {Editorial KRONOS},
  year = {1998},
  editor = {G. Balbo and M. Silva},
  chapter = {23},
  pages = {797-817},
  address = {Zaragoza, Spain},
  month = {September},
  abstract = {A general iterative technique for approximate throughput computation of strongly connected stochastic marked graphs (SMG's) is presented in this Chapter. We consider SMG's with time and marking independent exponentially distributed service times associated with transitions. The approach has two basic foundations. First, it is deeply based on qualitative theory of MG's. More precisely, given an arbitrary cut (subset of places producing a net partition), a structural decomposition technique is developed that allows us to split a strongly connected MG into two aggregated subsystems and a basic skeleton system. And what is more important, the behaviours of the subsystems, including steps, language of firing sequences and reachable markings, are equivalent to the whole system behaviour (projected on the corresponding subsets of nodes). Second, after the decomposition phase, an iterative response time approximation method is applied for the computation of the throughput. Experimental results on several examples generally have an error of less than 3%. The state space is usually reduced by more than one order of magnitude; therefore the analysis of otherwise intractable systems is possible. The Chapter is organized as follows. In Section 23.1, some fundamental properties on MG's and implicit places are presented. Section 23.2 includes the structural decomposition of MG's used in the rest of the Chapter. The iterative technique for approximate throughput computation is described in Section 23.3. Section 23.4 includes several application examples to illustrate the introduced technique. Finally, some bibliographic remarks are included in Section 23.5.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/98_C_MATCH23.ps.gz}
}
42. [BC-StMalo-97] bibtex
    B. Baynat and J. Campos, "PNPM’97 Tutorial: Approximate Methods Based on Net-Driven Decompositions," in Tutorials of the 7th International Workshop on Petri Nets and Performance Models, Saint Malo, France, 1997.
    @INPROCEEDINGS{BC-StMalo-97,
  author = {B. Baynat and J. Campos},
  title = {{PNPM'97 Tutorial}: Approximate Methods Based on Net-Driven Decompositions},
  booktitle = {Tutorials of the 7th International Workshop on Petri Nets and Performance Models},
  year = {1997},
  address = {Saint Malo, France},
  month = {June},
  abstract = {A major drawback for the practical use of stochastic Petri net models lies in the state explosion problem originated when the exact solution of the associated continuous time Markov chain is achieved. This tutorial presents some ideas an examples on approximation techniques that try to overcome the state explosion problem within a divide and conquer strategy and with a strong exploitation of structural (qualitative) knowledge of the underlying Petri net model for both the decomposition and the solution phases.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/97_BC_StMalo.ps.gz}
}
43. [CDS-StMalo-97] bibtex
    J. Campos, S. Donatelli, and M. Silva, "Structured Solution of Stochastic DSSP Systems," in Proceedings of the 7th International Workshop on Petri Nets and Performance Models, Saint Malo, France, 1997, pp. 91-100.
    @INPROCEEDINGS{CDS-StMalo-97,
  author = {J. Campos and S. Donatelli and M. Silva},
  title = {Structured Solution of Stochastic {DSSP} Systems},
  booktitle = {Proceedings of the 7th International Workshop on Petri Nets and Performance Models},
  year = {1997},
  pages = {91-100},
  address = {Saint Malo, France},
  month = {June},
  publisher = {IEEE Computer Society Press},
  abstract = {Deterministically Synchronized Sequential Processes (DSSP) are essentially states machines that communicate, may be in complex forms but under some restricted patterns, through buffer places; their definition is compositional by nature. This paper considers the problem of exploiting this compositionality to generate the state space and to find the steady state probabilities of a stochastic extension of DSSP in a net-driven, efficient way. Essentially, we give an expresion of an auxiliary matrix, G, which is a supermatrix of the infinitesimal generator of a DSSP. G is a tensor algebra expression of matrices of the size of the components for which it is possible to numerically solve the characteristic equation pi.G = 0, without the need to explicitly compute G. Therefore, we obtain a method that computes the steady state solution of a DSSP without ever explicitly computing and storing its infinitesimal generator, and therefore without computing and storing the reachability graph of the system.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/97_CDS_StMalo.ps.gz}
}
44. [PJCS-96a] bibtex
    C. J. Pérez-Jiménez, J. Campos, and M. Silva, "State Machine Reduction for the Approximate Performance Evaluation of Manufacturing Systems Modelled with Cooperating Sequential Processes," in Proceedings of the 1996 IEEE International Conference on Robotics and Automation, Minneapolis, Minnesota, USA, 1996, pp. 1159-1165.
    @INPROCEEDINGS{PJCS-96a,
  author = {C.J. P{\'e}rez-Jim{\'e}nez and J. Campos and M. Silva},
  title = {State Machine Reduction for the Approximate Performance Evaluation of Manufacturing Systems Modelled with Cooperating Sequential Processes},
  booktitle = {Proceedings of the 1996 IEEE International Conference on Robotics and Automation},
  year = {1996},
  pages = {1159-1165},
  address = {Minneapolis, Minnesota, USA},
  month = {April},
  abstract = {We concentrate on a family of discrete event systems obtained from a simple modular design principle that include in a controlled way primitives to deal with concurrency, decisions, synchronization, blocking, and bulk movements of jobs. Due to the functional complexity of such systems, reliable throughput approximation algorithms must be deeply supported on a structure based decomposition technique. We present a decomposition technique and a fixed-point search iterative process based on response time preservation of subsystems. An extensive battery of numerical experiments has shown that the error is less than 3%, and that the state space is usually reduced by more than one order of magnitude.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/96_PJCS_a.ps.gz}
}
45. [PJCS-96b] bibtex
    C. J. Pérez-Jiménez, J. Campos, and M. Silva, "Approximate Throughput Computation of a Class of Cooperating Sequential Processes," in Proceedings of the Rensselaer’s Fifth International Conference on Computer Integrated Manufacturing and Automation Technology (CIMAT’96), Grenoble, France, 1996, pp. 382-389.
    @INPROCEEDINGS{PJCS-96b,
  author = {C.J. P{\'e}rez-Jim{\'e}nez and J. Campos and M. Silva},
  title = {Approximate Throughput Computation of a Class of Cooperating Sequential Processes},
  booktitle = {Proceedings of the Rensselaer's Fifth International Conference on Computer Integrated Manufacturing and Automation Technology (CIMAT'96)},
  year = {1996},
  pages = {382-389},
  address = {Grenoble, France},
  month = {May},
  abstract = {We concentrate on a family of Discrete Event Dynamic Systems (DEDS), modelled with Petri nets and obtained from a simple modular design principle, that include in a controlled way primitives to deal with concurrency, decisions, synchronization, blocking, and bulk movements of jobs. Many assembly systems with complex behaviours at the machine level can be described with the class of DEDS under study. We present a structure based decomposition technique and use a fixed-point search iterative process based on response time preservation of subsystems to approximate the throughput. An extensive battery of numerical experiments has shown that the error is less than 3%, and that the state space is usually reduced by more than one order of magnitude.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/96_PJCS_b.ps.gz}
}
46. [PJCS-96c] bibtex
    C. J. Pérez-Jiménez, J. Campos, and M. Silva, "On Approximate Performance Evaluation of Manufacturing Systems Modelled with Weighted T-Systems," in Proceedings of the IMACS/IEEE-SMC Multiconference on Computational Engineering in Systems Applications (CESA’96), Lille, France, 1996, pp. 201-207.
    @INPROCEEDINGS{PJCS-96c,
  author = {C.J. P{\'e}rez-Jim{\'e}nez and J. Campos and M. Silva},
  title = {On Approximate Performance Evaluation of Manufacturing Systems Modelled with Weighted {T}-Systems},
  booktitle = {Proceedings of the IMACS/IEEE-SMC Multiconference on Computational Engineering in Systems Applications (CESA'96)},
  year = {1996},
  pages = {201-207},
  address = {Lille, France},
  month = {July},
  abstract = {Approximate throughput computation of a class of discrete event systems (DES) modelled with stochastic weighted T-systems is considered. Stochastic weighted T-systems are the weighted extension of well known stochastic marked graphs Petri net subclass and are usually presented as a useful model to deal with bulk consumptions or productions of resources in manufacturing systems working on a cyclic basis. The iterative response time approximation technique that we present is deeply based on a previous structural decomposition and aggregation of the net model. Experimental results on several examples generally have and error of less than 5%. The state space is usually reduced by more than one order of magnitude; therefore, the analysis of otherwise intractable systems is possible.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/96_PJCS_c.ps.gz}
}
47. [SC-Erlangen-95] bibtex
    M. Silva and J. Campos, "Structural Performance Analysis of Stochastic Petri Nets," in Proceedings of the IEEE International Computer Performance and Dependability Symposium, Erlangen, Germany, 1995, pp. 61-70.
    @INPROCEEDINGS{SC-Erlangen-95,
  author = {M. Silva and J. Campos},
  title = {Structural Performance Analysis of Stochastic {Petri} Nets},
  booktitle = {Proceedings of the IEEE International Computer Performance and Dependability Symposium},
  year = {1995},
  pages = {61-70},
  address = {Erlangen, Germany},
  month = {April},
  publisher = {IEEE-Computer Society Press},
  note = {Invited paper},
  abstract = {Structure performance analysis theory and techniques is an essay to avoid the computational complexity problem associated to Markovian and discrete event simulation techniques. Even if a finished conceptual and technical framework is not yet available, important benefits have been obtained not only from performance but also from correctness analysis point of view. In this survey we overview some of the achievements developed by the authors and collaborators towards a structure theory for performance evaluation of net based models. Concepts and techniques for the computation of performance bounds and approximate and exact evaluation are described in a semi-formal/illustrative way through a selected collection of examples.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/95_SC_Erlangen.ps.gz}
}
48. [PJCS-95] bibtex
    C. J. Pérez-Jiménez, J. Campos, and M. Silva, "On Approximate Throughput Computation of Deterministic Systems of Sequential Processes," in Actas de las IV Jornadas de Concurrencia, El Escorial, Spain, 1995, pp. 156-171.
    @INPROCEEDINGS{PJCS-95,
  author = {C.J. P{\'e}rez-Jim{\'e}nez and J. Campos and M. Silva},
  title = {On Approximate Throughput Computation of Deterministic Systems of Sequential Processes},
  booktitle = {Actas de las IV Jornadas de Concurrencia},
  year = {1995},
  pages = {156-171},
  address = {El Escorial, Spain},
  month = {June},
  publisher = {Universidad Complutense de Madrid},
  abstract = {We concentrate on a family of discrete event systems obtained from a simple modular design principle that include in a controlled way primitives to deal with concurrency, decisions, synchronization, blocking, and bulk movements of jobs. Due to the functional complexity of such systems, reliable throughput approximation algorithms must be deeply supported on a structure based decomposition technique. We present two complementary decomposition techniques and a fixed-point search iterative process based on response time preservation of subsystems. An extensive battery of numerical experiments has shown that the error is less than 3%, and that the state space is usually reduced by more than one order of magnitude.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/95_PJCS.ps.gz}
}
49. [TSCC-QMIPSbook-95] bibtex
    E. Teruel, M. Silva, J. M. Colom, and J. Campos, "Functional and Performance Analysis of Cooperating Sequential Processes," , Baccelli, F., Jean-Marie, A., and Mitrani, I., Eds., Springer, 1995, pp. 52-65.
    @INCOLLECTION{TSCC-QMIPSbook-95,
  author = {E. Teruel and M. Silva and J.M. Colom and J. Campos},
  title = {Functional and Performance Analysis of Cooperating Sequential Processes},
  booktitle = {Quantitative Methods in Parallel Systems},
  publisher = {Springer},
  year = {1995},
  editor = {F. Baccelli and A. Jean-Marie and I. Mitrani},
  series = {Esprit Basic Research Series},
  pages = {52-65},
  abstract = {This paper presents some results concerning the functional and performance analysis of sequential proceses connected through buffers using structural analysis techniques, mainly linear algebraic ones. From the functional point of view the following properties are considered: boundedness, deadlock-freeness, liveness and the existence of home states. From the performance point of view the considered properties are marking ergodicity, computation of visit ratios and computation of insensitive throughput bounds.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/95_TSCC_QMIPSbook.ps.gz}
}
50. [CCHS-QMIPSbook-95] bibtex
    J. Campos, J. M. Colom, H. Jungnitz, and M. Silva, "Approximate Throughput Computation of Stochastic Marked Graphs," , Baccelli, F., Jean-Marie, A., and Mitrani, I., Eds., Springer, 1995, pp. 175-188.
    @INCOLLECTION{CCHS-QMIPSbook-95,
  author = {J. Campos and J.M. Colom and H. Jungnitz and M. Silva},
  title = {Approximate Throughput Computation of Stochastic Marked Graphs},
  booktitle = {Quantitative Methods in Parallel Systems},
  publisher = {Springer},
  year = {1995},
  editor = {F. Baccelli and A. Jean-Marie and I. Mitrani},
  series = {Esprit Basic Research Series},
  pages = {175-188},
  abstract = {A general iterative technique for approximate throughput computation of stochastic strongly connected marked graphs is presented. It generalizes a previous technique based on net decomposition through a single input-single output cut, allowing the split of the model through any cut. The approach has two basic foundations. First, a deep understanding of the qualitative behaviour of marked graphs leads to a general decomposition technique. Second, after the decomposition phase, an iterative response time approximation method is applied for the computation of the throughput. Experimental results on several examples generally have an error of less than 3%. The state space is usually reduced by more than one order of magnitude; therefore the analysis of otherwise intractable systems is possible.}
}
51. [EDA-book-95] bibtex
    J. Campos, Estructuras de Datos y Algoritmos, Pedro Cerbuna, 12, Zaragoza, Spain: Prensas Universitarias de Zaragoza, 1995.
    @BOOK{EDA-book-95, title = {Estructuras de Datos y Algoritmos},
  publisher = {Prensas Universitarias de Zaragoza},
  year = {1995},
  author = {J. Campos},
  series = {Colecci{\'o}n Textos Docentes},
  address = {Pedro Cerbuna, 12, Zaragoza, Spain},
  note = {In Spanish},
  abstract = {La abstracci\'on de acciones es la base de la metodolog\'{\i}a de dise\~no descendente por refinamientos sucesivos, \'util para la resoluci\'on de peque\~nos problemas de tratamiento de informaci\'on. Sin embargo, para afrontar la construcci\'on de programas en media y gran escala es necesaria una metodolog\'{\i}a de dise\~no modular, que permita la partici\'on del trabajo en unidades de programa que puedan ser desarrolladas independientemente del resto. El prop\'osito de estos apuntes es presentar los principios b\'asicos de una metodolog\'{\i}a de dise\~no modular basada en la abstracci\'on de datos. Este material ha sido elaborado para servir como soporte de la asignatura Estructuras de datos y algoritmos, que se imparte en el tercer semestre de los estudios de Ingenier\'{\i}a Inform\'atica en el Centro Polit\'ecnico Superior de la Universidad de Zaragoza. Los alumnos que cursan dicha asignatura han seguido previamente dos semestres de programaci\'on en los que han debido aprender a especificar formalmente y dise\~nar programas en peque\~na escala, utilizando tipos de datos sencillos (como los predefinidos en un lenguaje de programaci\'on de la familia del Pascal); los alumnos conocen t\'ecnicas de dise\~no recursivo e iterativo, as\'{\i} como las herramientas b\'asicas para poder medir la eficiencia de los algoritmos (atendiendo a su tiempo de ejecuci\'on). No obstante, el material presentado puede ser \'util tambi\'en para un segundo nivel en todos aquellos planes de estudios en los que se incluyan dos cursos de programaci\'on de computadores. Pueden encontrarse en las librer\'{\i}as varios trabajos (muchos de ellos ya cl\'asicos) con t\'{\i}tulos similares o iguales a \'este. Sin embargo, y \'esta es la raz\'on para la existencia de uno nuevo, la aproximaci\'on al tema que se pretende desarrollar es bien diferente. De hecho, el t\'{\i}tulo que el autor habr\'{\i}a elegido, en caso de no haber optado por mantener el nombre de la asignatura antes mencionada, hubiese sido m\'as bien "Tipos abstractos de datos y algoritmos" o mejor "Introducci\'on a la programaci\'on con tipos abstractos de datos". La diferencia estriba en el \'enfasis que se pretende dar en las p\'aginas que siguen a la especificaci\'on formal de los tipos (de ah\'{\i} el t\'ermino "tipos abstractos de datos") como herramienta fundamental para el dise\~no modular de programas, en lugar de limitarse a presentar las estructuras de datos necesarias para representar los valores de los tipos definidos. El comentario anterior no debe hacer pensar al lector que el material que sigue es original del autor. Nada m\'as lejos de la realidad. \'Unicamente nos hemos limitado a enlazar las excelentes aproximaciones existentes en la literatura a la definici\'on y conceptos relacionados con los tipos abstractos de datos y su especificaci\'on algebraica (v\'eanse, por ejemplo, los dos \'ultimos cap\'{\i}tulos de la obra de Ricardo Pe\~na titulada Dise\~no de Programas. Formalismo y Abstracci\'on) con los trabajos m\'as cl\'asicos sobre estructuras de datos y algoritmos de manipulaci\'on (como, por ejemplo, Estructuras de Datos y Algoritmos, de Aho, Hopcroft y Ullman). Los apuntes est\'an estructurados en lecciones, agrupadas en grandes temas. En el primero de ellos, titulado "Tipos abstractos de datos", se presentan los conceptos fundamentales sobre los tipos abstractos de datos, su especificaci\'on formal (algebraica) y su utilizaci\'on en el dise\~no modular de programas. El segundo tema, "Tipos de datos lineales", introduce tres de los tipos abstractos lineales m\'as representativos y \'utiles en programaci\'on: las pilas, las colas y las listas con acceso por posici\'on. Para cada nuevo tipo presentado se incluyen su especificaci\'on formal, una o varias soluciones para la representaci\'on de sus valores, la implementaci\'on de las operaciones m\'as importantes, su coste computacional y algunos ejemplos de aplicaci\'on. El tercer tema, titulado "\'Arboles y esquemas algor\'{\i}tmicos", incluye los detalles sobre algunos de los tipos de \'arboles m\'as frecuentemente utilizados, como los \'arboles binarios, \'arboles ordenados, \'arboles de b\'usqueda, mont\'{\i}culos, ..., y ejemplos de aplicaci\'on. Adem\'as se introducen los algoritmos de vuelta atr\'as y las heur\'{\i}sticas voraces. Los dos \'ultimos temas, sobre "Tipos de datos funcionales" (o tablas) e "Introducci\'on a los grafos", no se desarrollan con la misma extensi\'on que los anteriores por razones diferentes. En el caso de las tablas, tras las definiciones formales convenientes, se hace hincapi\'e en la representaci\'on mediante tablas dispersas basadas en la utilizaci\'on de una funci\'on de localizaci\'on (hashing, en ingl\'es) y en las tablas multidimensionales representadas mediante estructuras de listas m\'ultiples, pues otras representaciones posibles basadas en listas lineales o \'arboles de b\'usqueda no precisan mayor explicaci\'on tras el estudio de los temas previos. En cuanto a los grafos, los alumnos de Ingenier\'{\i}a Inform\'atica (a quienes va dirigida preferentemente esta obra) han cursado previamente una asignatura titulada "Matem\'atica discreta", en la que se les ha presentado el concepto de grafo y una buena colecci\'on de algoritmos para su manipulaci\'on. Por ello, y atendiendo a razones de completitud, se presentan s\'olo las especificaciones formales y varias alternativas de representaci\'on, junto a algunas consideraciones sobre el efecto que la elecci\'on de la representaci\'on tiene en el coste de los algoritmos de manipulaci\'on. Por \'ultimo, un comentario sobre las notaciones empleadas y los lenguajes de programaci\'on que pueden servir como soporte de pr\'acticas. Para la especificaci\'on algebraica de tipos abstractos, se utiliza una sintaxis similar a la del lenguaje OBJ, pero en espa\~nol. En cuanto a los m\'odulos, estructuras de datos y algoritmos, se emplea una notaci\'on algor\'{\i}tmica, tambi\'en en espa\~nol, que consiste en una extensi\'on modular de la notaci\'on utilizada en los apuntes sobre Introducci\'on a la programaci\'on, elaborados por Javier Mart\'{\i}nez y Javier Campos como soporte a la asignatura de igual nombre existente en el curriculum de Ingenier\'{\i}a Inform\'atica del CPS. En cuanto al lenguaje de programaci\'on soporte de las pr\'acticas, el autor desaconseja la utilizaci\'on de las extensiones modulares de Pascal (incluido el Modula 2), pues carecen de la posibilidad de definir tipos opacos y tipos gen\'ericos, siendo ambos mecanismos fundamentales en la metodolog\'{\i}a desarrollada. As\'{\i},
  un lenguaje apropiado resulta ser el Ada, dotado de la posibilidad de definici\'on de tipos opacos y tipos gen\'ericos, con una sintaxis y sem\'antica bien pensadas y una dificultad de aprendizaje similar al Pascal, si se limita su presentaci\'on a la parte secuencial. Otras alternativas pueden encontrarse en lenguajes de programaci\'on orientados a objetos (como, por ejemplo, C++), dada la cercan\'{\i}a de los conceptos de "clase" y "tipo abstracto de dato".},
  url = {http://puz.unizar.es/catalogo/detalle.php?l=467}
}
52. [CACCM-QMIPSbook-95] bibtex
    G. Chiola, C. Anglano, J. Campos, J. M. Colom, and M. Silva, "Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds," , Baccelli, F., Jean-Marie, A., and Mitrani, I., Eds., Springer, 1995, pp. 161-174.
    @INCOLLECTION{CACCM-QMIPSbook-95,
  author = {G. Chiola and C. Anglano and J. Campos and J.M. Colom and M. Silva},
  title = {Operational Analysis of Timed {Petri} Nets and Application to the Computation of Performance Bounds},
  booktitle = {Quantitative Methods in Parallel Systems},
  publisher = {Springer},
  year = {1995},
  editor = {F. Baccelli and A. Jean-Marie and I. Mitrani},
  series = {Esprit Basic Research Series},
  pages = {161-174},
  abstract = {We use operational analysis techniques to partially characterize the behaviour of timed Petri nets under very weak assumptions on their timing semantics. New operational inequalities are derived that are typical of the presence of synchronization and that were therefore not considered in queueing network models. We show an interesting application of the operational laws to the statement and the efficient solution of problems related to the estimation of performance bounds insensitive to the timing probability distributions. The results obtained generalize and improve in a clear setting results that were derived in the last few years for several different subclasses of timed Petri nets. In particular the extension to Well-Formed Coloured nets appears straightforward and allows an efficient exploitation of models symmetries.}
}
53. [CCJS-TSE-94] bibtex
    J. Campos, J. M. Colom, H. Jungnitz, and M. Silva, "Approximate Throughput Computation of Stochastic Marked Graphs," IEEE Transactions on Software Engineering, vol. 20, iss. 7, pp. 526-535, 1994.
    @ARTICLE{CCJS-TSE-94,
  author = {J. Campos and J.M. Colom and H. Jungnitz and M. Silva},
  title = {Approximate Throughput Computation of Stochastic Marked Graphs},
  journal = {IEEE Transactions on Software Engineering},
  year = {1994},
  volume = {20},
  pages = {526-535},
  number = {7},
  month = {July},
  abstract = {A general iterative technique for approximate throughput computation of stochastic strongly connected marked graphs is presented. It generalizes a previous technique based on net decomposition through a single input-single output cut, allowing the split of the model through any cut. The approach has two basic foundations. First, a deep understanding of the qualitative behaviour of marked graphs leads to a general decomposition technique. Second, after the decomposition phase, an iterative response time approximation method is applied for the computation of the throughput. Experimental results on several examples generally have an error of less than 3%. The state space is usually reduced by more than one order of magnitude; therefore the analysis of otherwise intractable systems is possible.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/94_CCJS_TSE.ps.gz}
}
54. [TSCC-LNCIS-94] bibtex
    E. Teruel, M. Silva, J. M. Colom, and J. Campos, "Functional and Performance Analysis of Cooperating Sequential Processes," Lecture Notes in Control and Information Sciences, vol. 199, pp. 169-175, 1994.
    @ARTICLE{TSCC-LNCIS-94,
  author = {E. Teruel and M. Silva and J.M. Colom and J. Campos},
  title = {Functional and Performance Analysis of Cooperating Sequential Processes},
  journal = {Lecture Notes in Control and Information Sciences},
  year = {1994},
  volume = {199},
  pages = {169-175},
  abstract = {A class of Petri nets suitable for modelling sequential processes cooperating by means of message passing is presented. Some functional (boundedness, liveness, home states) and performance (ergodicity, computation of visit ratios and throughput bounds) aspects are considered from a structure theory perspective.},
  address = {London},
  booktitle = {Analysis and Optimization of Systems: Discrete Event Systems},
  editor = {G. Cohen and J.P. Quadrat},
  publisher = {Springer-Verlag}
}
55. [CCJS-QMIPS-94] bibtex
    J. Campos, J. M. Colom, H. Jungnitz, and M. Silva, "A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs," , Boxma, O. J. and Koole, G. M., Eds., Amsterdam: Centrum voor Wiskunde en Informatica, 1994, vol. 106, pp. 265-283.
    @INCOLLECTION{CCJS-QMIPS-94,
  author = {J. Campos and J.M. Colom and H. Jungnitz and M. Silva},
  title = {A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs},
  booktitle = {Performance Evaluation of Parallel and Distributed Systems: Solution Methods},
  publisher = {Centrum voor Wiskunde en Informatica},
  year = {1994},
  editor = {O.J. Boxma and G.M. Koole},
  volume = {106},
  series = {Tract},
  pages = {265-283},
  address = {Amsterdam},
  abstract = {A general iterative technique for approximate throughput computation of stochastic strongly connected marked graphs is presented. It generalizes a previous technique based on net decomposition through a single input-single output cut, allowing the split of the model through any cut. The approach has two basic foundations. First, a deep understanding of the qualitative behaviour of marked graphs leads to a general decomposition technique. Second, after the decomposition phase, an iterative response time approximation method is applied for the computation of the throughput. Experimental results on several examples generally have an error of less than 3%. The state space is usually reduced by more than one order of magnitude; therefore the analysis of otherwise intractable systems is possible.}
}
56. [CACCS-QMIPS-94] bibtex
    G. Chiola, C. Anglano, J. Campos, J. M. Colom, and M. Silva, "Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds," , Boxma, O. J. and Koole, G. M., Eds., Amsterdam: Centrum voor Wiskunde en Informatica, 1994, vol. 106, pp. 197-213.
    @INCOLLECTION{CACCS-QMIPS-94,
  author = {G. Chiola and C. Anglano and J. Campos and J.M. Colom and M. Silva},
  title = {Operational Analysis of Timed {Petri} Nets and Application to the Computation of Performance Bounds},
  booktitle = {Performance Evaluation of Parallel and Distributed Systems: Solution Methods},
  publisher = {Centrum voor Wiskunde en Informatica},
  year = {1994},
  editor = {O.J. Boxma and G.M. Koole},
  volume = {106},
  series = {Tract},
  pages = {197-213},
  address = {Amsterdam},
  abstract = {We use operational analysis techniques to partially characterize the behaviour of timed Petri nets under very weak assumptions on their timing semantics. New operational inequalities are derived that are typical of the presence of synchronization and that were therefore not considered in queueing network models. We show an interesting application of the operational laws to the statement and the efficient solution of problems related to the estimation of performance bounds insensitive to the timing probability distributions. The results obtained generalize and improve in a clear setting results that were derived in the last few years for several different subclasses of timed Petri nets. In particular the extension to Well-Formed Coloured nets appears straightforward and allows an efficient exploitation of models symmetries.}
}
57. [BBBCC-QMIPS-94] bibtex
    F. Baccelli, G. Balbo, R. J. Boucherie, J. Campos, and G. Chiola, "Annotated Bibliography on Stochastic Petri Nets," , Boxma, O. J. and Koole, G. M., Eds., Amsterdam: Centrum voor Wiskunde en Informatica, 1994, vol. 105, pp. 25-44.
    @INCOLLECTION{BBBCC-QMIPS-94,
  author = {F. Baccelli and G. Balbo and R.J. Boucherie and J. Campos and G. Chiola},
  title = {Annotated Bibliography on Stochastic {Petri} Nets},
  booktitle = {Performance Evaluation of Parallel and Distributed Systems: Solution Methods},
  publisher = {Centrum voor Wiskunde en Informatica},
  year = {1994},
  editor = {O.J. Boxma and G.M. Koole},
  volume = {105},
  series = {Tract},
  pages = {25-44},
  address = {Amsterdam},
  abstract = {An annotated bibliography on stochastic Petri nets is given.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/94_BBBCC_QMIPS.ps.gz}
}
58. [CCST-QMIPS-94] bibtex
    J. Campos, J. M. Colom, M. Silva, and E. Teruel, "Functional and Performance Analysis of Cooperating Sequential Processes," , Boxma, O. J. and Koole, G. M., Eds., Amsterdam: Centrum voor Wiskunde en Informatica, 1994, vol. 106, pp. 233-251.
    @INCOLLECTION{CCST-QMIPS-94,
  author = {J. Campos and J.M. Colom and M. Silva and E. Teruel},
  title = {Functional and Performance Analysis of Cooperating Sequential Processes},
  booktitle = {Performance Evaluation of Parallel and Distributed Systems: Solution Methods},
  publisher = {Centrum voor Wiskunde en Informatica},
  year = {1994},
  editor = {O.J. Boxma and G.M. Koole},
  volume = {106},
  series = {Tract},
  pages = {233-251},
  address = {Amsterdam},
  abstract = {This paper presents some results concerning the functional and performance analysis of sequential proceses connected through buffers using structural analysis techniques, mainly linear algebraic ones. From the functional point of view the following properties are considered: boundedness, deadlock-freeness, liveness and the existence of home states. From the performance point of view the considered properties are marking ergodicity, computation of visit ratios and computation of insensitive throughput bounds.}
}
59. [RCS-Atlanta-93] bibtex
    R. A. i, J. Campos, and M. Silva, "On Optimal Scheduling in DEDS," in Proceedings of the 1993 IEEE International Conference on Robotics and Automation, Atlanta, USA, 1993, pp. 821-826.
    @INPROCEEDINGS{RCS-Atlanta-93,
  author = {A. Ram{\'{\i}}rez and J. Campos and M. Silva},
  title = {On Optimal Scheduling in {DEDS}},
  booktitle = {Proceedings of the 1993 IEEE International Conference on Robotics and Automation},
  year = {1993},
  pages = {821-826},
  address = {Atlanta, USA},
  month = {May},
  abstract = {In this paper we present the Local Optimality (LO) property for Discrete Event Dynamic Systems modeled using Petri Nets (PN's). If a system is divided into independent subsystems and if the optimal behaviour of these subsystems guarantees the optimal behaviour of whole system, then this system possesses the LO property. The main advantage of this approach is that we can find an optimal schedule for this class of systems in less time, because we are determining the optimal behaviour of small problems. A characterization of systems exhibiting the LO property is given, as well as one procedure to divide them into subsystems.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/93_RCS_Atlanta.ps.gz}
}
60. [CS-PE-93] bibtex
    J. Campos and M. Silva, "Embedded Product-Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems," Performance Evaluation, vol. 18, iss. 1, pp. 3-19, 1993.
    @ARTICLE{CS-PE-93,
  author = {J. Campos and M. Silva},
  title = {Embedded Product-Form Queueing Networks and the Improvement of Performance Bounds for {Petri} Net Systems},
  journal = {Performance Evaluation},
  year = {1993},
  volume = {18},
  pages = {3-19},
  number = {1},
  month = {July},
  abstract = {This paper addresses the computation of upper bounds for the steady-state throughput of stochastic Petri net systems with immediate and generally distributed timed transitions. It is achieved through the use of a kind of decomposition of the whole net system. Results are obtained deeply bridging stochastic Petri net theory to untimed Petri net and queueing network theories. Previous results are improved by considering some embedded product-form queueing networks (generated by the support of some left annullers of the incidence matrix of the net). The obtained results for the case of live and bounded free choice systems are of special interest. In this case, the subnets generated by the minimal left annullers of the incidence matrix always have a topology of product-form closed monoclass queueing networks.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/93_CS_PE.ps.gz}
}
61. [CACCS-Toulouse-93] bibtex
    G. Chiola, C. Anglano, J. Campos, J. M. Colom, and M. Silva, "Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds," in Proceedings of the 5th International Workshop on Petri Nets and Performance Models, Toulouse, France, 1993, pp. 128-137.
    @INPROCEEDINGS{CACCS-Toulouse-93,
  author = {G. Chiola and C. Anglano and J. Campos and J.M. Colom and M. Silva},
  title = {Operational Analysis of Timed {Petri} Nets and Application to the Computation of Performance Bounds},
  booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance Models},
  year = {1993},
  pages = {128-137},
  address = {Toulouse, France},
  month = {October},
  publisher = {IEEE-Computer Society Press},
  abstract = {We use operational analysis techniques to partially characterize the behaviour of timed Petri nets under very weak assumptions on their timing semantics. New operational inequalities are derived that are typical of the presence of synchronization and that were therefore not considered in queueing network models. We show an interesting application of the operational laws to the statement and the efficient solution of problems related to the estimation of performance bounds insensitive to the timing probability distributions. The results obtained generalize and improve in a clear setting results that were derived in the last few years for several different subclasses of timed Petri nets. In particular the extension to Well-Formed Coloured nets appears straightforward and allows an efficient exploitation of models symmetries.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/93_CACCS_Toulouse.ps.gz}
}
62. [SC-Brussels-93] bibtex
    M. Silva and J. Campos, "Performance Models Based on Petri Nets," in Proceedings of the IMACS/IFAC Second International Symposium on Mathematical and Intelligent Models in System Simulation, 1993, p. xiv-xxi.
    @INPROCEEDINGS{SC-Brussels-93,
  author = {M. Silva and J. Campos},
  title = {Performance Models Based on {Petri} Nets},
  booktitle = {Proceedings of the IMACS/IFAC Second International Symposium on Mathematical and Intelligent Models in System Simulation},
  year = {1993},
  pages = {xiv-xxi},
  month = {April},
  publisher = {Brussels, Belgium},
  note = {Invited paper},
  abstract = {Petri Nets (PNs) is a well suited formalism to model and analyze parallel and distributed discrete event dynamic systems. Provided with adequate timed interpretation, PNs allow to build performance models in which true concurrence can be described together with synchronization and sharing phenomena. This survey paper gives a fast overview of some major topics related to net performance models, obtained through stochastically timed interpretation of PNs. Analysis of net models, pointing out the importance of the logical and performance perspectives, and some relations between queueing networks and PN models are briefly considered.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/93_SC_Brussels.ps.gz}
}
63. [CCJS-Toulouse-93] bibtex
    J. Campos, J. M. Colom, H. Jungnitz, and M. Silva, "A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs," in Proceedings of the 5th International Workshop on Petri Nets and Performance Models, Toulouse, France, 1993, pp. 138-147.
    @INPROCEEDINGS{CCJS-Toulouse-93,
  author = {J. Campos and J.M. Colom and H. Jungnitz and M. Silva},
  title = {A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs},
  booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance Models},
  year = {1993},
  pages = {138-147},
  address = {Toulouse, France},
  month = {October},
  publisher = {IEEE-Computer Society Press},
  abstract = {A general iterative technique for approximate throughput computation of stochastic strongly connected marked graphs is presented. It generalizes a previous technique based on net decomposition through a single input-single output cut, allowing the split of the model through any cut. The approach has two basic foundations. First, a deep understanding of the qualitative behaviour of marked graphs leads to a general decomposition technique. Second, after the decomposition phase, an iterative response time approximation method is applied for the computation of the throughput. Experimental results on several examples generally have an error of less than 3%. The state space is usually reduced by more than one order of magnitude; therefore the analysis of otherwise intractable systems is possible.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/93_CCJS_Toulouse.ps.gz}
}
64. [State-of-the-art-93] bibtex
    G. Balbo, M. Silva, G. Chiola, J. Campos, and others, "The Timed (Coloured) Petri Net Formalism: Position Paper." Erlangen, Germany: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik), 1993, vol. 14, pp. 3-60.
    @INCOLLECTION{State-of-the-art-93,
  author = {G. Balbo and M. Silva and G. Chiola and J. Campos and others},
  title = {The Timed (Coloured) {Petri} Net Formalism: Position Paper},
  booktitle = {Workshop on Formalisms, Principles, and State-of-the-Art},
  publisher = {Arbeitsberichte des Instituts f{\"u}r Mathematische Maschinen und Datenverarbeitung (Informatik)},
  year = {1993},
  volume = {14},
  series = {Band 26},
  pages = {3-60},
  address = {Erlangen, Germany},
  abstract = {This paper presents the point of view of the groups of the universities of Torino and Zaragoza on the timed Petri net formalism. Coloured and non coloured models are covered at the same time, the latter making sense in case of systems without symmetries. We argue that Petri net formalisms allow more freedom than other established formalisms in the choices regarding the trade off between structural model complexity and interpretation of the graph. Some considerations are made on coloured Petri nets that could suggest them as a superior modelling formalism. The main comparison term that we selected are BCMP type queueing networks.},
  url = { http://webdiis.unizar.es/CRPetri/papers/jcampos/93_State_of_the_art.ps.gz}
}
65. [CPSM-RMUCM-93] bibtex
    J. Campos, B. F. Plo, and M. San Miguel, "Boundedness on Stochastic Petri Nets," Revista Matemática de la Universidad Complutense de Madrid, vol. 6, iss. 1, pp. 123-136, 1993.
    @ARTICLE{CPSM-RMUCM-93,
  author = {J. Campos and B.F. Plo and San Miguel, M.},
  title = {Boundedness on Stochastic {Petri} Nets},
  journal = {Revista Matem{\'a}tica de la Universidad Complutense de Madrid},
  year = {1993},
  volume = {6},
  pages = {123-136},
  number = {1},
  abstract = {Stochastic Petri nets generalize the notion of queueing systems and are a useful model in performance evaluation of parallel and distributed systems. We give necessary and sufficient conditions for the boundedness of a stochastic process related to these nets.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/93_CPSM_RMUCM.ps.gz}
}
66. [CCCS-Roma-93] bibtex
    G. Chiola, J. Campos, J. M. Colom, and M. Silva, "Operational Analysis of Timed Petri Nets," in Proceedings of the 16th International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance’93), Roma, Italy, 1993.
    @INPROCEEDINGS{CCCS-Roma-93,
  author = {G. Chiola and J. Campos and J.M. Colom and M. Silva},
  title = {Operational Analysis of Timed {Petri} Nets},
  booktitle = {Proceedings of the 16th International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance'93)},
  year = {1993},
  address = {Roma, Italy},
  month = {September},
  abstract = {Operational analysis is a conceptually very simple way of deriving mathematical equations relating measurable quantities in queueing systems [DB 78]. In [DC 92] the reader can find some nice examples of how the application of operational analysis techniques can help in explaining and proving fundamental results in queueing network analysis. Here we apply operational analysis techniques to derive linear equations and inequalities relating interesting performance measures in timed Petri net models. The main conceptual difference between queueing and Petri net models is the presence of a synchronization primitive in the latter. New operational inequalities are derived for synchronization elements that have no counterpart in operational laws for queueing networks. In addition to the mathematical interest of these derivations, the results can be immediately used for the computation of performance bounds based on linear programming techniques.}
}
67. [CCCS-CAS-92] bibtex
    J. Campos, G. Chiola, J. M. Colom, and M. Silva, "Properties and Performance Bounds for Timed Marked Graphs," IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, vol. 39, iss. 5, pp. 386-401, 1992.
    @ARTICLE{CCCS-CAS-92,
  author = {J. Campos and G. Chiola and J.M. Colom and M. Silva},
  title = {Properties and Performance Bounds for Timed Marked Graphs},
  journal = {IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications},
  year = {1992},
  volume = {39},
  pages = {386-401},
  number = {5},
  month = {May},
  abstract = {A class of synchronized queueing networks with deterministic routing is identified to be equivalent to a subclass of timed Petri nets called marked graphs. First some structural and behavioral properties of marked graphs are recalled and used to show interesting properties of this class of performance models. In particular, ergodicity is derived from boundedness and liveness of the underlying Petri net representation, which can be efficiently computed in polynomial time on the net structure. In case of unbounded (i.e., non-strongly-connected) marked graphs, ergodicity is computed as a function of the average transition firing delays. Then the problem of computing both upper and lower bounds for the steady-state performance of timed and stochastic marked graphs is studied. In particular, linear programming problems defined on the incidence matrix of the underlying Petri nets are used to compute tight (i.e., attainable) bounds for the throughput of transitions for marked graphs with deterministic or stochastic time associated with transitions. These bounds depend on the initial marking and the mean values of the delays but not on the probability distribution functions (thus including both the deterministic and the stochastic cases). The benefits of interleaving qualitative and quantitative analysis of marked graph models are shown.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/92_CCCS_CAS.ps.gz}
}
68. [SCC-Mita-91] bibtex
    M. Silva, J. M. Colom, and J. Campos, "Linear Algebraic Techniques for the Analysis of Petri Nets." Tokyo, Japan: Mita Press, 1992, pp. 35-42.
    @INCOLLECTION{SCC-Mita-91,
  author = {M. Silva and J.M. Colom and J. Campos},
  title = {Linear Algebraic Techniques for the Analysis of {Petri} Nets},
  booktitle = {Recent Advances in Mathematical Theory of Systems, Control, Networks, and Signal Processing II},
  publisher = {Mita Press},
  year = {1992},
  pages = {35-42},
  address = {Tokyo, Japan},
  abstract = {One of the indigenous techniques for the analysis of Petri Net system models is based on its non-negative state equation, bridging convex goemetry and linear programming theories to the theory of Petri Nets. This invited survey briefly overviews some recent developments in the use of linear algebraic techniques for the qualitative (i.e., logical) and quantitative (i.e., performance) analysis of Petri Net system models, dealing with properties like deadlock-freeness, structural liveness or throughput bounds.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/91_SCC_Mita.ps.gz}
}
69. [CS-LNCS-92] bibtex
    J. Campos and M. Silva, "Structural Techniques and Performance Bounds of Stochastic Petri Net Models," Lecture Notes in Computer Science, vol. 609, pp. 352-391, 1992.
    @ARTICLE{CS-LNCS-92,
  author = {J. Campos and M. Silva},
  title = {Structural Techniques and Performance Bounds of Stochastic {Petri} Net Models},
  journal = {Lecture Notes in Computer Science},
  year = {1992},
  volume = {609},
  pages = {352-391},
  abstract = {In this paper we overview some recent results obtained by the authors and collaborators on the performance bounds analysis of some stochastic Petri net systems. The mathematical model can be seen either as a result of the addition of a particular random timing interpretation to an "autonomous'' Petri net or as a generalization of classical queueing networks with the addendum of a general synchronization primitive. It constitutes an adequate tool for both the validation of logical properties and the evaluation of performance measures of concurrent and distributed systems. Qualitative and quantitative understandings of Petri net models are stressed here making special emphasis on structural techniques for the analysis of logical and performance properties. Important aspects from the performance point of view, such as relative throughput of stations (transitions), and number of servers present at them, are related to Petri net concepts like P- or T-semiflows or liveness bounds of transitions. For the particularly interesting case of Markovian Petri net systems, some improvements of the bounds can be achieved. Marked graphs and free choice are net subclasses for which the obtained results have special quality, therefore an additional attention is focussed on them.},
  address = {Berlin},
  booktitle = {Advances in Petri Nets 1992},
  editor = {G. Rozenberg},
  publisher = {Springer-Verlag},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/92_CS_LNCS.ps.gz}
}
70. [CCS-RFMS-92] bibtex
    J. Campos, J. M. Colom, and M. Silva, "Improving Throughput Upper Bounds for Net Based Models of Manufacturing Systems," , Gentina, J. C. and Tzafestas, S. G., Eds., Amsterdam, The Netherlands: Elsevier Science Publishers B.V. (North-Holland), 1992, pp. 281-294.
    @INCOLLECTION{CCS-RFMS-92,
  author = {J. Campos and J.M. Colom and M. Silva},
  title = {Improving Throughput Upper Bounds for Net Based Models of Manufacturing Systems},
  booktitle = {Robotics and Flexible Manufacturing Systems},
  publisher = {Elsevier Science Publishers B.V. (North-Holland)},
  year = {1992},
  editor = {J.C. Gentina and S.G. Tzafestas},
  pages = {281-294},
  address = {Amsterdam, The Netherlands},
  abstract = {This paper addresses the improvement of throughput upper bounds for live and bounded stochastic Petri nets, presented by the authors in previous works. The introduction of a greater amount of structural information, traps and implicit places, allows to improve the bounds using linear programming problems defined on the net structure, on the routing probabilities, and on the mean service time of transitions. The obtained bounds can be applied for the analysis of manufacturing systems modelled by means of stochastic Petri nets. An example is presented and evaluated using the introduced techniques.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/92_CCS_RFMS.ps.gz}
}
71. [CCS-TAC-91] bibtex
    J. Campos, G. Chiola, and M. Silva, "Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks," IEEE Transactions on Automatic Control, vol. 36, iss. 12, pp. 1368-1382, 1991.
    @ARTICLE{CCS-TAC-91,
  author = {J. Campos and G. Chiola and M. Silva},
  title = {Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks},
  journal = {IEEE Transactions on Automatic Control},
  year = {1991},
  volume = {36},
  pages = {1368-1382},
  number = {12},
  month = {December},
  abstract = {Several proposals exist for the introduction of synchronization constraints into Queueing Networks (QN). We show that many monoclass QN with synchronizations can naturally be modelled with a subclass of Petri Nets (PN) called Free Choice nets (FC), for which a wide gamut of qualitative behavioural and structural results have been derived. We use some of these net theoretic results to characterize the ergodicity, boundedness and liveness of closed Free Choice Synchronized Queueing Networks (FCSQN). Moreover we define upper and lower throughput bounds based on the mean value of the service times, without any assumption on the probability distributions (thus including both the deterministic and the stochastic cases). We show that monotonicity properties exist between the throughput bounds and the parameters of the model in terms of population and service times. We propose (theoretically polynomial and practically linear complexity) algorithms for the computation of these bounds, based on linear programming problems defined on the incidence matrix of the underlying FC net. Finally, using classical laws from queueing theory, we provide bounds for mean queue lengths and response time.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/91_CCS_TAC.ps.gz}
}
72. [CS-Melbourne-91] bibtex
    J. Campos and M. Silva, "Throughput Upper Bounds for Markovian Petri Nets: Embedded Subnets and Queueing Networks," in Proceedings of the 4rd International Workshop on Petri Nets and Performance Models, Melbourne, Australia, 1991, pp. 312-321.
    @INPROCEEDINGS{CS-Melbourne-91,
  author = {J. Campos and M. Silva},
  title = {Throughput Upper Bounds for {Markovian} {Petri} Nets: Embedded Subnets and Queueing Networks},
  booktitle = {Proceedings of the 4rd International Workshop on Petri Nets and Performance Models},
  year = {1991},
  pages = {312-321},
  address = {Melbourne, Australia},
  month = {December},
  publisher = {IEEE-Computer Society Press},
  abstract = {This paper addresses the computation of upper bounds for the steady-state throughput of stochastic Petri nets with immediate and exponentially distributed service times of transitions. We try to deeply bridge stochastic Petri net theory to untimed Petri net and queueing network theories. Previous results for general service time distributions are improved for the case of Markovian nets by considering the slowest embedded subnet (generated by the support of left annullers of the incidence matrix of the net). The obtained results for the case of live and bounded free choice nets are of special interest. For such nets, the subnets generated by the left annullers of the incidence matrix can be seen as embedded product-form closed monoclass queueing networks, and efficient algorithms exist for their analysis.},
  url = { http://webdiis.unizar.es/CRPetri/papers/jcampos/91_CS_Melbourne.ps.gz}
}
73. [CSS-Melbourne-91] bibtex
    J. Campos, B. Sánchez, and M. Silva, "Throughput Lower Bounds for Markovian Petri Nets: Transformation Techniques," in Proceedings of the 4rd International Workshop on Petri Nets and Performance Models, Melbourne, Australia, 1991, pp. 322-331.
    @INPROCEEDINGS{CSS-Melbourne-91,
  author = {J. Campos and B. S{\'a}nchez and M. Silva},
  title = {Throughput Lower Bounds for {Markovian} {Petri} Nets: Transformation Techniques},
  booktitle = {Proceedings of the 4rd International Workshop on Petri Nets and Performance Models},
  year = {1991},
  pages = {322-331},
  address = {Melbourne, Australia},
  month = {December},
  publisher = {IEEE-Computer Society Press},
  abstract = {This paper addresses the computation of lower bounds for the steady- state throughput of stochastic Petri nets with immediate and exponentially distributed service times of transitions. We try to deeply bridge stochastic Petri net theory to untimed Petri net and queueing networks theories. Previous results for general service time distributions are improved for the case of Markovian nets by considering some pessimistic transformation rules operating locally on the net structure, its initial marking, and stochastic interpretation. Special interest have the obtained results for the case of live and bounded free choice nets and live marked graphs systems.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/91_CSS_Melbourne.ps.gz}
}
74. [CCS-TSE-91] bibtex
    J. Campos, G. Chiola, and M. Silva, "Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector," IEEE Transactions on Software Engineering, vol. 17, iss. 2, pp. 117-125, 1991.
    @ARTICLE{CCS-TSE-91,
  author = {J. Campos and G. Chiola and M. Silva},
  title = {Ergodicity and Throughput Bounds of {Petri} Nets with Unique Consistent Firing Count Vector},
  journal = {IEEE Transactions on Software Engineering},
  year = {1991},
  volume = {17},
  pages = {117-125},
  number = {2},
  month = {February},
  abstract = {This paper addresses ergodicity and throughput bounds characterizations for a subclass of timed and stochastic Petri nets, interleaving qualitative and quantitative theories. The considered nets represent an extension of the well known subclass of marked graphs, defined as having a unique consistent firing count vector, independently of the stochastic interpretation of the net model. In particular, persistent and mono-T-semiflow nets subclasses are considered. Upper and lower throughput bounds are computed using linear programming problems defined on the incidence matrix of the underlying net. The bounds proposed here depend on the initial marking and the mean values of the delays but not on the probability distributions (thus including both the deterministic and the stochastic cases). From a different perspective, the considered subclasses of stochastic nets can be viewed as special classes of synchronized queueing networks, thus the proposed bounds can be applied to these networks.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/91_CCS_TSE.ps.gz}
}
75. [SCC-Kobe-91] bibtex
    M. Silva, J. M. Colom, and J. Campos, "Linear Algebraic Techniques for the Analysis of Petri Nets," in Proceedings of the International Symposium on the Mathematical Theory of Networks and Systems, Kobe, Japan, 1991, pp. 413-415.
    @INPROCEEDINGS{SCC-Kobe-91,
  author = {M. Silva and J.M. Colom and J. Campos},
  title = {Linear Algebraic Techniques for the Analysis of {Petri} Nets},
  booktitle = {Proceedings of the International Symposium on the Mathematical Theory of Networks and Systems},
  year = {1991},
  pages = {413-415},
  address = {Kobe, Japan},
  month = {June},
  abstract = {One of the indigenous techniques for the analysis of Petri Net system models is based on its non-negative state equation, bridging convex goemetry and linear programming theories to the theory of Petri Nets. This invited survey briefly overviews some recent developments in the use of linear algebraic techniques for the qualitative (i.e., logical) and quantitative (i.e., performance) analysis of Petri Net system models, dealing with properties like deadlock-freeness, structural liveness or throughput bounds.}
}
76. [C-DEMON-91] bibtex
    J. Campos, "Performance Analysis of Live and Bounded Free Choice Systems," , Best, E. and Esparza, J., Eds., Sankt Augustin, Germany: , 1991, pp. 38-48.
    @INCOLLECTION{C-DEMON-91,
  author = {J. Campos},
  title = {Performance Analysis of Live and Bounded Free Choice Systems},
  booktitle = {Design Methods Based on Nets},
  year = {1991},
  editor = {E. Best and J. Esparza},
  series = {GMD-Studien Nr. 198},
  pages = {38-48},
  address = {Sankt Augustin, Germany},
  month = {September},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/91_C_DEMON.ps.gz}
}
77. [CCS-Lille-91] bibtex
    J. Campos, J. M. Colom, and M. Silva, "Improving Throughput Upper Bounds for Net Based Models," in Proceedings of the IMACS-IFAC International Symposium on Modeling and Control of Technological Systems, Lille, France, 1991, pp. 573-582.
    @INPROCEEDINGS{CCS-Lille-91,
  author = {J. Campos and J.M. Colom and M. Silva},
  title = {Improving Throughput Upper Bounds for Net Based Models},
  booktitle = {Proceedings of the IMACS-IFAC International Symposium on Modeling and Control of Technological Systems},
  year = {1991},
  pages = {573-582},
  address = {Lille, France},
  month = {May},
  abstract = {This paper addresses the improvement of throughput upper bounds for live and bounded stochastic Petri nets, presented by the authors in previous works. The introduction of a greater amount of structural information, traps and implicit places, allows to improve the bounds using linear programming problems defined on the net structure, on the routing probabilities, and on the mean service time of transitions. The obtained bounds can be applied for the analysis of manufacturing systems modelled by means of stochastic Petri nets. An example is presented and evaluated using the introduced techniques.}
}
78. [CC-Gjern-91] bibtex
    J. Campos and J. M. Colom, "A Reachable Throughput Upper Bound for Live and Safe Free Choice Nets," in Proceedings of the Twelfth International Conference on Application and Theory of Petri Nets, Gjern, Denmark, 1991, pp. 237-256.
    @INPROCEEDINGS{CC-Gjern-91,
  author = {J. Campos and J.M. Colom},
  title = {A Reachable Throughput Upper Bound for Live and Safe Free Choice Nets},
  booktitle = {Proceedings of the Twelfth International Conference on Application and Theory of Petri Nets},
  year = {1991},
  pages = {237-256},
  address = {Gjern, Denmark},
  month = {June},
  organization = {EATCS},
  publisher = {IBM Deutschland},
  abstract = {This paper addresses the computation of upper bounds for the throughput of transitions of live and safe deterministically or stochastically timed free choice nets. The obtained results are extensions of the marked graph case, presented by the authors in previous works. Polynomial complexity algorithms are derived using linear programming techniques. The obtained values are tight in the sense that, with the only knowledge of the net topology, the mean service times of transitions, and the routing rates at conflicts, is not possible to improve the bounds.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/91_CC_Gjern.ps.gz}
}
79. [CCS-DEMON-90] bibtex
    J. M. Colom, J. Campos, and M. Silva, "On liveness analysis through linear algebraic techniques," in Proceedings of the Annual General Meeting of ESPRIT Basic Research Action 3148 Design Methods Based on Nets (DEMON), Paris, France, 1990.
    @INPROCEEDINGS{CCS-DEMON-90,
  author = {J.M. Colom and J. Campos and M. Silva},
  title = {On liveness analysis through linear algebraic techniques},
  booktitle = {Proceedings of the Annual General Meeting of ESPRIT Basic Research Action 3148 Design Methods Based on Nets (DEMON)},
  year = {1990},
  address = {Paris, France},
  month = {June},
  abstract = {Proving properties of Place/Transition Nets through Linear Algebraic Techniques is very interesting because of the polynomial complexity of the algorithms used for this purpose. In this sense, many works have been devoted to the linear analysis of marking related properties (e.g. boundedness of the state space, mutual exclusions, etc.). Nevertheless, few results exist related to linear analysis of liveness properties. In this note, we investigate some applications of linear techniques to partial characterization of liveness properties. First, a necessary condition for structural liveness in structural bounded nets is presented. It is based on the rank of the incidence matrix. Finally, given an initial marking, some sufficient conditions for dead transitions and for deadlock-freeness are presented.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/90_CCS_DEMON_corrected.pdf}
}
80. [CCS-Rensselaer-90] bibtex
    J. Campos, J. M. Colom, and M. Silva, "Performance Evaluation of Repetitive Automated Manufacturing Systems," in Proceedings of the Rensselaer’s Second International Conference on Computer Integrated Manufacturing, Rensselaer Polytechnic Institute, Troy, NY, USA, 1990, pp. 74-81.
    @INPROCEEDINGS{CCS-Rensselaer-90,
  author = {J. Campos and J.M. Colom and M. Silva},
  title = {Performance Evaluation of Repetitive Automated Manufacturing Systems},
  booktitle = {Proceedings of the Rensselaer's Second International Conference on Computer Integrated Manufacturing},
  year = {1990},
  pages = {74-81},
  address = {Rensselaer Polytechnic Institute, Troy, NY, USA},
  month = {May},
  publisher = {IEEE-Computer Society Press},
  abstract = {Steady-state performance evaluation of some repetitive automated manufacturing systems modelled by means of stochastic or deterministic timed Petri nets is considered. Basically, concepts and techniques developed by the authors in other works are applied to repetitive manufacturing systems in this paper. Linear programming problems defined on the incidence matrix of the underlying Petri nets are used to compute tight upper and lower bounds for the performance measures of job-shop systems and decision-free kanban systems in polynomial time on the net structure. The results can be extended to other models in which some decisions are allowed, such as producer-consumer systems with mutual exclusion. Exact performance measures for a class of systems containing sequential processes can be computed in polynomial time.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/90_CCS_Rensselaer.ps.gz}
}
81. [Campos-thesis-90] bibtex
    J. Campos, "Performance Bounds for Synchronized Queueing Networks," PhD Thesis , Research Report GISI-RR-90-20, 1990.
    @PHDTHESIS{Campos-thesis-90,
  author = {J. Campos},
  title = {Performance Bounds for Synchronized Queueing Networks},
  school = {Departamento de Ingenier{\'{\i}}a El{\'e}ctrica e Inform{\'a}tica, Universidad de Zaragoza, Spain},
  year = {1990},
  address = {Research Report GISI-RR-90-20},
  month = {October},
  abstract = {Product form queueing networks have long been used for the performance evaluation of computer systems. Their success has been due to their capability of naturally expressing sharing of resources and queueing, that are typical situations of traditional computer systems, as well as to their efficient solution algorithms, of polynomial complexity on the size of the model. Unfortunately, the introduction of synchronization constraints usually destroys the product form solution, so that general concurrent and distributed systems are not easily studied with this class of models. Petri nets have been proved specially adequate to model parallel and distributed systems. Moreover, they have a well-founded theory of analysis that allows to investigate a great number of qualitative properties of the system. In the original definition, Petri nets did not include the notion of time, and tried to model only the logical behaviour of systems by describing the causal relations existing among events. This approach showed its power in the specification and analysis of concurrent systems in a way independent of the concept of time. Nevertheless the introduction of a timing specification is essential if we want to use this class of models for the performance evaluation of distributed systems. One of the main problems in the actual use of timed and stochastic Petri net models for the quantitative evaluation of large systems is the explosion of the computational complexity of the analysis algorithms. In general, exact performance results are obtained from the numerical solution of a continuous time Markov chain, whose dimension is given by the size of the state space of the model. Structural computation of exact performance measures has been possible for some subclasses of nets such as those with state machine topology. These nets, under certain assumptions on the stochastic interpretation are isomorphic to Gordon and Newell's networks, in queueing theory terminology. In the general case, efficient methods for the derivation of performance measures are still needed. Two complementary approaches to the derivation of exact measures for the analysis of distributed systems are the utilization of approximation techniques and the computation of bounds. Approximate values for the performance parameters are in general more efficiently derived than the exact ones. On the other hand, "exactness'' only exists in theory! In other words, numerical algorithms must be applied in practice for the computation of exact values, therefore making errors is inevitable. Performance bounds are useful in the preliminary phases of the design of a system, in which many parameters are not known accurately. Several alternatives for those parameters should be quickly evaluated, and rejected those that are clearly bad. Exact (and even approximate) solutions would be computationally very expensive. Bounds become useful in these instances since they usually require much less computation effort. The computation of upper and lower bounds for the steady-state performance of timed and stochastic Petri nets is considered in this work. In particular, we study the throughput of transitions, defined as the average number of firings per time unit. For this measure we try to compute upper and lower bounds in polynomial time on the size of the net model, by means of proper linear programming problems defined from the incidence matrix of the net (in this sense, we develop structural techniques). These bounds depend only on the mean values and not on the higher moments of the probability distribution functions of the random variables that describe the timing of the system. The independence of the probability distributions can be viewed as a useful generalization of the performance results, since higher moments of the delays are usually unknown for real cases, and difficult to estimate and assess. From a different perspective, the obtained results can be applied to the analysis of queueing networks extended with some synchronization schemes. Monoclass queueing networks can be mapped on stochastic Petri nets. On the other hand, stochastic Petri nets can be interpreted as monoclass queueing networks augmented with synchronization primitives. Concerning the presentation of this manuscript, it should be mentioned that chapter 1 has been written with the object of giving the reader an outline of the stochastic Petri net model: its definition, terminology, basic properties, and related concepts, together with its deep relation with other classic stochastic network models. Chapter 2 is devoted to the presentation of the net subclasses considered in the rest of the work. The classification presented here is quite different from the one which is usual in the framework of Petri nets. The reason lies on the fact that our classification criterion, the computability of visit ratios for transitions, is introduced for the first time in the field of stochastic Petri nets in this work. The significance of that criterion is based on the important role that the visit ratios play in the computation of upper and lower bounds for the performance of the models. Nevertheless, classical important net subclasses are identified here in terms of the computability of their visit ratios from different parameters of the model. Chapter 3 is concerned with the computation of reachable upper and lower bounds for the most restrictive subclass of those presented in chapter 2: marked graphs. The explanation of this fact is easy to understand. The more simple is the model the more accessible will be the techniques an ideas for the development of good results. Chapter 4 provides a generalization for live and bounded free choice nets of the results presented in the previous chapter. Quality of obtained bounds is similar to that for strongly connected marked graphs: throughput lower bounds are reachable for bounded nets while upper bounds are reachable for 1-bounded nets. Chapter 5 considers the extension to other net subclasses, like mono-T-semiflow nets, FRT-nets, totally open deterministic systems of sequential processes, and persistent nets. The results are of diverse colours. For mono-T-semiflow nets and, therefore, for general FRT-nets, it is not possible (so far) to obtain reachable throughput bounds. On the other hand, for bounded ordinary persistent nets, tight throughput upper bounds are derived. Moreover, in the case of totally open deterministic systems of sequential processes the exact steady-state performance measures can be computed in polynomial time on the net size. In chapter 6 bounds for other interesting performance measures are derived from throughput bounds and from classical queueing theory laws. After that, we explore the introduction of more information from the probability distribution functions of service times in order to improve the bounds. In particular, for Coxian service delay of transitions it is possible to improve the throughput upper bounds of previous chapters which held for more general forms of distribution functions. This improvement shows to be specially fruitful for live and bounded free choice nets. Chapter 7 is devoted to case studies. Several examples taken from literature in the fields of distributed computing systems and manufacturing systems are modelled by means of stochastic Petri nets and evaluated using the techniques developed in previous chapters. Finally, some concluding remarks and considerations on possible extensions of the work are presented.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/thesis.pdf}
}
82. [CS-DS-90] bibtex
    J. Campos and M. Silva, "Steady-State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes," , Cosnard, M. and Girault, C., Eds., Amsterdam, The Netherlands: Elsevier Science Publishers B.V. (North-Holland), 1990, pp. 427-438.
    @INCOLLECTION{CS-DS-90,
  author = {J. Campos and M. Silva},
  title = {Steady-State Performance Evaluation of Totally Open Systems of {Markovian} Sequential Processes},
  booktitle = {Decentralized Systems},
  publisher = {Elsevier Science Publishers B.V. (North-Holland)},
  year = {1990},
  editor = {M. Cosnard and C. Girault},
  pages = {427-438},
  address = {Amsterdam, The Netherlands},
  abstract = {Totally open systems of Markovian sequential processes are defined as a subclass of stochastic Petri nets. They can be viewed as a generalization of a subclass of queueing networks in which complex sequential servers can be synchronized according to some particular schemes. Structural analysis of these nets is considered for avoiding the state explotion problem of the embedded Markov chain. Some qualitative properties interesting from a performance point of view are presented. In particular, a "potential ergodicity'' property is characterized by means of two structural properties: consistency and synchronic distance relation. Necessary and sufficient ergodicity conditions and the computation of steady-state performance measures are studied.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/90_CS_DS.ps.gz}
}
83. [CS-Lyon-89] bibtex
    J. Campos and M. Silva, "Steady-State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes," in Proceedings of the Working Conference on Decentralized Systems, Lyon, France, 1989, pp. 559-585.
    @INPROCEEDINGS{CS-Lyon-89,
  author = {J. Campos and M. Silva},
  title = {Steady-State Performance Evaluation of Totally Open Systems of {Markovian} Sequential Processes},
  booktitle = {Proceedings of the Working Conference on Decentralized Systems},
  year = {1989},
  pages = {559-585},
  address = {Lyon, France},
  month = {December},
  publisher = {International Federation for Information Processing W.G.~10.3},
  abstract = {Totally open systems of Markovian sequential processes are defined as a subclass of stochastic Petri nets. They can be viewed as a generalization of a subclass of queueing networks in which complex sequential servers can be synchronized according to some particular schemes. Structural analysis of these nets is considered for avoiding the state explotion problem of the embedded Markov chain. Some qualitative properties interesting from a performance point of view are presented. In particular, a "potential ergodicity'' property is characterized by means of two structural properties: consistency and synchronic distance relation. Necessary and sufficient ergodicity conditions and the computation of steady-state performance measures are studied.}
}
84. [CCS-Kyoto-89] bibtex
    J. Campos, G. Chiola, and M. Silva, "Properties and Steady-State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector," in Proceedings of the 3rd International Workshop on Petri Nets and Performance Models, Kyoto, Japan, 1989, pp. 210-220.
    @INPROCEEDINGS{CCS-Kyoto-89,
  author = {J. Campos and G. Chiola and M. Silva},
  title = {Properties and Steady-State Performance Bounds for {Petri} Nets with Unique Repetitive Firing Count Vector},
  booktitle = {Proceedings of the 3rd International Workshop on Petri Nets and Performance Models},
  year = {1989},
  pages = {210-220},
  address = {Kyoto, Japan},
  month = {December},
  publisher = {IEEE Computer Society Press},
  abstract = {The problem of computing both upper and lower bounds for the steady-state performance of timed and stochastic Petri nets is studied. In particular, Linear Programming problems defined on the incidence matrix of underlying Petri net are used to compute bounds for the throughput of transitions for live and bounded nets with a unique possibility of steady-state behaviour. These classes of nets are defined and their characteristics are studied. The bounds proposed here depend on the initial marking and the mean values of the delays but not on the probability distributions (thus including both the deterministic and the stochastic cases); moreover they can be computed also for non-ergodic models. Connections between results and techniques typical of qualitative and quantitative analysis of Petri models are stressed.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/89_CCS_Kyoto.ps.gz}
}
85. [CCCS-Kyoto-89] bibtex
    J. Campos, G. Chiola, J. M. Colom, and M. Silva, "Tight Polynomial Bounds for Steady-State Performance of Marked Graphs," in Proceedings of the 3rd International Workshop on Petri Nets and Performance Models, Kyoto, Japan, 1989, pp. 200-209.
    @INPROCEEDINGS{CCCS-Kyoto-89,
  author = {J. Campos and G. Chiola and J.M. Colom and M. Silva},
  title = {Tight Polynomial Bounds for Steady-State Performance of Marked Graphs},
  booktitle = {Proceedings of the 3rd International Workshop on Petri Nets and Performance Models},
  year = {1989},
  pages = {200-209},
  address = {Kyoto, Japan},
  month = {December},
  publisher = {IEEE Computer Society Press},
  abstract = {The problem of computing both upper and lower bounds for the steady-state performance of timed and stochastic Marked Graphs is studied. In particular, Linear Programming problems defined on the incidence matrix of the underlying Petri nets are used to compute tight (i.e., reachable) bounds for the throughput of transitions for live and bounded Marked Graphs with time associated with transitions. These bounds depend on the initial marking and the mean values of the delays but not on the probability distributions (thus including both the deterministic and the stochastic cases). Connections between results and techniques typical of qualitative and quantitative analysis of Petri models are stressed.},
  url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/89_CCCS_Kyoto.ps.gz}
}

Full Professor
School of Engineering and Architecture, University of Zaragoza
Dept. of Computer Science and Systems Engineering
María de Luna 1, 50018 Zaragoza, Spain

Complete curriculum (in Spanish, out of date): here.

Bioscketch

Javier Campos was born in Jaca (Spain) in 1963. He received an M.Sc. degree in applied mathematics and a Ph.D. degree in systems engineering and computer science (with Extraordinary Doctorate Award) from the University of Zaragoza, Spain, in 1986 and 1990, respectively. In 1986 he joined the Dept. of Electrical Engineering and Computer Science of the University of Zaragoza. He was the Director of the Master’s Degree in Computer Science from 1993 to 1997 and the Director of the Computer Science and Systems Engineering Dept. from 2001 to 2003. In 2005, Dr. Campos was appointed Full Professor at the same Department, after winning one of the first two national competitive habilitation positions announced. He has been awarded with five five-years-teaching bonuses by the University of Zaragoza and four six-years-research bonuses by the National Commission for the Evaluation of Research Activity.

His research interests include modelling and performance evaluation of distributed and concurrent systems, Petri nets, software performance engineering and discrete event systems in automation. He has supervised the completion of a hundred Master Thesis and two PhDs. Since 1989 he has co-authored about eighty papers published in refereed journals and conferences. He has been plenary session invited speaker and tutorial invited speaker at several important meetings as the IEEE International Workshop on Petri Nets and Performance Models, the International Conference on Application of Concurrency to System Design, and the International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. He has served on the Program Committee, sometimes as the Chair, of several international conferences as the International Conference on Quantitative Evaluation of Systems, the European Performance Engineering Workshop, the International Workshop on Software and Performance, the IEEE Conference on Automation Science and Engineering or the IEEE International Conference on Emerging Technologies and Factory Automation.

Dr. Campos is a Founding Member of the Aragón Institute for Engineering Research, a member of the Aragonese Informatics Engineering Association, and President of the Spanish Concurrent and Distributed Computing Society. He has been a member of the IEEE IES Technical Committee on Factory Automation, Co-Chair of the IEEE IES Technical Sub-Committee on Industrial Automated Systems and Controls, Associate Editor of IEEE Transactions on Industrial Informatics, and Guest Editor of a Special Section on Formal Methods in Manufacturing for the same Journal.

Save the Children solidarity race

• Theatre, travels, photos and so: http://jaca.cps.unizar.es.

Playing Kleinman (Woody Allen’s alter ego) in Death, by Woody Allen

Visiting an Iban longhouse in Borneo

• Some photos in Panoramio and in Picasaweb. Some more photos from Nabatas 2010.

E-mail:
Phone: (+34) 976 762348
Fax: (+34) 976 761914

Horario de tutorías.

• Proyectos Fin de Carrera dirigidos.
• Asignaturas:
  • Estructuras de datos y algoritmos.
  • Algoritmia básica Segui @AlgoritmiaB
    
  • Técnicas avanzadas de programación.
  • Curso de máster: Modelos Formales en Bioinformática.
• Cursos anteriores y otro material:
  • Un curso sobre Análisis de estructuras de datos (Turín, Italia, Junio 2008).
  • Un curso sobre Redes de Petri y evaluación de prestaciones (Barcelona, España, Junio 2007).
  • Un curso sobre Modelado y evaluación de prestaciones (Mendoza, Argentina, Noviembre 2006).
  • Un curso sobre Esquemas algorítmicos (Zaragoza, 2001).
  • Una charla sobre Algoritmos Genéticos (Zaragoza, 2005).
  • Sobre Ada y gnat.
• Ofertas de prácticas y empleo:
  • Aldiis: lista de correo de alumnos del DIIS.
  • Exaldiis: lista de correo de ex-alumnos del DIIS.

Catedrático de Lenguajes y Sistemas Informáticos
Escuela de Ingeniería y Arquitectura, Universidad de Zaragoza
Dpto. de Informática e Ingeniería de Sistemas
María de Luna 1, 50018 Zaragoza, España

Currículum completo (desactualizado): aquí.

Biografía breve

Nacido en Jaca (España) en 1963, Javier Campos se licenció en Matemáticas por la Universidad de Zaragoza, España, en 1986 y se doctoró en Ingeniería de Sistemas e Informática en 1990 por la misma Universidad con Premio Extraordinario. En 1986 se incorporó al Departamento de Ingeniería Eléctrica e Informática de la Universidad de Zaragoza. Fue Coordinador del Postgrado en Informática desde 1993 a 1997 y Director del Departamento de Informática e Ingeniería de Sistemas desde 2001 a 2003. En 2005, el Dr. Campos fue nombrado Catedrático del área de Lenguajes y Sistemas Informáticos en el mismo Departamento, tras obtener una de las dos primeras plazas de habilitación convocadas en el área a nivel nacional. Tiene reconocidos cinco quinquenios docentes por la Universidad de Zaragoza y cuatro sexenios de investigación por la Comisión Nacional Evaluadora de la Actividad Investigadora.

Sus temas de investigación incluyen el modelado y análisis de prestaciones de sistemas concurrentes y distribuidos, redes de Petri, evaluación del rendimiento de software y sistemas de eventos discretos. Ha tutelado la realización de un centenar de Proyectos Fin de Carrera de Ingeniería y dos Tesis Doctorales. Desde 1989 ha sido autor o co-autor de unos ochenta trabajos de investigación publicados en revistas y conferencias nacionales e internacionales tras proceso de revisión por pares. Ha sido ponente invitado en sesiones plenarias y en seminarios tutoriales en varias conferencias de primer nivel, como por ejemplo el IEEE International Workshop on Petri Nets and Performance Models, la International Conference on Application of Concurrency to System Design y la International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Ha formado parte de los comités científicos, algunas veces como presidente, de varias conferencias internacionales, como la International Conference on Quantitative Evaluation of Systems, el European Performance Engineering Workshop, el International Workshop on Software and Performance, la IEEE Conference on Automation Science and Engineering o la IEEE International Conference on Emerging Technologies and Factory Automation.

El Dr. Campos es miembro fundador del Instituto de Investigación en Ingeniería de Aragón, miembro de la Asociación de Ingenieros en Informática de Aragón y Presidente de la Sociedad de Computación Concurrente y Distribuida. Ha sido miembro del IEEE IES Technical Committee on Factory Automation, co-presidente del IEEE IES Technical Sub-Committee on Industrial Automated Systems and Controls, editor invitado de la sección especial sobre Formal Methods in Manufacturing de IEEE Transactions on Industrial Informatics y editor asociado de la revista IEEE Transactions on Industrial Informatics.

Carrera solidaria con Save the Children

• Teatro, viajes, fotos y otras cosas: http://jaca.cps.unizar.es.

Interpretando a Kleinman (Woody Allen álter ego) en Muerte, de Woody Allen

Visitando una Longhouse de indios Iban en Borneo

• Algunas fotos en Panoramio y en Picasaweb. Algunas otras fotos de Nabatas 2010.

E-mail:
Teléfono: (+34) 976 762348
Fax: (+34) 976 761914

Propuestas PFC / Master’s Thesis Proposals

• Contactar con el profesor.
• Otras propuestas: visitar las páginas web de los profesores.

PFC’s en curso / Ongoing Master’s Thesis

1. Autor:
   Título:
   Director:
   Ponente:
   Titulación:
   Año:

PFC’s finalizados / Former Master’s Thesis

1. Autor: GONZÁLEZ MELENDO, Álvaro
   Título: Integración y evaluación de un sistema de seguridad y cifrado para dispositivos embebidos en redes de sensores inalámbricas
   Director: Gascón Cabrejas, David (libelium)
   Ponente: Campos Laclaustra, Javier
   Año: 2013
2. Autor: BENEDI PALACIOS, José Alberto
   Título: Migrar a VOIP sistema de voz actual de empresa multisede
   Director: Campos Laclaustra, Javier
   Titulación: Ingeniería en Informática
   Año: 2011
3. Autor: ALASANZ ELICES, Ignacio
   Título: Sistema de disponibilidad y reservas para portales de alojamientos turísticos de alquiler vacacional
   Director: Campos Laclaustra, Javier
   Titulación: Ingeniería en Informática
   Año: 2011
4. Autor: TORRES CALVO, Francisco Javier
   Título: Gestión del ciclo de vida de la información en las BBDD de atención primaria del Servicio Aragonés de Salud
   Director: Campos Laclaustra, Javier
   Titulación: Ingeniería en Informática
   Año: 2010
5. Autor: SOLER MARTÍNEZ, Francisco Javier
   Título: Análisis de la implantación del CMMi en organizaciones dedicadas a desarrollo de proyectos software
   Director: Campos Laclaustra, Javier
   Titulación: Ingeniería en Informática
   Año: 2010
6. Autor: BRONCHAL BADENAS, Luis
   Título: Programación de sistema de servidor de alojamiento
   Director:  Campos Laclaustra, Javier
   Titulación: Ingeniería en Informática
   Año: 2010
7. Autor: MURO LANUZA, Héctor
   Título: Herramienta de comunicación y aprendizaje basada en Moodle
   Director: Marín Gavín, Carmelo (Movilitas Business Coaching S.L.)
   Ponente: Campos Laclaustra, Javier
   Titulación: Ingeniería en Informática
   Año: 2010
8. Autor: MORENO ROMEA, Celestino
   Título: SADS – Sistema de Alertas de Disponibilidad de Sistemas
   Director: Domínguez Murillo, Eladio (DIIS)
   Ponente: Campos Laclaustra, Javier
   Titulación: Ingeniería en Informática
   Año: 2009
9. Autor: SANGO MARTÍNEZ, Rebeca
   Título: Recarga de propiedades en caliente del MC-Server
   Director: Blasco Galán, Beatriz (tb-solutions)
   Ponente: Campos Laclaustra, Javier
   Titulación: Ingeniería en Informática
   Año: 2009
10. Autor: REQUENO JARABO, José Ignacio
    Título: Desarrollo y optimización de algoritmos de grandes enteros para el chip Cell
    Director: Lenstra, Arjen (EPFL)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2009
11. Autor: GUERRERO ROSEL, Pablo
    Título: Automatización de la creación de paquetes RPM para clusters Oracle
    Director: Defert, Philippe (CERN)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2009
12. Autor: ALFONSO ÁLVAREZ, Luis
    Título: Supermercado web
    Director: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2009
13. Autor: RUIZ MANZANARES, Gonzalo
    Título: Sistema para la Telegestión de Regadíos
    Director: Serrano Sanz, Fermín (BIFI)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2008
14. Autor: ROY ENFEDAQUE, Jorge
    Título: Desarrollo de sistema para automatizar proceso de colocación de fotolitos sobre una plancha de impresión flexográfica
    Director: Serrano Sanz, Fermín (BIFI)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2008
15. Autor: GALVE FIGUER, Olga
    Título: SNAP-SHOT: Seguimiento de la productividad con los parámetros tecnológicos
    Director: Campos Laclaustra, Javier
    Codirector: Saez Hidalgo, Jorge (Michelin España Portugal S.L.)
    Titulación: Ingeniería en Informática
    Año: 2008
16. Autor: NAVARRO RIAÑO, Roberto
    Título: Firma digital certificada en una aplicación CRM
    Director: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2008
17. Autor: RUIZ RODRÍGUEZ, Daniel
    Título: CSYT: Sistema de seguridad
    Director: Vicente Ruiz, José (Alborán Informática S.A.)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2008
18. Autor: BENITO AGUIRRE, David
    Título: Desarrollo de un shell de acceso y continuidad de trabajos en BOINC
    Director: Serrano Sanz, Fermín (BIFI)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2008
19. Autor: PORTILLO MARCUELLO, Joaquín
    Título: Rediseño, ampliación e implementación del módulo de planificación y seguimiento de tareas de un sistema de control de costes y recursos (CSYT)
    Director: Vicente Ruiz, José (Alborán Informática S.A.)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2008
20. Autor: MOROS MARCO, Alejandro
    Título: Implantación de CRM y servicios avanzados en operador VoIP
    Director: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2008
21. Autor: RATÓN ARJONA, Víctor
    Título: Gestión de la producción y control de presencia de los empleados de un taller de ferralla
    Director: Martínez-Berganza Asensio, Juan Francisco (Schnell Software)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2008
22. Autor: RAMBLA LOP, José Antonio
    Título: Accesibilidad en los gestores de contenidos
    Director: Agustí, Guillermo Roberto (IA Soft Aragón S.L.)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2008
23. Autor: GUALIS GIMÉNEZ, Alberto
    Título: Desarrollo e integración de motor de informes para paquete de gestión de nóminas
    Director: Morén Sanz, Francisco Javier (InSynergy Consulting Group)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2007
24. Autor: ANTÓN ESTELLA, Eduardo
    Título: Librería de acceso a firmas digitales en “Portable Document Format”
    Director: Vallejo Miguel, David Ken (tb-solutions)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2007
25. Autor: CAMPOS CALANDIN, Fernando
    Título: CSYT: Sistema de administración de tareas mediante servicios web
    Director: Vicente Ruiz, José (Alborán Informática S.A.)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2007
26. Autor: SOTERAS MARTÍNEZ, Pablo
    Título: Módulo EDM (Electronic Document Management) integrado con servicios de correo sobre CRM
    Director: Soria Palomar, Diego (InSynergy Consulting Group)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2007
27. Autor: SOLERA MANZANO, Javier
    Título: Plataforma modular para la integración CTI en un centro de relación con el cliente
    Director: Morén Sanz, Francisco Javier (InSynergy Consulting Group)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2006
28. Autor: MAQUEDA HERNÁNDEZ, Jorge
    Título: Gestión remota de flotas de vehículos
    Director: Garza Cuartero, Javier (GeoXfere)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2006
29. Autor: COSCULLUELA AISA, Javier
    Título: Bitácora: Sistema de seguridad
    Director: Vicente Ruiz, José (Alborán Informática S.A.)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2006
30. Autor: VILLALBA TREMPS, Sergio
    Título: Anota: Gestión de alertas
    Director: Vicente Ruiz, José (Alborán Informática S.A.)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2006
31. Autor: JAIME DOMINGO, Luis
    Título: Bitácora: Extensión para usuarios móviles
    Director: Vicente Ruiz, José (Alborán Informática S.A.)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2006
32. Autor: MIGUEL MARTÍNEZ, Juan Diego
    Título: Bitácora: Sistema para la planificación y el seguimiento de tareas
    Director: Vicente Ruiz, José (Alborán Informática S.A.)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2006
33. Autor: ORDÓÑEZ ARÉVALO, David
    Título: Bitácora: Gestor de recursos y seguimiento de actividades
    Director: Vicente Ruiz, José (Alborán Informática S.A.)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2006
34. Autor: CHÓLIZ BERNÁLDEZ, María Isabel
    Título: Servicios avanzados sobre centralita virtual PBX IP
    Director: Morén Sanz, Francisco Javier (InSynergy Consulting Group)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2006
35. Autor: SOBRINO BESCÓS, Francisco
    Título: Desarrollo e implantación del nuevo portal corporativo de Las Cortes de Aragón
    Director: Domínguez Fernández, Joaquín (Las Cortes de Aragón)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2006
36. Autor: TEJERO HERNÁNDEZ, Raquel
    Título: Sistema Centralizado de Eventos (SCE)
    Director: Llera Guerra, Sergio (tb-solutions)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2006
37. Autor: CIMORRA VELILLA, José Carlos
    Título: Acceso móvil a módulo Field Service con localización geográfica
    Director: Morén Sanz, Francisco Javier (InSynergy Consulting Group)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2006
38. Autor: CALVO NAVALMORAL, Alfredo
    Título: Aplicación on-line para la celebración de partidas simultáneas de guiñote
    Director: López Navarro, Sergio (Iritec)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2005
39. Autor: OLMOS ENRÍQUEZ, Daniel
    Título: Proyecto de desarrollo de aplicación de comercio electrónico basada en MySQL y tecnología JAVA
    Director: Ullastres, Eudald (CIOCE S.A.)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2005
40. Autor: SERRANO SANZ, Fermín
    Título: Sistema de control y gestión de datos para Multinacional de Restauración (Système de contrôle et gestion des donnes pour Multinational de Restauration)
    Director: Chámbon, Gerald (Alpsens Technologies, S.A.)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2005
41. Autor: MARZO ÁLVAREZ, Irene
    Título: Plataforma de integración de sistemas
    Director: Cañavate Párraga, Ricardo (SAMCA)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2005
42. Autor: MIGUEL LASOBRAS, Javier
    Título: MEDIGES: Medicina y gestión
    Director: Labena Gallizo, Ángel (Clínica Labena)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2005
43. Autor: MARTÍN CASAMAYOR, Jorge
    Título: Plataforma e-learning con entorno colaborativo
    Director: Morén Sanz, Francisco Javier (InSynergy Consulting Group)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2005
44. Autor: NUÑO EJARQUE, Raquel
    Título: e-Turismo: Plataforma para la oferta y la gestión de servicios de turismo
    Director: Catalán García, Óscar (tb-solutions)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2004
45. Autor: CASTELLOT LOU, Ricardo
    Título: Pasarela residencial para servicios multimedia en tiempo real
    Director: Sánchez Esguevillas, Antonio (Telefónica I+D)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2004
46. Autor: ESPINOSA GARCÉS, Mónica
    Título: Gestión de dificultades en redes de telecomunicaciones. Estado actual y evolución
    Director: Huguet Ballester, Francesc (Retevisión)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2004
47. Autor: GONZÁLEZ ROPERO, Aránzazu Yolanda
    Título: Estudio completo del paso del tratamiento manual de la zona de picking de un almacén al tratamiento por radiofrecuencia
    Director: Letosa González, María Victoria (E.D.S.)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2004
48. Autor: PERALES JIMÉNEZ, Raúl
    Título: Estudio e implantación de una plataforma de gestión de sistemas informáticos para el Gobierno de Aragón
    Director: Llena Bafaluy, Mª Carmen (Aragonesa de Servicios Telemáticos)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2004
49. Autor: CIRIA MARÍN, Sergio
    Título: Desarrollo de un sistema de información docente
    Director: Rodríguez Rodríguez, Enrique (CESTE)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2004
50. Autor: RODRÍGUEZ MOLES, Ana Belén
    Título: Aplicación para la gestión en tiempo real del consumo energético con un sistema “scada”
    Director: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2004
51. Autor: BALLABRIGA CLOS, Igor
    Título: Sistema de información para la gestión de una empresa dedicada a la confección textil
    Director: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2004
52. Autor: SARASA FERIA, Miguel Ángel
    Título: Adecuación de la herramienta de depuración GDB para su uso con un simulador de la placa de desarrollo del procesador Hyperstone E1
    Director: Baumhof, Christoph (Hyperstone A.6.)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2004
53. Autor: MARTÍNEZ LORENTE, Sergio
    Título: Desarrollo de lógica de negocio para cálculo de nóminas sobre plataforma java
    Director: Morén, Francisco (InSynergy Consulting Group)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2004
54. Autor: SORIA PALOMAR, Diego
    Título: Desarrollo de interfaz web para programa de gestión de nóminas en entorno ASP
    Director: Morén, Francisco (InSynergy Consulting Group)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2004
55. Autor: PONS BETRIÁN, Daniel
    Título: Infojoven.com: Recursos para informadores juveniles
    Director: Juste Jordán, José (Instituto Aragonés de la Juventud)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2004
56. Autor: ACERO CACHO, Roberto
    Título: Sistema corporativo de suscripción y notificación para el portal de servicios del gobierno de Aragón
    Director: Peris Mínguez, Manuel (Aragonesa de Servicios Telemáticos)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2004
57. Autor: PÉREZ TURRADO, César
    Título: Módulo de gestión de empleados y canales de comunicación para aplicaciones web de CRM
    Director: Morén, Francisco (InSynergy Consulting Group)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2003
58. Autor: BONILLA GONZÁLEZ, Óscar
    Título: Análisis y resolución de un problema de búsqueda inexacta de secuencias específicas de alta variabilidad en determinadas regiones del DNA
    Directores: Campos Laclaustra, Javier y Fillat Castejón, María Francisca (Dpto. Bioquímica y Biología Molecular y Celular)
    Titulación: Ingeniería en Informática
    Año: 2003
59. Autor: GONZÁLEZ BUESA, Cándida
    Título: Aplicación de algoritmos de emparejamiento desarrollados en Biología Computacional a problemas de localización de robots
    Director: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2003
60. Autor: LAPLANA RODRÍGUEZ, Juan José
    Título: Sistema CRM de automatización de la fuerza de venta para dispositivos móviles
    Director: Remesal Barcena, Antonio (Control Logistics Systems S.A.)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2003
61. Autor: VICENTE RUIZ, José
    Título:Sistema de control de costes para proyectos
    Director: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2003
62. Autor: IRIARTE FABANA, Daniel
    Título:Sistema gestor de correo electrónico para plataformas Web y Wap
    Director: Blasco Abad, Javier (Atcanet)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2003
63. Autor: FERRERO LEONARDO, Jesús
    Título:Desarrollo de un proxy inverso para adaptar la presentación de páginas HTML a dispositivos PDA de la plataforma PocketPC
    Director: Blasco Abad, Javier (Atcanet)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2003
64. Autor: CABRERO ELBOJ, Carmen
    Título:Métricas para Bases de Datos Relacionales
    Director: Sánchez Domínguez, Adolfo
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2003
65. Autor: PERALES SÁNCHEZ, Héctor
    Título:Sistema para la gestión software de un comercio minorista
    Director: Sánchez Domínguez, José Carlos
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2003
66. Autor: LLERA GUERRA, Sergio
    Título:SIAC: Sistema de instalación y actualización de componentes
    Director: Viñuales Bueno, Jesús (tb-solutions)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2003
67. Autor: GONZÁLEZ UZÁBAL, Adolfo
    Título:Herramientas para la resolución de modelos binivel. Aplicación a un problema de optimización medioambiental
    Directores: Galé Pola, Carmen (Dpto. Métodos Estadísticos) y Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2003
68. Autor: OCON CERVERA, Sergio
    Título:Proyecto de gestión, automatización y optimización de andamiajes de fachadas
    Director: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2002
69. Autor: PUYUELO MUNIESA, Carolina
    Título:EMarketing Engine Advanced
    Director: Barea Lázaro, Miguel Angel (tb-solutions)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2002
70. Autor: GUISADO LOZANO, José Miguel
    Título:Sistema de Información Corporativo del Departamento de Informática e Ingeniería de Sistemas
    Directores: Campos Laclaustra, Javier y Mena Nieto, Eduardo
    Titulación: Ingeniería en Informática
    Año: 2002
71. Autor: SANTOLARIA BLASCO, Antonio
    Título:Portal WAP: un estudio sobre las tecnologías inalámbricas
    Director: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2002
72. Autor: NAVARRO ROCHE, Alfredo
    Título:Scheduling of distributed integration processes in a heterogeneous environment
    Director: Beck, Holger (ESICON)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2002
73. Autor: LAPAZ PARDO, Beatriz
    Título:Motor de ‘eMarketing’ para aplicaciones electrónicas
    Director: Barea Lázaro, Miguel Angel (tb-solutions)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2001
74. Autor: TORRES GRAN, Marcos
    Título:Diseño e implementación de un sistema e-commerce para Internet basado en una arquitectura IECS (Intelligent Enterprise Control System)
    Director: Martínez Júlvez, Diego (PRONET)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2001
75. Autor: MAYO MACIAS, Sergio
    Título:Implementación y desarrollo del método de optimización “tabu search”: aplicación a sistemas de eventos discretos
    Director: Rodríguez Regadera, Diego
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2001
76. Autor: PELLEJERO HINOJOSA, Oscar Angel
    Título:Difusión confidencial de información sobre variables de un proceso industrial a través de una intranet
    Director: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2001
77. Autor: VALERO ESPADA, Miguel
    Título:Desarrollo de una aplicación de catálogo de componentes electrónicos virtuales
    Director: Giraud Sauver, Christophe (Design&Reuse)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2001
78. Autor: VIÑUALES BUENO, Santiago
    Título:Sistema Integrado para aplicaciones de Prospectiva Estratégica (S.I.P.E.). Módulo II: Estrategia de Actores
    Director: Echarri, José Miguel (Instituto de Prospectiva Estratégica)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2001
79. Autor: FRANCO LOMBA, Luis
    Título:FADCOM (Programa de facturación)
    Director: Lomba Blasco, Pedro (A&Rasociados)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2001
80. Autor: HERRERO VERON, Christian
    Título:Software interface for a multi technology system phone
    Directores: Johansson, Enrico y Runeson, Per
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2000
81. Autor: YERA PEMAN, Irene
    Título:Software interface for a multi technology system phone
    Directores: Johansson, Enrico y Runeson, Per
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2000
82. Autor: PAUL SERRANO, Carolina
    Título:Diseño y desarrollo de módulos software para construcción de aplicaciones distribuidas y acceso a datos mediante ODBC. Aplicación sobre sistemas de información basados en entorno
    Director: Romay Carracedo, Alfonso
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2000
83. Autor: SANCHEZ DOMINGUEZ, José Carlos
    Título:Sistema Integrado para aplicaciones de Prospectiva Estratégica (S.I.P.E.)
    Director: Echarri, José Miguel (Instituto de Prospectiva Estratégica)
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 2000
84. Autor: GARCIA VIARTOLA, Fco. Javier
    Título:Sistema de optimización de recorridos y cargas para el transporte de gas
    Directores: Campos Laclaustra, Javier y Roy Golet, Alfredo
    Titulación: Ingeniería en Informática
    Año: 2000
85. Autor: PRADOS GOMEZ, Israel
    Título:Entorno de análisis exacto de Redes de Petri estocásticas basado en el paradigma de divide y vencerás
    Directores: Campos Laclaustra, Javier y Pérez Jiménez, Carlos José
    Titulación: Ingeniería en Informática
    Año: 2000
86. Autor: CAMPOR POLA, Gemma
    Título:Entorno de análisis aproximado de Redes de Petri estocásticas basado en el paradigma de divide y vencerás
    Director: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 1999
87. Autor: LAPEÑA NAVAJAS, Sergio Manuel
    Título:Generación de calendarios de exámenes en el CPS. Una aproximación mediante algoritmos genéticos
    Director: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 1999
88. Autor: FERNANDEZ ROMAN, Iñaki
    Título:Medición de prestaciones de un sistema GSM multi-proceso
    Director: Laumond, Marc
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 1999
89. Autor: VIDAL SORO, Esther
    Título:Aplicación informática para el análisis de los centros educativos no universitarios de Aragón
    Director: González, César
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 1998
90. Autor: SANCHEZ DOMINGUEZ, Adolfo
    Título:Generación de horarios en el Centro Politécnico Superior
    Director: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 1998
91. Autor: NAVARRO FERRERUELA, Vicente
    Título:WINSCADA. Planificación, análisis, diseño y prototipo de una herramienta SCADA
    Director: Roldán Huecas, J. Fernando
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 1998
92. Autor: GASPAR SANCHEZ, Mª Teresa
    Título:Evaluation and development of a corba-trader for distributed multimedia services
    Director: Harju, Jarmo
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 1998
93. Autor: VILLA FUERTES, Ruth
    Título:Evaluation and development of a corba-trader for distributed multimedia services
    Director: Harju, Jarmo
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 1998
94. Autor: ANGULO LOSCOS, Rubén
    Título:Traducción automática del modelo de redes de Petri al modelo de redes de colas (QNAP2)
    Director: Campos Laclaustra, Javier
    Titulación: Ingeniería en Informática
    Año: 1998
95. Autor: AZNAR CORRAL, Primitivo
    Título:Creación de un módulo de simulación en un programa de resolución de prestaciones de líneas de producción
    Director: Di Mascolo, Maria
    Ponente: Campos Laclaustra, Javier
    Titulación: Ingeniería Industrial
    Año: 1997
96. Autor: NIETO PUERTOLAS, José Enrique
    Título:Estudio e implementación de nuevas técnicas de evaluación de prestaciones de sistemas concurrentes mediante redes de Petri estocásticas: Métodos aproximados y análisis simbólico
    Director: Campos Laclaustra, Javier
    Titulación: Ingeniería Industrial
    Año: 1995
97. Autor: TARTAJ ROMERA, José María
    Título:Sistema abierto de desarrollo para redes de Petri: cálculo de prestaciones temporales (análisis exacto)
    Director: Campos Laclaustra, Javier
    Titulación: Ingeniería Industrial
    Año: 1992
98. Autor: CHUECA CASTELLOTE, Raul
    Título:Sistema abierto de desarrollo para redes de Petri: cálculo de prestaciones temporales (cálculo de cotas)
    Director: Campos Laclaustra, Javier
    Titulación: Ingeniería Industrial
    Año: 1992
99. Autor: MARRO GROS, Gabriel Mariano
    Título:Definición e implementación de un lenguaje de programación entrelazado
    Director: Campos Laclaustra, Javier
    Titulación: Ingeniería Industrial
    Año: 1991
100. Autor: REITER, Michael
     Título:Bornes des performances pour réseaux de Petri stochastiques
     Director: Campos Laclaustra, Javier
     Titulación: Ingeniería Industrial (Institut Industriel du Nord, Villeneuve D’Asq, Francia)
     Año: 1991
101. Autor: CABEZA ALBAS, Pablo
     Título:Entorno gráfico abierto para el diseño y análisis de Redes de Petri
     Director: Campos Laclaustra, Javier
     Titulación: Ingeniería Industrial
     Año: 1989