Publications
]
[ARReTeSi97] .
1998. Modeling and Analysis of Sequential Processes that Cooperate through Buffers. IEEE Trans on Robotics and Automation. 14:267-277.
[ARReTeSi98] .
1998. On Linear Algebraic Techniques for Liveness Analysis of PT Systems. Journal of Circuits Systems and Computers. 8:223-265.
[RP-98-02] .
1998. Distributed control systems simulation using high level Petri nets. Mathematics and Computers in Simulation. 46:47-55.
[BC-StMalo-97] .
1997. PNPM97 Tutorial Approximate Methods Based on Net Driven Decompositions.
[CDS-StMalo-97] .
1997. Structured Solution of Stochastic DSSP Systems. :91-100.
[PIPRM-97] .
1997. OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. 1250:145-158.
[RP-97-06] .
1997. Throughput Approximation of Decision Free Processes Using Decomposition. :174-182.
[1081] .
1997. Structural Analysis of Signal Transition Graphs.. Workshop Petri Nets in System Engineering (PNSE’97). Modelling, Verification and Validation. :123-134.
[1079] .
1997. Automatic Synthesis of Colored Petri Nets for the Control of FMS. IEEE Transactions on Robotics and Automation. 13(3):327-337.
[204] .
1997. Choice-free Petri Nets: A Model for Deterministic Concurrent Systems with Bulk Services and Arrivals. IEEE Transactions on Systems, Man and Cybernetics. Part A: Systems and Humans. 27(1):73-83.
[AmbMay97] .
1997. Resource Bounded Measure and Randomness. :1-47.
[BuhMay97] .
1997. An excursion to the Kolmogorov random strings. Journal of Computer and System Sciences. 54:393-399.
[MR-97] .
1997. La herencia en el modelo orientado a objetos, del análisis a la implementación. :21-30.
[PJCS-96c] .
1996. On Approximate Performance Evaluation of Manufacturing Systems Modelled with Weighted T Systems. :201-207.
[RP-96-12] .
1996. A Throughtput Approximation Algorithm for Decision Free Processes. :161-178.
[PJCS-96b] .
1996. Approximate Throughput Computation of a Class of Cooperating Sequential Processes. :382-389.
[PJCS-96a] .
1996. State Machine Reduction for the Approximate Performance Evaluation of Manufacturing Systems Modelled with Cooperating Sequential Processes. :1159-1165.
[PBMRI-96] .
1996. Descripción de la Herramienta CASE OO-Method. :47.
[IPSiTe96b] .
1996. A Systems Theory Perspective of Discrete Event Dynamic Systems The Petri Net Paradigm. Symposium on Discrete Events and Manufacturing Systems. CESA 96 IMACS Multiconference. :1-12.
[AmMaZh96] .
1996. A Comparison of Weak Completeness Notions. :171-178.
[AMWZ96] .
1996. Resource bounded balanced genericity stochasticity and weak randomness. 1046:63-74.
[LutMayCVKL] .
1996. Cook versus Karp Levin Separating Completeness Notions If NP Is Not Small. Theoretical Computer Science. 164:141-163.
[BooMay96] .
1996. On the robustness of ALMOST R. Rairo Informatique Theorique et Applications. 30:123-133.
[IPSiTe96] .
1996. Petri Nets for the Design and Operation of Manufacturing Systems. :330-343.
[ARTeSi96] .
1996. Structure Theory of Equal Conflict Systems. Theoretical Computer Science. 153:271-300.
