Publications
Filters: First Letter Of Last Name is S [Clear All Filters]
[1281] Minimum-Time Control for Structurally Persistent Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
.
2010.
[1406] Performance Evaluation of Web Services Orchestrated with WS-BPEL4People. International Journal of Computer Networks & Communications. 2(6):18.
.
2010.
[1282] Fault diagnosis of manufacturing systems using continuous Petri nets. 2010 IEEE International Conference on Systems, Man, and Cybernetics.
.
2010.
[1267] Timing-dependent boundedness and liveness in continuous Petri nets. 10th International Workshop on Discrete Event Systems (WODES).
.
2010.
[1268] Hybrid Petri net model of a traffic intersection in an urban network. 2010 IEEE Multiconference on Systems and Control.
.
2010.
[1373] IEC 61499 execution model based on life cycle of function blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
.
2010.
[1374] Design patterns for Failure Management in IEC 61499 Function Blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
.
2010.
[1278] An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Transactions on Industrial Informatics. 6(3):471.
.
2010.
[1255] A Control Method for Timed Distributed Continuous Petri nets. ACC'10: Proceedings of the 2010 conference on American Control Conference.
.
2010.
[1284] On the Importance of the Deadlock Trap Property for Monotonic Liveness. Int. Workshop on Biological Processes & Petri Nets (BioPPN), A satellite event of Petri Nets 2010.
.
2010.
[1258] Observability of continuous Petri nets with infinite server semantics. Nonlinear Analysis: Hybrid Systems. 4(2):232.
.
2010.
[1288] Continuous Petri Nets: Expressive Power and Decidability Issues. International Journal of Foundations of Computer Science. 21(2):235-256.
.
2010.
[1279] Approaching Minimum Time Control of Timed Continuous Petri nets. Nonlinear Analysis: Hybrid Systems.
.
2010.
[BBCM-09] UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009). 553
.
2009.
[1227] Piecewise-Linear Constrained Control for Timed Continuous Petri Nets. IEEE Conference on Decision and Control.
.
2009.
[1254] New results for fault detection of untimed continuous Petri nets. 48th IEEE Conference on Decision and Control.
.
2009.
.
2009.
[1226] Hybrid Petri nets as an approximation to Markovian Petri nets. IFAC Conference on Analysis and Design of Hybrid Systems.
.
2009.
[1253] An Efficient Heuristics for Minimum Time Control of Continuous Petri nets. 3rd IFAC Conference on Analysis and Design of Hybrid Systems (2009).
.
2009.
.
2009.
[1225] Performance Control of Markovian Petri Nets via Fluid Models: A Stock-Level Control Example. IEEE Conference on Automation Science and Engineering.
.
2009.
[1252] Fault diagnoser design for untimed continuous Petri nets. 2009 IEEE Control Applications (CCA) & Intelligent Control (ISIC).
.
2009.
.
2009.
[1250] Observer Design for Untimed Continuous Petri Nets. ACC'09: Proceedings of the 2009 conference on American Control Conference.
.
2009.
[1257] Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. Discrete Event Dynamic Systems. 19(2):212.
.
2009.