表紙画像

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

保存先:

書誌詳細
主要な著者:	Thong, Weng Jie, M. A., Ameedeen
その他の著者:	Hamzah Asyrani, Sulaiman
フォーマット:	図書の章
言語:	English English
出版事項:	Springer 2015
主題:	QA75 Electronic computers. Computer science QA76 Computer software
オンライン･アクセス:	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
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

A Model Driven Method to Represent Free Choice Petri Nets as Sequence Diagram
著者:: Thong , Weng Jie, 等
出版事項: (2015)

A Survey of UML Tools
著者:: Weng, Jie Thong, 等
出版事項: (2015)

Single and Replicated Simulations for Colored Petri Nets Nondeterministic Network
著者:: Adhipta, D., 等
出版事項: (2010)

Modeling, reasoning, and application of fuzzy Petri net model: A survey
著者:: Jiang, Wei, 等
出版事項: (2022)

Grammars controlled by Petri Nets
著者:: Dassow, Juergen, 等
出版事項: (2012)

Towards agent-based petri net decision making modelling for cloud service composition: A literature survey
著者:: Ahmed, Firas D., 等
出版事項: (2019)

Reverse Watson-Crick Petri nets
著者:: Mohamad Jan, Nurhidaya, 等
出版事項: (2014)

Languages of watson-crick petri net
著者:: Mohamad Jan, Nurhidaya, 等
出版事項: (2014)

Change management in business process modeling based on object oriented petri net
著者:: Rajabi, B.A., 等
出版事項: (2009)

A new variant of Petri net controlled grammars
著者:: Mohamad Jan, Nurhidaya, 等
出版事項: (2015)

Fuzzy Petri nets and industrial applications: a review
著者:: Zhou, Kai Qing, 等
出版事項: (2016)

Place-Labeled Petri Net Controlled Grammars
著者:: Mohamad Jan, Nurhidaya, 等
出版事項: (2016)

Place-labelled petri net controlled grammars
著者:: Mohamad Jan, Nurhidaya, 等
出版事項: (2017)

Parallel firing strategy on petri nets: a review
著者:: Mavlankulov, Gairatzhan, 等
出版事項: (2015)

Performance modeling of e-procurement workflow using Generalised Stochastic Petri net (GSPN)
著者:: Rahim, Rahela, 等
出版事項: (2002)

Petri Nets modeling of a real world manufacturing processes
著者:: Zakaria, Zalmiyah, 等
出版事項: (2008)

k-Watson-Crick Petri net controlled grammars
著者:: Mohamad Jan, Nurhidaya, 等
出版事項: (2015)

Runtime change management based on object oriented petri net
著者:: Rajabi, B.A., 等
出版事項: (2009)

Dynamic properties of fuzzy Petri net model and related analysis
著者:: Zhou, Kai Qing, 等
出版事項: (2015)

Watson-Crick petri net languages: the effect of labeling strategies
著者:: Mohamad Jan, Nurhidaya, 等
出版事項: (2014)

State machine of place-labelled petri net controlled grammars
著者:: Mohamad Jan, Nurhidaya, 等
出版事項: (2017)

Structural properties of place-labeled Petri net controlled grammars
著者:: Mohamad Jan, Nurhidaya, 等
出版事項: (2014)

Watson-Crick Petri net languages with finite sets of final markings
著者:: Mohamad Jan, Nurhidaya, 等
出版事項: (2014)

An equivalent generating algorithm to model fuzzy Petri net for knowledge-based system
著者:: Zhou, K. Q., 等
出版事項: (2017)

A proposed Petri Nets Model for updating XML documents on a multicore architecture
著者:: Wadi, Alaa M., 等
出版事項: (2009)

A bidirectional diagnosis algorithm of fuzzy Petri net using inner-reasoning-path
著者:: Zhou, K. Q., 等
出版事項: (2018)

Seamless model interoperability for software design and analysis
著者:: M. A., Ameedeen, 等
出版事項: (2017)

A decomposition algorithm of fuzzy Petri net using an index function and incidence matrix
著者:: Zhou, Kai-Qing, 等
出版事項: (2015)

Structural subclass of place-labelled petri net controlled grammars: State machine
著者:: Mohamad Jan, Nurhidaya, 等
出版事項: (2016)

Context-free petri net controlled grammars under parallel firing strategy
著者:: Mavlankulov, Gairatzhan, 等
出版事項: (2016)

QoS measurement of workflow-based web service compositions using colored petri net
著者:: Nematzadeh, Hossein, 等
出版事項: (2014)

A Systematic Survey on the Research of AI-predictive Models for Wastewater Treatment Processes
著者:: Mohan, Varun Geetha, 等
出版事項: (2023)

Modelling and reasoning of large scale fuzzy petri net using inference path and bidirectional methods
著者:: Zhou, Kaiqing
出版事項: (2015)

Modeling activity diagram to colored petri net for validation and verification based on non functional parameters
著者:: Balagatabi, Hossein Nematzadeh
出版事項: (2008)

Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters
著者:: Balagatabi, Hossein Nematzadeh
出版事項: (2008)

Transforming polymorphic process model to petri net: a formal way for validating workflow-based web service composition
著者:: Mohamad, Radziah, 等
出版事項: (2011)

Fuzzy petri nets as a classification method for automatic speech intelligibility detection of children with speech impairments / Fadhilah Rosdi
著者:: Fadhilah, Rosdi
出版事項: (2016)

Coevolution framework to support object-oriented model changes using Coloured Petri Net patterns / Bassam Atieh M. Rajabi
著者:: Bassam Atieh , M. Rajabi
出版事項: (2017)

Implementation of RIO in UMJaNetSim / Chan Chin We
著者:: Chan, Chin We
出版事項: (2004)

Implementation of differentiated services in UMJaNetSim / Tan Geck Hiang
著者:: Tan , Geck Hiang
出版事項: (2004)