| Workload Evaluation in Distributed Simulation of DESs. | 0 | 0.34 | 2021 |
| Model-driven development of data intensive applications over cloud resources. | 0 | 0.34 | 2018 |
| Evaluation of properties over phylogenetic trees using stochastic logics. | 0 | 0.34 | 2016 |
| A Specification Language for Performance and Economical Analysis of Short Term Data Intensive Energy Management Services. | 2 | 0.37 | 2016 |
| Distributed Simulation of Complex and Scalable Systems: From Models to the Cloud. | 0 | 0.34 | 2016 |
| On Autonomic Platform-as-a-Service: Characterisation and Conceptual Model | 2 | 0.36 | 2015 |
| The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach | 0 | 0.34 | 2014 |
| Computing Minimal Siphons in Petri Net Models of Resource Allocation Systems: An Evolutionary Approach. | 4 | 0.41 | 2014 |
| Analyzing Phylogenetic Trees With Timed And Probabilistic Model Checking: The Lactose Persistence Case Study | 1 | 0.36 | 2014 |
| Timed and Probabilistic Model Checking over Phylogenetic Trees. | 1 | 0.36 | 2014 |
| Towards Petri Net-Based Economical Analysis for Streaming Applications Executed Over Cloud Infrastructures. | 4 | 0.48 | 2014 |
| Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS Vision. | 0 | 0.34 | 2014 |
| Petri net approach for deadlock prevention in robot planning. | 5 | 0.43 | 2013 |
| Enforcing Liveness in S3PR Nets by Specialization of Resources. | 0 | 0.34 | 2013 |
| A New Approach to Prevent Deadlock in S3PR Nets with Unreplicable Resources. | 0 | 0.34 | 2013 |
| Speeding Up Phylogenetic Model Checking. | 1 | 0.35 | 2013 |
| Model Checking Software For Phylogenetic Trees Using Distribution And Database Methods | 2 | 0.46 | 2013 |
| An algorithm to compute the minimal siphons in S 4 PR nets. | 4 | 0.41 | 2012 |
| Sliced Model Checking for Phylogenetic Analysis. | 3 | 0.42 | 2012 |
| Compact Representation of Biological Sequences Using Set Decision Diagrams. | 4 | 0.42 | 2012 |
| On the deadlock analysis of multithreaded control software | 4 | 0.39 | 2011 |
| Phylogenetic Analysis Using an SMV Tool. | 5 | 0.47 | 2011 |
| COSME: A distributed control platform for communicating machine tools in Agile Manufacturing Systems | 0 | 0.34 | 2011 |
| Communication types for manufacturing systems. A proposal to distributed control system based on IEC 61499. | 1 | 0.36 | 2011 |
| Control software design for a cutting glass machine tool based on the COSME platform. Case study. | 0 | 0.34 | 2011 |
| The Resource Allocation Problem in Software Applications: A Petri Net Perspective. | 2 | 0.38 | 2010 |
| On the computation of the minimal siphons of S4PR nets from a generating family of siphons | 2 | 0.38 | 2010 |
| Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets. | 0 | 0.34 | 2010 |
| Lender processes competing for shared resources: Beyond the S4PR paradigm | 4 | 0.43 | 2006 |
| A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems | 30 | 1.37 | 2005 |
| Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings | 19 | 1.64 | 2001 |
| Some Improvements to the Banker s Algorithm Based on the Process Structure | 2 | 0.56 | 2000 |
| A Class of Well Structured Petri Nets for Flexible Manufacturing Systems | 40 | 2.00 | 1998 |
| Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems | 107 | 4.74 | 1996 |
| A Colored Petri Nets model of VHDL | 2 | 0.40 | 1995 |
| Implementation of Weighted Place/Transition Nets Based on Linear Enabling Functions | 3 | 0.46 | 1994 |
| A Petri Net Approach for the Analysis of VHDL Descriptions | 7 | 1.13 | 1993 |
| Toward A Formal Semantics Of Ieee Std Vhdl 1076 | 8 | 1.32 | 1993 |
| Analysis tools applied to VHDL | 2 | 0.68 | 1993 |
| Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals | 3 | 0.53 | 1993 |
| On Weighted T-Systems | 57 | 4.35 | 1992 |
| Tight Polynomial Bounds for Steady-State Performance of Marked Graphs | 10 | 1.79 | 1989 |
