Publications
[1276] Performance modeling and analysis of the Universal Control Hub. 7th European Performance Engineering Workshop, EPEW 2010.
.
2010.
[1508] Cloud-based Assistive Technology Services. Proceedings of the 3rd Workshop on Software Services: Semantic-based Software Services (WoSS) at the Federated Conference on Computer Science and Information Systems (FedCSIS).
.
2011.
[IPGiJuSe03] Marking Estimation of Petri Nets based on Partial Observation. :-.
.
2003.
[IPMaCaGiSe07] A State Estimation Problem for Timed Continuous Petri Nets. :1770-1775.
.
2007.
[IPCoGiSeJu03] Observers for nondeterministic l-free labeled Petri nets.
.
2003.
[1251] Constrained invariant motions for networked multi-agent systems. ACC'09: Proceedings of the 2009 conference on American Control Conference.
.
2009.
[1446] On Decentralized Observability of Discrete Event Systems. 50th IEEE Conference on Decision and Control and European Control Conference.
.
2011.
[1395] A Software Library for Reliable Online-Arithmetic with Rational Numbers. Dagstuhl Seminar 08021 - Numerical Validation in Current Hardware Architectures.
.
2008.
[1398] Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. 2007:17.
.
2007.
[1403] The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design. Computability in Europe 2006.
.
2006.
[1529] The bound Reaching Problem on the Fluidization of Timed Petri Nets. 12th Int. Workshop on Discrete Event Systems.
.
2014.
[1496] Marking homothetic monotonicity and fluidization of untimed Petri nets. 11th International Workshop on Discrete Event Systems (WODES’12). :21-27.
.
2012.
[1500] On the fluidization of Petri nets and marking homothecy. Nonlinear Analysis: Hybrid Systems. 12:3-19.
.
2014.
[1530] Complexity Analysis of Continuous Petri Nets. Fundamenta informaticae. Fundamenta Informaticae. 137:1-28.
.
2015.
[1441] CiE: Programs, Proofs, Processes (Special Issue). Theory of Computing Systems. 51(3)
.
2012.
[TrEz-03] Some results on siphon computation for deadlock prevention in resource allocation systems modelled with Petri nets. :16-29.
.
2003.
[TricasEzpeletaETFA99] A Petri Net Solution to the Problem of Deadlocks in Systems of Processes with Resources.. :1047-1056.
.
1999.
[TricasEzpeleta97] A Partial Approach to the Problem of Deadlocks in Processes with Resour ces. :135-150.
.
2000.
[RP-90-04] The lift example.
.
1990.
[RP-90-05] Flexible manufacturing system.
.
1990.
[RP-91-03] Knowledge based manufacturing modelling and analysis by integrating Petri nets. :660-668.
.
1991.
.
1991.
[RP-91-34] A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets. :145-164.
.
1991.
[RP-92-09] Formal specification and validation in production plants. :64-73.
.
1992.
[RP-92-33] Petri Nets as a specification language for manufacturing systems. :427-436.
.
1992.