Publications
[ICReTeSi96] SCECS A Class of Modular and Hierarchical Cooperating Systems. 1091:440-459.
.
1996.
[RP-95-15] Distributed Systems Simulation using High Level Petri Nets. :227-233.
.
1995.
[RP-95-12] Corrección de programas y redes de Petri de alto nivel. :155-164.
.
1995.
[PJCS-95] On Approximate Throughput Computation of Deterministic Systems of Sequential Processes. :156-171.
.
1995.
[RP-95-10] Corrección de programas y Redes de Petri de alto nivel. :184-193.
.
1995.
[SC-Erlangen-95] Structural Performance Analysis of Stochastic Petri Nets. :61-70.
.
1995.
[1076] A Boolean Approach to the State Machine Decomposition of Petri Nets with OBDDs. 1995 IEEE International Conference on Systems, Man and Cybernetics. 4:3451-3456.
.
1995.
[TricasMartinez95SMC] An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources. :4119-4124.
.
1995.
[RP-95-21] An extension of the liveness theory for concurrent sequential processes competing for shared resources. :4119-4124.
.
1995.
[1074] A Colored Petri Net Model of VHDL. Formal Methods in System Design. 7(1/2):101-123.
.
1995.
[238] Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Quantitative Methods in Parallel Systems. :161-174.
.
1995.
[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.
[1071] A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 11(2):173-184.
.
1995.
[BuhMay95] An excursion to the Kolmogorov random strings. :197-203.
.
1995.
[BalMay95] A note on genericity and bi immunity. :193-196.
.
1995.
[FeLuMaWUS] Weakly Useful Sequences. 944:393-404.
.
1995.
[EDA-book-95] Estructuras de Datos y Algoritmos.
.
1995.
[1070] Discrete Event Simulation based on Timed Petri Nets using Linear Enabling Functions. 1994 IEEE International Conference on System, Man and Cybernetics. 2:1671-1676.
.
1994.
[247] Approximate Throughput Computation of Stochastic Marked Graphs. IEEE Transactions on Software Engineering. 20(7):526-535.
.
1994.
[1069] Implementation of Weighted Place/Transition Nets based on Linear Enabling Functions. Application and Theory of Petri Nets 1994. :99-118.
.
1994.
[1068] VHDL: A Discrete Event Simulation Hardware Description Language. 1994 International Conference on Simulation and Hardware Description Languages (SHDL'94). :128-134.
.
1994.
[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.
[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.
[248] Functional and Performance Analysis of Cooperating Sequential Processes. Performance Evaluation of parallel and distributed systems. Solution Methods. :234-251.
.
1994.