Publications

Export 663 results:
Sort by: Author [ Title (Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Q
[BM-IC-06] Bernardi, S, Merseguer J.  2006.  QoS assessment via stochastic analysis. IEEE Internet Computing. 10:32-42.
0 icon
BM-IC-06.pdf
[1415] Pérez-Palacín, D, Mirandola R, Merseguer J.  2012.  QoS and energy management with Petri nets: a self-adaptive framework. The Journal of Systems & Software. 85(12):15.
application/pdf icon
PMM-JSS-R2.pdf
P
[AMMP08] Albert, P, Mayordomo E, Moser P, Perifel S.  2008.  Pushdown compression. :39-48.
[MoEz-03] Moldt, D, Ezpeleta J.  2003.  A Proposal for Flexible Testing of Deadlock Control Strategies in Resource Allocation Systems. :586-595.
[IPGIMARESESI08] Giua, A, Mahulea C, Recalde L, Seatzu C, Silva M.  2008.  Properties of continuous Petri nets controlled via model predictive control.
[CCS-Kyoto-89] Campos, J, Chiola G, Silva M.  1989.  Properties and Steady State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. :210-220.
0 icon
89_CCS_Kyoto.ps
[258] Campos, J, Chiola G, Colom JM, Silva M.  1992.  Properties and Performance Bounds for Timed Marked Graphs. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications. 39(5):386-401.
0 icon
92_CCCS_CAS.ps
[CCS-TAC-91] Campos, J, Chiola G, Silva M.  1991.  Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks. IEEE Transactions on Automatic Control. 36:1368-1382.
0 icon
91_CCS_TAC.ps
[1335] Colom, JM, Silva M, Teruel E.  2002.  Properties. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :53-77.
[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.
[1306] [Anonymous].  2010.  Programs, Proofs, Processes: Proceedings of the 6th Conference on Computability in Europe, CiE, 2010. 6158
[RP-82-07] Silva, M, Velilla S.  1982.  Programmable logic controllers and Petri nets: A comparative study. :29-34.
0 icon
PLC_and_PN82.pdf
[RP-83-02] Silva, M, Velilla S.  1983.  Programmable logic controllers and Petri nets: A comparative study. :83-88.
[ARMoHaSeSi05] Moreaux, P, Haddad S, Sereno M, Silva M.  2005.  Product-form and stochastic Petri nets: a structural approach. Performance Evaluation. 59:313-336.
0 icon
science.pdf
[1325] [Anonymous].  2005.  Proceedings of the Workshop on Control of Hybrid and Discrete Event Systems.
[1324] [Anonymous].  2007.  Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’07).
[1488] Bernardi, S, Boskovic M, Merseguer J.  2013.  Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes (NiM-ALP 2013). 1074:1-40.
[ETFA09] Grau, A, Campos J, Oliver G.  2009.  Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation.
application/pdf icon
09_ETFA.pdf
[1259] [Anonymous].  2009.  Proc. of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems.
[1444] Kloetzer, M, Mahulea C, Pastravanu O.  2011.  A Probabilistic Abstraction Approach for Planning and Controlling Mobile Robots. ETFA'2011: 16th IEEE International Conference on Emerging Technologies and Factory Automation.
[1377] Serna, F, Catalán C, Blesa A, Rams JM, Colom JM.  2011.  "Predictive Maintenance Surveyor" Design Pattern for Machine Tools Control Software Applications. 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011).
[1321] Serna, F, Catalán C, Blesa A, Rams JM, Colom JM.  2011.  Predictive Maintenance Manager design pattern for component based machine tools. IEEE 9th International Conference on Industrial Informatics (INDIN’2011).
[ICSilv93b] Vernadat, F, Dicesare F, Harhalakis G, Proth JM, Silva M.  1993.  Practice of Petri-nets in manufacturing.
[RP-90-10] Esparza, J, Silva M.  1990.  A polynomial-time algorithm to decide liveness of bounded free choice nets.
[RP-92-31] Esparza, J, Silva M.  1992.  A polynomial-time algorithm to decide liveness of bounded free choice nets. Theoretical Computer Science. :185-205.