A Survey of Petri Net Tools
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...
Saved in:
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Book Section |
Language: | English English |
Published: |
Springer
2015
|
Subjects: | |
Online Access: | http://umpir.ump.edu.my/id/eprint/6740/1/A_Survey_of_Petri_Net_Tools.PDF http://umpir.ump.edu.my/id/eprint/6740/3/fskkp-2015-ameedeen-A%20Survey%20of%20Petri%20Net%20Tools.pdf http://umpir.ump.edu.my/id/eprint/6740/ http://dx.doi.org/10.1007/978-3-319-07674-4_51 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
my.ump.umpir.6740 |
---|---|
record_format |
eprints |
spelling |
my.ump.umpir.67402016-06-20T01:21:40Z http://umpir.ump.edu.my/id/eprint/6740/ A Survey of Petri Net Tools Thong, Weng Jie M. A., Ameedeen QA75 Electronic computers. Computer science QA76 Computer software 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. Springer Hamzah Asyrani, Sulaiman Mohd Azlishah, Othman Mohd Fairuz, Iskandar Othman Yahaya, Abd Rahim Naim, Che Pee 2015 Book Section PeerReviewed application/pdf en http://umpir.ump.edu.my/id/eprint/6740/1/A_Survey_of_Petri_Net_Tools.PDF application/pdf en http://umpir.ump.edu.my/id/eprint/6740/3/fskkp-2015-ameedeen-A%20Survey%20of%20Petri%20Net%20Tools.pdf 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) http://dx.doi.org/10.1007/978-3-319-07674-4_51 DOI: 10.1007/978-3-319-07674-4_51 |
institution |
Universiti Malaysia Pahang |
building |
UMP Library |
collection |
Institutional Repository |
continent |
Asia |
country |
Malaysia |
content_provider |
Universiti Malaysia Pahang |
content_source |
UMP Institutional Repository |
url_provider |
http://umpir.ump.edu.my/ |
language |
English English |
topic |
QA75 Electronic computers. Computer science QA76 Computer software |
spellingShingle |
QA75 Electronic computers. Computer science QA76 Computer software Thong, Weng Jie M. A., Ameedeen A Survey of Petri Net Tools |
description |
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. |
author2 |
Hamzah Asyrani, Sulaiman |
author_facet |
Hamzah Asyrani, Sulaiman Thong, Weng Jie M. A., Ameedeen |
format |
Book Section |
author |
Thong, Weng Jie M. A., Ameedeen |
author_sort |
Thong, Weng Jie |
title |
A Survey of Petri Net Tools |
title_short |
A Survey of Petri Net Tools |
title_full |
A Survey of Petri Net Tools |
title_fullStr |
A Survey of Petri Net Tools |
title_full_unstemmed |
A Survey of Petri Net Tools |
title_sort |
survey of petri net tools |
publisher |
Springer |
publishDate |
2015 |
url |
http://umpir.ump.edu.my/id/eprint/6740/1/A_Survey_of_Petri_Net_Tools.PDF http://umpir.ump.edu.my/id/eprint/6740/3/fskkp-2015-ameedeen-A%20Survey%20of%20Petri%20Net%20Tools.pdf http://umpir.ump.edu.my/id/eprint/6740/ http://dx.doi.org/10.1007/978-3-319-07674-4_51 |
_version_ |
1643665453196771328 |
score |
13.18916 |