Modeling activity diagram to colored petri net for validation and verification based on non functional parameters

QR Code

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...

Full description

Bibliographic Details
Main Author:	Balagatabi, Hossein Nematzadeh
Format:	Thesis
Language:	English
Published:	2008
Subjects:	QA75 Electronic computers. Computer science
Online Access:	http://eprints.utm.my/9533/ http://eprints.utm.my/9533/1/HosseinNematzadehBalagatabiMFSKSM2008.pdf

Similar Items

Single and Replicated Simulations for Colored Petri Nets Nondeterministic Network
by: Adhipta, D., et al.
Published: (2010)

Grammars controlled by Petri Nets
by: Dassow, Juergen, et al.
Published: (2012)

Reverse Watson-Crick Petri nets
by: Mohamad Jan, Nurhidaya, et al.
Published: (2014)

A Survey of Petri Net Tools
by: Thong, Weng Jie, et al.
Published: (2015)

Languages of watson-crick petri net
by: Mohamad Jan, Nurhidaya, et al.
Published: (2014)

A Model Driven Method to Represent Free Choice Petri Nets as Sequence Diagram
by: Thong , Weng Jie, et al.
Published: (2015)

Place-Labeled Petri Net Controlled Grammars
by: Mohamad Jan, Nurhidaya, et al.
Published: (2016)

Place-labelled petri net controlled grammars
by: Mohamad Jan, Nurhidaya, et al.
Published: (2017)

A new variant of Petri net controlled grammars
by: Mohamad Jan, Nurhidaya, et al.
Published: (2015)

Watson-Crick petri net languages: the effect of labeling strategies
by: Mohamad Jan, Nurhidaya, et al.
Published: (2014)

k-Watson-Crick Petri net controlled grammars
by: Mohamad Jan, Nurhidaya, et al.
Published: (2015)

Parallel firing strategy on petri nets: a review
by: Mavlankulov, Gairatzhan, et al.
Published: (2015)

Watson-Crick Petri net languages with finite sets of final markings
by: Mohamad Jan, Nurhidaya, et al.
Published: (2014)

Structural properties of place-labeled Petri net controlled grammars
by: Mohamad Jan, Nurhidaya, et al.
Published: (2014)

State machine of place-labelled petri net controlled grammars
by: Mohamad Jan, Nurhidaya, et al.
Published: (2017)

Collaborative workflow modelling based on activity diagrams, coloured petri-nets and system dynamics
by: Pudhota, Leo
Published: (2012)

Context-free petri net controlled grammars under parallel firing strategy
by: Mavlankulov, Gairatzhan, et al.
Published: (2016)

Structural subclass of place-labelled petri net controlled grammars: State machine
by: Mohamad Jan, Nurhidaya, et al.
Published: (2016)

Comparison of RLL, state diagram, grafcet and petri net for the realization of logic controller
by: Othman, Zulhairi
Published: (2005)

Fuzzy petri nets as a classification method for automatic speech intelligibility detection of children with speech impairments / Fadhilah Rosdi
by: Fadhilah, Rosdi
Published: (2016)

An introduction to petri-net
by: Bachok, Syahriah, et al.
Published: (2011)

Coevolution framework to support object-oriented model changes using Coloured Petri Net patterns / Bassam Atieh M. Rajabi
by: Bassam Atieh , M. Rajabi
Published: (2017)

Grammars controlled by petri nets
by: Dassow, Juergen, et al.
Published: (2012)

A Petri net approach to fault verification in phased mission systems using the standard deviation technique
by: Lloyd, Michael D., et al.
Published: (2014)

Benchmark circuit complexity validation using binary decision diagram characteristics
by: Mills,, Bruce, et al.
Published: (2006)

Skin color segmentation using coarse-to-fine region on normalized RGB chromaticity diagram for face detection
by: Soetedjo, Aryuanto, et al.
Published: (2008)

Automata diagram for groups
by: Gan, Yee Siang, et al.
Published: (2013)

Closure properties of Watson-Crick Petri net
by: Mohamad Jan, Nurhidaya, et al.
Published: (2018)

Bridge asset management using Petri-Nets
by: Yianni, P., et al.
Published: (2017)

Grammars controlled by petri nets with inhibitor arcs.
by: Turaev, Sherzod, et al.
Published: (2010)

Permutation groups in automata diagrams
by: Gan, Yee Siang, et al.
Published: (2013)

Towards agent-based petri net decision making modelling for cloud service composition: A literature survey
by: Ahmed, Firas D., et al.
Published: (2019)

Automata diagram for finite groups
by: Fong, Wan Heng, et al.
Published: (2013)

Using coloured Petri nets to investigate fleet cannibalisation
by: Sheng, Jingyu, et al.
Published: (2015)

A Petri net model for railway bridge maintenance
by: Le, Bryant, et al.
Published: (2017)

Stochastic petri net-based modeling of the durability of renderings
by: Ferreira, C., et al.
Published: (2018)

Modeling and control of operator functional state in a unified framework of fuzzy inference petri nets
by: Zhang, Jian-Hua, et al.
Published: (2017)

An information theoretic approach for knowledge representation using Petri nets
by: Chiachío, Manuel, et al.
Published: (2016)

Performance modelling of fuel cell systems through Petri nets
by: Fecarotti, Claudia, et al.
Published: (2016)

Reliability modelling of PEM fuel cells with hybrid Petri nets
by: Vasilyev, A., et al.
Published: (2017)