Publications
Filters: Author is J. Campos [Clear All Filters]
.
1999.
[CCS-Kyoto-89] Properties and Steady State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. :210-220.
.
1989.
[262] A Reachable Throughput Upper Bound for Live and Safe Free Choice Nets. 12th International Conference on Application and Theory of Petri Nets. :237-256.
.
1991.
.
1998.
[GBC-IROS-04] Solving the Mobile Robot Localization Problem Using String Matching Algorithms. :2475-2480.
.
2004.
[PJCS-96a] State Machine Reduction for the Approximate Performance Evaluation of Manufacturing Systems Modelled with Cooperating Sequential Processes. :1159-1165.
.
1996.
[CS-Lyon-89] Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :559-585.
.
1989.
[SC-Erlangen-95] Structural Performance Analysis of Stochastic Petri Nets. :61-70.
.
1995.
[CDS-StMalo-97] Structured Solution of Stochastic DSSP Systems. :91-100.
.
1997.
[CSS-Melbourne-91] Throughput Lower Bounds for Markovian Petri Nets Transformation Techniques. :322-331.
.
1991.
[CS-Melbourne-91] Throughput Upper Bounds for Markovian Petri Nets Embedded Subnets and Queueing Networks. :312-321.
.
1991.
[278] Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. Third IEEE International Workshop on Petri Nets and Performance Models (PNPM'89). :200-209.
.
1989.
.
2001.
[239] Approximate Throughput Computation of Stochastic Marked Graphs. Quantitative Methods in Parallel Systems. :175-188.
.
1995.
[243] Functional and Performance Analysis of Cooperating Sequential Processes. Quantitative Methods in Parallel Systems. :52-65.
.
1995.
[248] Functional and Performance Analysis of Cooperating Sequential Processes. Performance Evaluation of parallel and distributed systems. Solution Methods. :234-251.
.
1994.
[249] Functional and Performance Analysis of Cooperating Sequential Processes. 11th International Conference on Analysis and Optimization Systems. Discrete Event Systems. :169-175.
.
1994.
[246] A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. Performance Evaluation of parallel and distributed systems. Solution Methods. :265-283.
.
1994.
[259] Improving Throughput Upper Bounds for Net Based Models. Robotics and Flexible Manufacturing Systems. :281-294.
.
1992.
[269] Linear Algebraic Techniques for the Analysis of Petri Nets. Recent Advances in Mathematical Theory of Systems, Control, Networks, and Signal Processing II. :35-42.
.
1992.
[271] On liveness analysis through linear algebraic techniques. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990.
.
1990.
[238] Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Quantitative Methods in Parallel Systems. :161-174.
.
1995.
[245] Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Performance Evaluation of parallel and distributed systems. Solution Methods. :197-213.
.
1994.
[1482] Structural deadlock prevention policies for Flexible Manufacturing Systems: A Petri net outlook. Formal Methods in Manufacturing. Abstract
.
2014.
[BBBCC-QMIPS-94] Annotated Bibliography on Stochastic Petri Nets. 105:25-44.
.
1994.