|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 5 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Valentín Valero Ruiz, Hermenegilda Macià, Juan José Pardo, María-Emilia Cambronero, Gregorio Díaz |
Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermenegilda Macià, M. Isabel González-Sánchez, Valentín Valero Ruiz, Edelmira Valero |
Applying Petri Nets for the Analysis of the GSH-ASC Cycle in Chloroplasts. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
| 1 | Valentin Valero, María-Emilia Cambronero, Gregorio Díaz, Hermenegilda Macià |
A Petri net approach for the design and analysis of Web Services Choreographies. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Hermenegilda Macià |
Improving performance in flexible manufacturing systems. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Valero, Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià |
A barred operational semantics for a subset of WS-CDL with time restrictions. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermenegilda Macià, Valentin Valero, Fernando Cuartero, M. Carmen Ruiz |
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig |
A congruence relation for sPBC. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Petri box calculus, Operational semantics, Stochastic Petri nets, Stochastic process algebras |
| 1 | Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero |
Introducing the Iteration in sPBC. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
Petri Box Calculus, Performance Evaluation, Stochastic Petri Nets, Stochastic Process Algebra |
| 1 | M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià |
A Bounded True Concurrency Process Algebra for Performance Evaluation. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Hermenegilda Macià, Maria L. Pelayo |
Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm. |
MMM |
2004 |
DBLP DOI BibTeX RDF |
Timed-Arc Petri Net, MPEG-2 Video Encoder, Performance Evaluation, Formal Methods |
| 1 | Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo |
A New Synchronization in Finite Stochastic Petri Box Calculus. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
Petri Box Calculus, Performance Evaluation, Stochastic Petri Nets, Stochastic Process Algebra |
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")