Publications
Filters: First Letter Of Last Name is S [Clear All Filters]
.
1992.
[RP-92-31] A polynomial-time algorithm to decide liveness of bounded free choice nets. Theoretical Computer Science. :185-205.
.
1992.
[RP-93-03] Qualitative analysis of periodic schedules for deterministically timed Petri net systems. IEICE Transactions.
.
1993.
[RP-93-10] Interleaving functional and performance structural analysis of Net models. 691:17-23.
.
1993.
[RP-93-14] Modular composition of intelligent control policies for FMS models. :405-410.
.
1993.
[1057] Petri Nets applied to the modelling and analysis of computer architecture problems. Microprocessing and Microprogramming. The EUROMICRO Journal. 38(1):1-11.
.
1993.
[RP-93-56] A new technique for finding a generating family of siphons, traps and st-components. 674:126-147.
.
1993.
[RP-93-57] Introducing Petri Nets.
.
1993.
[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.
[RP-96-12] A Throughtput Approximation Algorithm for Decision Free Processes. :161-178.
.
1996.
[RP-97-06] Throughput Approximation of Decision Free Processes Using Decomposition. :174-182.
.
1997.
.
2004.
[ARSiRe04] On fluidification of Petri net models: from discrete to hybrid and continuous models. Annual Reviews in Control. 28:253-266.
.
2004.
[IPMaReSi05] Optimal Observability for Continuous Petri Nets. :CDROM.
.
2005.
[PJCS-RR69-2005] Approximate Throughput Computation of Stochastic Weighted T-Systems.
.
2005.
.
2005.
.
2004.
.
2005.
[IPMoHaSeSi01] Structural Characterisation and Qualitative Properties of Product Form Stochastic Petri Nets.
.
2001.
[ARMoHaSeSi05] Product-form and stochastic Petri nets: a structural approach. Performance Evaluation. 59:313-336.
.
2005.
[TRMaGiReSeSi07] Optimal model predictive control of Timed Continuous Petri nets.
.
2008.
.
2008.
[ARMARARESI08] Steady state control reference and token conservation laws in continuous Petri net systems. IEEE Transactions on Automation Science and Engineering. 5:307-320.
.
2008.
[ARMAGIRESESI08] Optimal model predictive control of Timed Continuous Petri nets. IEEE Transactions on Automatic Control. 53:1731-1735.
.
2008.
[IPKLMA08] Formal analysis of timed continuous Petri net.
.
2008.