Publications
Filters: First Letter Of Title is S [Clear All Filters]
.
2005.
[IPMaRaReSi05] Steady state control, zero valued poles and token conservation laws in continuous net systems.
.
2005.
[ARJuReSi05] Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica. 41:605-616.
.
2005.
[GBC-IROS-04] Solving the Mobile Robot Localization Problem Using String Matching Algorithms. :2475-2480.
.
2004.
[HiLuMaSDNC] Scaled dimension and non uniform complexity. Journal of Computer and System Sciences. 69:97-122.
.
2004.
[HiLoMa04] Scaled dimension and the Kolmogorov complexity of Turing-hard sets. 3153:476-487.
.
2004.
[MC-LNCS-04] Software Performance Modelling Using UML and Petri Nets. Lecture Notes in Computer Science. 2965:265-289.
.
2004.
[TrEz-03] Some results on siphon computation for deadlock prevention in resource allocation systems modelled with Petri nets. :16-29.
.
2003.
[LG03RR1] Sketching architectural concerns on distributed discrete event simulation based on Petri Nets.
.
2003.
.
2003.
[HiLuMaSDNCb] Scaled dimension and non uniform complexity. 2719:278-290.
.
2003.
[1333] Structural Analysis of Signal Transition Graphs based on Linear Algebraic Techniques. Petri Net Approaches for Modelling and Validation. :35-51.
.
2003.
[1334] Structural Methods. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :277-316.
.
2002.
[IPReJuSi02] Steady State Performance evaluation for some continuous Petri nets. :N479.
.
2002.
[ARReTeSi01] Structure Theory of Multi Level Deterministically Synchronized Sequential Processes. Theoretical Computer Science. 254:1-33.
.
2001.
.
2001.
[907] Structuraly Safe Net Systems. Discrete Event Systems. Analysis and Control. :441-448.
.
2000.
[1088] Some Improvements to the Banker's Algorithm Based on the Process Structure. 2000 IEEE International Conference on Robotics and Automation (ICRA’2000). :2853-2858.
.
2000.
[CDS-TSE-99] Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Transactions on Software Engineering. 25:147-165.
.
1999.
[915] A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming. 11th European Simulation Symposium (ESS’99). Simulation in Industry. :542-546.
.
1999.
[1338] Structural Methods. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :271-315.
.
1998.
[917] A Structural Approach to the Problem of Deadlock Prevention in Processes with Resources. International Workshop on Discrete Event Systems, WODES’98. :273-278.
.
1998.
[CDS-StMalo-97] Structured Solution of Stochastic DSSP Systems. :91-100.
.
1997.
[1081] Structural Analysis of Signal Transition Graphs.. Workshop Petri Nets in System Engineering (PNSE’97). Modelling, Verification and Validation. :123-134.
.
1997.
.
1996.