A Survey of Petri Net Tools

QR Code

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/ 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)

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)

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

A new variant of Petri net controlled grammars
by: Mohamad Jan, Nurhidaya, 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)

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

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

k-Watson-Crick 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)

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)

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

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)

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)

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

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

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

Implementation of RIO in UMJaNetSim / Chan Chin We
by: Chan, Chin We
Published: (2004)

Implementation of differentiated services in UMJaNetSim / Tan Geck Hiang
by: Tan , Geck Hiang
Published: (2004)

Implementation of topology converter into UM JaNetSim / Andrew Chiam Ming Jer
by: Andrew, Chiam Ming Jer
Published: (2004)

Implementation of IPv6 Flow Label in UMJaNetSim / Au Yee Boon
by: Au , Yee Boon
Published: (2004)

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)

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)

Multi-frame super-resolution: a survey
by: Khattab, Mahmoud, et al.
Published: (2019)

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

A Survey on Adaptive Qualitative Assessment and Dynamic Questions Generation Approaches
by: Rozali, D.S., et al.
Published: (2010)

A Survey on Different Interoperability Frameworks of SOA Systems Towards Seamless Interoperability
by: M. Ibrahim, N., et al.
Published: (2010)

An online tool for Metagenomics analysis
by: Phong, Cheralyn Jia Ern
Published: (2018)

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

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 Question-Answering System that Can Count
by: Abbas Saliimi, Lokman, et al.
Published: (2021)

Requirements management tools / Ameran Jaffar
by: Ameran, Jaffar
Published: (2004)

Interactive online tool for methylation studies
by: Cheah, Zhao Qin
Published: (2018)