Publications

[1253] Apaydin-Ozkan, H, Julvez J, Mahulea C, Silva M. 2009. An Efficient Heuristics for Minimum Time Control of Continuous Petri nets. 3rd IFAC Conference on Analysis and Design of Hybrid Systems (2009).

Google Scholar

[1254] Seatzu, C, Cabasino MP, Mahulea C, Silva M. 2009. New results for fault detection of untimed continuous Petri nets. 48th IEEE Conference on Decision and Control.

Google Scholar

[1255] Apaydin-Ozkan, H, Julvez J, Mahulea C, Silva M. 2010. A Control Method for Timed Distributed Continuous Petri nets. ACC'10: Proceedings of the 2010 conference on American Control Conference.

Google Scholar

[1257] Mahulea, C, Recalde L, Silva M. 2009. Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. Discrete Event Dynamic Systems. 19(2):212.

Google Scholar

[1258] Mahulea, C, Recalde L, Silva M. 2010. Observability of continuous Petri nets with infinite server semantics. Nonlinear Analysis: Hybrid Systems. 4(2):232.

Google Scholar

[1267] Vázquez, CR, Silva M. 2010. Timing-dependent boundedness and liveness in continuous Petri nets. 10th International Workshop on Discrete Event Systems (WODES).

version_sometida_inicialmente_WODES.pdf

Google Scholar

[1268] Vázquez, CR, Sutarto HY, Boel R, Silva M. 2010. Hybrid Petri net model of a traffic intersection in an urban network. 2010 IEEE Multiconference on Systems and Control.

Hybrid_Petri_net_model_of_a_traffic_intersection_submitted.pdf

Google Scholar

[1278] Kloetzer, M, Mahulea C, Belta C, Silva M. 2010. An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Transactions on Industrial Informatics. 6(3):471.

Google Scholar

[1279] Apaydin-Ozkan, H, Julvez J, Mahulea C, Silva M. 2010. Approaching Minimum Time Control of Timed Continuous Petri nets. Nonlinear Analysis: Hybrid Systems.

Google Scholar

[1280] Apaydin-Ozkan, H, Mahulea C, Julvez J, Silva M. 2010. An Iterative Control Method for Distributed Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.

Google Scholar

[1281] Wang, L, Mahulea C, Julvez J, Silva M. 2010. Minimum-Time Control for Structurally Persistent Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.

Google Scholar

[1282] Cabasino, MP, Seatzu C, Mahulea C, Silva M. 2010. Fault diagnosis of manufacturing systems using continuous Petri nets. 2010 IEEE International Conference on Systems, Man, and Cybernetics.

Google Scholar

[1284] Heiner, M, Mahulea C, Silva M. 2010. 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.

Google Scholar

[SiTe-SMC98] Silva, M, Teruel E. 1998. DEDS Along Their Life-Cycle: Interpreted Extensions of Petri Nets. IEEE International Conference on Systems, Man and Cybernetics.

2.Syst-Theory_San_Diego98.pdf

Google Scholar

[1288] Recalde, L, Haddad S, Silva M. 2010. Continuous Petri Nets: Expressive Power and Decidability Issues. International Journal of Foundations of Computer Science. 21(2):235-256.

Google Scholar

[1296] Fraca, E, Julvez J, Mahulea C, Silva M. 2011. On reachability and deadlock-freeness of Hybrid Adaptive Petri nets. 18th IFAC World Congress.

Google Scholar

[1315] Vázquez, CR, van Schuppen JH, Silva M. 2011. Modular/Coordinated control for TCPNs. IFAC World Congress.

v3_A_modular-coordinated_control_for_TCPN.pdf

Google Scholar

[1316] Vázquez, CR, Silva M. 2011. Timing and liveness in continuous Petri nets. Automatica. 47(2):283--290.

Draft_-_Timing_and_liveness_in_continuous_PN.pdf

Google Scholar

[1334] Colom, JM, Teruel E, Silva M, Haddad S. 2002. Structural Methods. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :277-316.

Google Scholar

[1335] Colom, JM, Silva M, Teruel E. 2002. Properties. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :53-77.

Google Scholar

[1338] Colom, JM, Haddad S, Silva M, Teruel E. 1998. Structural Methods. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :271-315.

Google Scholar

[1340] Colom, JM, Silva M, Teruel E. 1998. Properties. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :41-63.

Google Scholar

[1341] Colom, JM, Teruel E, Silva M. 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.