Modeling activity diagram to colored petri net for validation and verification based on non functional parameters
UML is one of the modeling tools which gains wide area of usage in developing softwares. It consists of many diagrams which help developers of a software to produce better product. One of its diagrams is called Activity Diagram. It is a deliverable which is usually produced in the analysis phase of...
Saved in:
Main Author: | Balagatabi, Hossein Nematzadeh |
---|---|
Format: | Thesis |
Language: | English |
Published: |
2008
|
Subjects: | |
Online Access: | http://eprints.utm.my/id/eprint/9533/1/HosseinNematzadehBalagatabiMFSKSM2008.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters
by: Balagatabi, Hossein Nematzadeh
Published: (2008) -
Modelling and reasoning of large scale fuzzy petri net using inference path and bidirectional methods
by: Zhou, Kaiqing
Published: (2015) -
Comparison of RLL, state diagram, grafcet and petri net for the realization of logic controller
by: Othman, Zulhairi
Published: (2005) -
Modeling and implementation of visual language using petri net model /
by: Khoo, Siau Cheng
Published: (1987) -
A model for validation and verification of disk imaging in computer forensic investigation
by: Palaniappan, P. Siva Shamala
Published: (2009)