Activity Diagram applying Petri Net for Test Case Generation

Activity Diagram applying Petri Net for Test Case Generation

碩士 === 東海大學 === 資訊工程與科學系 === 94 ===

Bibliographic Details
Main Authors:	You-Wen Chiang, 姜又文
Other Authors:	William Cheng-Chung Chu
Format:	Others
Language:	zh-TW
Published:	2006
Online Access:	http://ndltd.ncl.edu.tw/handle/52362880660863949756

Similar Items

Applying Associative Petri Net to Enhance the Activity Diagram of UML and Its Applications
by: Shih-Hao Chou, et al.
Published: (2010)

Petri net test-generation on systems
by: Alukaidey, T.
Published: (1983)

Transformation of a core scenario model and activity diagrams into Petri nets
by: Maqbool, Shahbaz
Published: (2013)

Constructing Petri Net State Equation for Ladder Diagram
by: Lee, Gi Bum, et al.
Published: (2002-08-01)

XSLT template for generating of diagram of object-oriented Petri net from the OPNML format
by: Petr Jedlička
Published: (2008-01-01)

Mapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net
by: E. Akbari, et al.
Published: (2010-06-01)

Mapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net
by: E. Akbari, et al.
Published: (2013-07-01)

Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets
by: Sven Sieverding, et al.
Published: (2013-02-01)

Optimal Cost Searching on Workflow based of Petri nets
by: Chih-Wen Chiang, et al.
Published: (2009)

UML modeling analysis tool : an automated activity-diagram to Petri-Net conversion system
by: Ya-Ling Chen, et al.
Published: (2013)

Software test case generation from system models and specification. Use of the UML diagrams and High Level Petri Nets models for developing software test cases.
by: Alhroob, Aysh M.
Published: (2012)

Modeling activity diagram to colored petri net for validation and verification based on non functional parameters
by: Balagatabi, Hossein Nematzadeh
Published: (2008)

On generating a ladder diagram for an automatic system based on a Petri net based deadlock prevention policy
by: Guan-ZhiLiu, et al.
Published: (2014)

Construction and Reasoning of a novel Associative Petri Net
by: Hsiu-sen Chiang, et al.
Published: (2007)

GUI TEST SUITE AUTOMATIC GENERATION FROM PETRI NET
by: RAQUEL JAUFFRET GUILHON
Published: (2014)

APPLYING PETRI NETS EXTENSIONS TO MODELING COMMERCIAL BANK ACTIVITY
by: Igor ENICOV
Published: (2017-02-01)

Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters
by: Balagatabi, Hossein Nematzadeh
Published: (2008)

Verifying Time Properties by Transforming Timing Diagram to Object-Oriented Time Petri Net
by: Cain, et al.
Published: (2005)

Applying Petri-net to Establish User Behavior
by: Chen-Chieh,Yeh, et al.
Published: (2007)

[en] GUI TEST SUITE AUTOMATIC GENERATION FROM PETRI NET
by: RAQUEL JAUFFRET GUILHON
Published: (2015)

On the generation of organizational architectures using Petri nets
by: Remy, Pascal A
Published: (2005)

Modeling and analysis of urban rail plug door system based on Petri net and SDG diagram
by: PENG Wei, et al.
Published: (2019-01-01)

Petri-net-based supervisory control of discrete event systems and their ladder logic diagram implementations
by: Uzam, M.
Published: (1998)

Workflow modeling and analysis:applying petri net method
by: 林智偉
Published: (2002)

PetriNet Editor PetriNet Engine: New Software Tool For Modelling and Control of Discrete Event Systems Using Petri Nets and Code Generation<sup>+</sup>
by: Erik Kučera, et al.
Published: (2020-10-01)

Petri nets approach to test generation and analysis of hierarchically described digital circuits
by: Kadim, H. J.
Published: (1993)

Analytical Method in Stochastic Timed Petri Nets
by: Li, Wen-Li, et al.
Published: (1996)

Colored Resource-Oriented Petri Net Based Ladder Diagrams for PLC Implementation in Reconfigurable Manufacturing Systems
by: Husam Kaid, et al.
Published: (2020-01-01)

Translation of Nested Petri Nets into Classical Petri Nets for Unfoldings Verification
by: V. O. Ermakova, et al.
Published: (2018-10-01)

A Test Case Generator Based on Activity Diagrams
by: Tsung-Hsin Liu, et al.
Published: (2008)

The Petri-Nets to Statecharts Transformation Case
by: Pieter Van Gorp, et al.
Published: (2013-11-01)

Applying Petri Net to Construct the Product’s Design for Disassembly Model
by: Pei-Hua Lee, et al.
Published: (2004)

Apply Petri Net for Virtual Experiment To Provide Diagnosis And Assistance
by: Chien-Hsun Chen, et al.
Published: (2005)

Apply Fuzzy Theory to Control Colored Petri-net Simulation
by: Hung-Chi Shih, et al.
Published: (2010)

Applying UMM and Petri Net to realize customize XBRL(with in Enterprise)
by: Yen-Ming Lu, et al.
Published: (2011)

Using Petri Nets to Verify the Data/Control Flowsof CPU ArchitecturesUsing Petri Nets to Verify the Data/Control Flowsof CPU ArchitecturesUsing Petri Nets to Verify the Data/Control Flowsof CPU ArchitecturesUsing Petri Nets to Verify the Data/Contro
by: LUO, YOU-CHEN, et al.
Published: (2005)

Modeling by Petri Nets
by: H. Kubátová
Published: (2005-01-01)

Petri nets and their applications
by: Jin, Wei
Published: (2011)

Petri net semantics
by: Hayman, Jonathan Mark
Published: (2010)

Unsupervised and Supervised Deep Learning by Using Petri Nets
by: Chen, Wen-Hao, et al.
Published: (2019)