Publications
] Filters: First Letter Of Last Name is S [Clear All Filters]
[SC-Erlangen-95] .
1995. Structural Performance Analysis of Stochastic Petri Nets. :61-70.
[PJCS-95] .
1995. On Approximate Throughput Computation of Deterministic Systems of Sequential Processes. :156-171.
[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.
[ICReTeSi96] .
1996. SCECS A Class of Modular and Hierarchical Cooperating Systems. 1091:440-459.
[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.
[PJCS-96a] .
1996. State Machine Reduction for the Approximate Performance Evaluation of Manufacturing Systems Modelled with Cooperating Sequential Processes. :1159-1165.
[PJCS-96b] .
1996. Approximate Throughput Computation of a Class of Cooperating Sequential Processes. :382-389.
[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.
[AmbMay97] .
1997. Resource Bounded Measure and Randomness. :1-47.
[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.
[1081] .
1997. Structural Analysis of Signal Transition Graphs.. Workshop Petri Nets in System Engineering (PNSE’97). Modelling, Verification and Validation. :123-134.
[CDS-StMalo-97] .
1997. Structured Solution of Stochastic DSSP Systems. :91-100.
[RP-97-06] .
1997. Throughput Approximation of Decision Free Processes Using Decomposition. :174-182.
[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.
[ICSiTeVaPi98] .
1998. Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
[883] .
1998. Linear Algebraic and Linear Programming Techniques for the Analysis of Place/Transition Net Systems. Lectures on Petri Nets I: Basic Models. Advances in Petri Nets. :309-373.
[BS98] .
1998. Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques.
[1338] .
1998. Structural Methods. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :271-315.
[1340] .
1998. Properties. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :41-63.
[1341] .
1998. Logical Properties of P/T Systems and their Analysis. Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques Vol.1, HCM-MATCH Advanced Schools. :185-232.
[SiTe-SMC98] .
1998. DEDS Along Their Life-Cycle: Interpreted Extensions of Petri Nets. IEEE International Conference on Systems, Man and Cybernetics.
[1083] .
1998. A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. Application and Theory of Petri Nets 1998. :64-83.
