Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints

Authors:
Ermeson Andrade;Paulo Maciel;Gustavo Callou;Bruno Nogueira
Affiliations:
-;-;-;-
Venue:
CIMCA '08 Proceedings of the 2008 International Conference on Computational Intelligence for Modelling Control & Automation
Year:
2008

Citing 0
Cited 2

Object Petri nets marking using UML

International Journal of Computer Applications in Technology
Validation environment of UML2 IOD based on hierarchical coloured Petri nets

International Journal of Computer Applications in Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Online auctions have become extremely popular in recent years. Ability to predict winning bid prices accurately can help bidders to maximize their profit. This paper proposes a number of strategies and algorithms for performing such predictions for the ...