UMP Institutional Repository

A Survey of Petri Net Tools

Thong, Weng Jie and M. A., Ameedeen (2015) A Survey of Petri Net Tools. In: Advanced Computer and Communication Engineering Technology: Proceedings of the 1st International Conference on Communication and Computer Engineering. Lecture Notes in Electrical Engineering, 315 (Ch. 51). Springer, Switzerland, pp. 537-551. ISBN 978-3-319-07673-7 (print); 978-3-319-07674-4 (online)

[img] PDF
A_Survey_of_Petri_Net_Tools.PDF
Restricted to Repository staff only

Download (566kB) | Request a copy
[img]
Preview
PDF
fskkp-2015-ameedeen-A Survey of Petri Net Tools.pdf

Download (590kB) | Preview

Abstract

Petri net is a mathematical modeling language that can be used to describe a system graphically. It is a strong language that can be used to represent parallel or concurrent activities in a system. With the ease of a Petri net tool, users can view the overall system graphically and edit It with the editor. A Petri net tool can also be used to analyze the performance of the system, generate code, simulate the system and perform model checking on it. A review on twenty Petri net tools in this paper will give the readers an idea on what is a Petri net tool and the main functions of a Petri net tool. This paper can also serve as an introduction of twenty Petri net tools to the reader. however, to date, there are many Petri net tools available to be downloaded online. This survey paper aims to compare twenty Petri net tools in different aspect. This is important as users will not have to read the reviews of Petri net tools online one by one. Just be having a look at the discussion provided, readers can determined the best recommended Petri net tools to be used based on their operating systems and the types of Petri net tool to be analyzed. The main purpose of this survey paper is to recommend Petri net tools to users based on the operating system and the types of Petri net to be analyzed.

Item Type: Book Section
Uncontrolled Keywords: Petri net; Petri net tools
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Q Science > QA Mathematics > QA76 Computer software
Faculty/Division: Faculty of Computer System And Software Engineering
Depositing User: Ms Suriati Mohd Adam
Date Deposited: 26 Sep 2014 07:59
Last Modified: 20 Jun 2016 01:21
URI: http://umpir.ump.edu.my/id/eprint/6740
Download Statistic: View Download Statistics

Actions (login required)

View Item View Item