Valentín Valero

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Timed processes of timed Petri nets Lecture Notes in Computer Science	2022-08-16	Paper
Strong behavioral similarities in timed-arc Petri nets Applied Mathematics and Computation	2019-11-13	Paper
Stochastic process reduction for performance evaluation in dtsiPBC Sibirskie Elektronnye Matematicheskie Izvestiya	2016-07-28	Paper
Performance analysis of concurrent systems in algebra dtsiPBC Programming and Computer Software	2016-06-27	Paper
Discussion on: ``Formal specification method for systems automation'' European Journal of Control	2014-08-07	Paper
Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets Science of Computer Programming	2012-07-20	Paper
Validation and verification of web services choreographies by using timed automata The Journal of Logic and Algebraic Programming	2011-01-07	Paper
A barred operational semantics for a subset of WS-CDL with time restrictions The Journal of Logic and Algebraic Programming	2009-11-04	Paper
A Petri net approach for the design and analysis of web services choreographies The Journal of Logic and Algebraic Programming	2009-07-20	Paper
Removing dead transitions in timed-arc Petri nets Mathematical and Computer Modelling of Dynamical Systems	2009-03-10	Paper
sPBC: a Markovian extension of Petri box calculus with immediate multiactions	2009-02-12	Paper
A congruence relation for sPBC Formal Methods in System Design	2008-04-11	Paper
A model of probabilistic processes	2007-08-22	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004 Lecture Notes in Computer Science	2005-08-18	Paper
A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets Theoretical Computer Science	2005-06-30	Paper
scientific article; zbMATH DE number 2088674 (Why is no real title available?)	2004-08-12	Paper
Algebraic theory of probabilistic and nondeterministic processes. The Journal of Logic and Algebraic Programming	2003-08-13	Paper
A process algebra for probabilistic and nondeterministic processes Information Processing Letters	2002-07-25	Paper

Research outcomes over time

This page was built for person: Valentín Valero