Author of the publication

sPBC: A Markovian Extension of Finite Petri box calculus.

, , and . PNPM, page 207-216. IEEE Computer Society, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Model Checking Techniques applied to the design of Web Services., , , , and . CLEI Electron. J., (2007)A Petri net approach for the design and analysis of Web Services Choreographies., , , and . J. Log. Algebraic Methods Program., 78 (5): 359-380 (2009)Evaluating cloud interactions with costs and SLAs., , , , and . J. Supercomput., 78 (6): 7529-7555 (2022)Facilitating the Quantitative Analysis of Complex Events through a Computational Intelligence Model-Driven Tool., , , , and . Sci. Program., (2019)Improving cloud architectures using UML profiles and M2T transformation techniques., , , , and . J. Supercomput., 75 (12): 8012-8058 (2019)sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions., , , and . Fundam. Informaticae, 87 (3-4): 367-406 (2008)Intelligent Transportation System to Control Air Pollution in Cities Using Complex Event Processing and Colored Petri Nets., , , and . IWANN (2), volume 10306 of Lecture Notes in Computer Science, page 415-426. Springer, (2017)Analysis and Verification of Time Requirements Applied to the Web Services Composition., , , , and . WS-FM, volume 4184 of Lecture Notes in Computer Science, page 178-192. Springer, (2006)An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework., , and . WS-FM, volume 7176 of Lecture Notes in Computer Science, page 79-94. Springer, (2011)Using RT-UML for modelling web services., , , and . SAC, page 643-648. ACM, (2007)