A Survey of Petri Net Tools

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

Full description

Bibliographic Details
Main Authors:	Thong, Weng Jie, M. A., Ameedeen
Other Authors:	Hamzah Asyrani, Sulaiman
Format:	Book Chapter
Language:	English English
Published:	Springer 2015
Subjects:	QA75 Electronic computers. Computer science QA76 Computer software
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

Similar Items

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

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

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

Change management in business process modeling based on object oriented petri net
by: Rajabi, B.A., et al.
Published: (2009)

Performance modeling of e-procurement workflow using Generalised Stochastic Petri net (GSPN)
by: Rahim, Rahela, et al.
Published: (2002)

Runtime change management based on object oriented petri net
by: Rajabi, B.A., et al.
Published: (2009)

A proposed Petri Nets Model for updating XML documents on a multicore architecture
by: Wadi, Alaa M., et al.
Published: (2009)

Seamless model interoperability for software design and analysis
by: M. A., Ameedeen, et al.
Published: (2017)

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

A Systematic Survey on the Research of AI-predictive Models for Wastewater Treatment Processes
by: Mohan, Varun Geetha, et al.
Published: (2023)

Experimental Analysis on Available Bandwidth Estimation Tools for Wireless Mesh Network
by: Imran Edzereiq, Kamarudin, et al.
Published: (2015)

Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling
by: Ameedeen, Mohamed Ariff, et al.

Decidability questions for Petri Nets.
by: Hack, Michel Henri Théodore
Published: (2005)

A proposed method using the semantic similarity of WordNet 3.1 to handle the ambiguity to apply in social media text
by: Ali Muttaleb, Hasan, et al.
Published: (2020)

The factors influenced by stakeholder identification in E-learning systems: A survey
by: H. Elneel, Duha Awad, et al.
Published: (2023)

The Anxiety of Parent to the Prolong Computer Games Interaction: A Survey
by: N. S., Razak, et al.
Published: (2021)

A Review of Recent Trends: Text Mining of Taxonomy Using WordNet 3.1 for the Solution and Problems of Ambiguity in Social Media
by: Hasan, Ali Muttaleb, et al.
Published: (2020)

Implementation of a MIS tool based on open XML
by: Baniani, Behdad
Published: (2009)

A Question-Answering System that Can Count
by: Abbas Saliimi, Lokman, et al.
Published: (2021)

A detailed survey on various aspects of SQL Injection: vulnerabilities, innovative attacks, and remedies
by: Diallo , Abdoulaye Kindy, et al.
Published: (2011)

A detailed survey on various aspects of SQL injection in web applications: vulnerabilities, innovative attacks and remedies
by: Diallo , Abdoulaye Kindy, et al.
Published: (2013)

The Potential of a Classification-based Algorithm to Calculate Calories in Real-Time Via Pattern Recognition
by: M. A., Ameedeen, et al.
Published: (2016)

A Model Driven Analysis of the 802.11 CSMA/CA Protocol through SD2PN
by: M. A., Ameedeen, et al.
Published: (2014)

A survey of arabic text mining
by: Salloum, Said A., et al.
Published: (2017)

General Words Representation Method for Modern Language Model
by: Abbas Saliimi, Lokman, et al.
Published: (2023)

Modern chatbot systems: a technical review
by: Abbas Saliimi, Lokman, et al.
Published: (2019)

MODUL P&P: DAT20903 Principles of Dot Net Programming
by: Berahim, Mazniha, et al.
Published: (2017)

BioHealthCloud: A Biometric Worldwide Public Cloud Infrastructure
by: M. A., Ameedeen, et al.
Published: (2014)

Cloud computing issues, challenges, and needs: A survey
by: Aljanabi, Mohammad, et al.
Published: (2021)

A Design Theory for Student Self-service University Management System
by: Muhamad Idaham, Umar Ong, et al.
Published: (2020)

A proposed method for the semantic Similarity use WordNet to handle the ambiguity in Social Media text
by: Ali Muttaleb, Hasan, et al.
Published: (2019)

Transforming education with cutting-edge technology
by: Mohamed Ariff, Ameedeen
Published: (2022)

A Convolutional Neural Network (CNN) Classification Model for Web Page: A Tool for Improving Web Page Category Detection Accuracy
by: Siti Hawa, Apandi, et al.
Published: (2023)

A petri net based modeling assisted software environment (MASE) tool
by: Tan, Guat Yew.
Published: (2009)

A survey of homomorphic encryption for outsourced big data
by: Tan, Soo Fun, et al.
Published: (2016)

A survey of multi-biometrics and fusion levels
by: Khalaf, Emad Taha, et al.
Published: (2015)

A survey on 2d object tracking in digital video
by: Khobragade, A.S., et al.
Published: (2009)

Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling
by: Ameedeen, Mohamed Ariff
Published: (2010)

A conceptual IR chatbot framework with automated keywords-base
by: Abbas Saliimi, Lokman, et al.
Published: (2020)

Intuitive Content Management System to Preferences Template Throughout Data Collection by using Data Mining Classification of Prediction Method
by: Chan, Chung Hoong, et al.
Published: (2016)