Publications
] Filters: First Letter Of Last Name is S [Clear All Filters]
[MCM-SEPN-00] .
2000. Performance Evaluation for the Design of Agent Based Systems: A Petri Net Approach. :1-20.
[1503] .
2014. Performance evaluation and control of manufacturing systems: A continuous Petri nets view. Formal Methods in Manufacturing. :409-452.
[MCM-LNCS-01] .
2001. A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
[1225] .
2009. Performance Control of Markovian Petri Nets via Fluid Models: A Stock-Level Control Example. IEEE Conference on Automation Science and Engineering.
[WPPSIM-WOSP-05] .
2005. Performance by Unified Model Analysis (PUMA). :1-12.
[C-MATCH17-98] .
1998. Performance Bounds. :587-635.
[1394] .
2008. Parametric Architecture for Modeling Neuronal Systems. 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing 2008.
[1401] .
2007. Parametric Architecture for Function Calculation Improvement. Architecture of Computing Systems 2007.
[RP-87-02] .
1987. Packages for validating discrete production systems modelled with Petri nets. :529-536.
[RP-86-10] .
1986. Packages for validating discrete production systems modeled with Petri nets. :457-462.
[1344] .
1987. Packages for validating discrete production systems modeled with Petri nets. Applied Modelling and Simulation of Technological Systems. :529-536.
[1345] .
1986. Packages for validating discrete production systems modeled with Petri nets. IMACS-IFAC Symposium on Modelling and Simulation for Control of Lumped and Distributed Parameter Systems. :457-462.
[RP-82-06] .
1982. A package for computer design of concurrent logic control systems. :221-226.
[RP-83-01] .
1983. A package for computer design of concurrent logic control systems. :243-248.
[IPMaReSi05] .
2005. Optimal Observability for Continuous Petri Nets. :CDROM.
[TRMaGiReSeSi07] .
2008. Optimal model predictive control of Timed Continuous Petri nets.
[ARMAGIRESESI08] .
2008. Optimal model predictive control of Timed Continuous Petri nets. IEEE Transactions on Automatic Control. 53:1731-1735.
[IPGiMaReSeSi06b] .
2006. Optimal control of timed continuous Petri nets via explicit MPC. Lecture Notes in Control and Information Sciences. 341:383-390.
[IPGiMaReSeSi06a] .
2006. Optimal control of continuous Petri nets via model predictive control. :235–241.
[238] .
1995. Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Quantitative Methods in Parallel Systems. :161-174.
[245] .
1994. 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.
[250] .
1993. Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. IEEE 5th International Workshop on Petri Nets and Performance Models (PNPM'93). :128-137.
[251] .
1993. Operational Analysis of Timed Petri Nets. 16th International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance'93).
[1541] .
2016. Operation Planning of Elective Patients in an Orthopedic Surgery Department. 2nd International Workshop on Models and Methods for healthcare systems management and planning (M2H) in ETFA 2016. Abstract
[1502] .
2014. ON/OFF strategy based minimum-time control of continuous Petri nets. Nonlinear Analysis: Hybrid Systems. 12
