A petri-nets-based flow control approach to instructional softwares

A petri-nets-based flow control approach to instructional softwares

碩士 === 國立臺灣師範大學 === 工業教育研究所 === 81 ===

Bibliographic Details
Main Authors:	ZHANG, KUN-PING, 張昆平
Other Authors:	DAI, JIAN-YUN
Format:	Others
Language:	zh-TW
Published:	1993
Online Access:	http://ndltd.ncl.edu.tw/handle/62195773452196389457

Similar Items

An approach for model checking petri nets based software architecture
by: Ding, Junhua
Published: (2000)

AdaFlow: the automation of software analysis using Petri Nets
by: Grecco, Albert J.
Published: (2012)

PetriNet Editor PetriNet Engine: New Software Tool For Modelling and Control of Discrete Event Systems Using Petri Nets and Code Generation<sup>+</sup>
by: Erik Kučera, et al.
Published: (2020-10-01)

Combination of Petri Net information flow, Timed Petri Net, Stochastic Petri Net and Petri Net Modeling of Buffers for innovative R&D process establishment and production flow analysis (PFA) of LED track light, as well as the related knowledgebase establishment
by: HONG-JIA JHANG, et al.
Published: (2018)

Diagnosis of Large Software Systems Based on Colored Petri Nets
by: Li, Yingmin
Published: (2010)

COMBINED APPROACH TO SIMULATION MODELING OF THE DYNAMICS OF SOFTWARE SYSTEMS BASED ON INTERPRETATIONS OF PETRI NETS
by: Oksana O. Suprunenko
Published: (2019-10-01)

Verifying the Safety of Aviation Software Based on Extended Colored Petri Net
by: Hang Zhou, et al.
Published: (2019-01-01)

A Petri net-occam based methodology for the development of dependable distributed control software
by: Gray, Peter Andrew
Published: (1995)

Petri net controlled grammars
by: Turaev, Sherzod
Published: (2010)

Formal approach on modeling and predicting of software system security: Stochastic petri net
by: H. Motameni
Published: (2015-01-01)

A Generic Industrial Controller Design Based on an Objected and Flowed Token Petri-Net
by: Chang-En Li, et al.
Published: (2009)

An Approach for Repairing Process Models Based on Logic Petri Nets
by: Xize Zhang, et al.
Published: (2018-01-01)

Hierarchical Nets: A Structured Petri Net Approach to Concurrency
by: Choo, Young-il
Published: (1982)

Evaluation of software architecture using fuzzy colored Petri nets
by: Vahid Abroshan, et al.
Published: (2013-02-01)

Evaluation of software architecture using fuzzy color Petri net
by: Zohreh Shiriyan Dehkordi, et al.
Published: (2013-02-01)

SOFTWARE FOR FAULT DIAGNOSIS USING KNOWLEDGE MODELS IN PETRI NETS
by: ADRIAN ARBOLEDA, et al.
Published: (2012-01-01)

Deadlock analysis and control based on Petri nets: A siphon approach review
by: YiFan Hou, et al.
Published: (2017-05-01)

Petri Nets Applications
Published: (2010)

A Data Flow Program Executor Study Based on the Petri Nets
by: Wei-Min Lin, et al.
Published: (2009)

Translation of Nested Petri Nets into Classical Petri Nets for Unfoldings Verification
by: V. O. Ermakova, et al.
Published: (2018-10-01)

Control of Batch Processes Based on Hierarchical Petri Nets
by: ONOGI, Katsuaki, et al.
Published: (2004)

A Petri Net-based Approach to Reconfigurable Manufacturing Systems Modeling
by: Linda L. Zhang, et al.
Published: (2009-02-01)

Deadlock Detecting in Web Services Flows with Petri Nets
by: 高慶霖
Published: (2004)

Petri Net Theory and Applications
Published: (2008)

Combination of Petri Net information flow, Timed Petri Net and Stochastic Petri Net for innovative R&D process establishment and production flow analysis (PFA) of LED stage light, as well as the related knowledgebase establishment
by: Zong-Yi Shen, et al.
Published: (2017)

Petri net based performance synthesis
by: WANG, SHI-QIANG, et al.
Published: (1993)

Finding Clusters in Petri Nets. An approach based on GPenSIM
by: Reggie Davidrajuh, et al.
Published: (2019-01-01)

Using Petri Nets to Verify the Data/Control Flowsof CPU ArchitecturesUsing Petri Nets to Verify the Data/Control Flowsof CPU ArchitecturesUsing Petri Nets to Verify the Data/Control Flowsof CPU ArchitecturesUsing Petri Nets to Verify the Data/Contro
by: LUO, YOU-CHEN, et al.
Published: (2005)

Modeling by Petri Nets
by: H. Kubátová
Published: (2005-01-01)

Petri nets and their applications
by: Jin, Wei
Published: (2011)

Petri net semantics
by: Hayman, Jonathan Mark
Published: (2010)

An Extended Petri Net Approach to Model Multidimensional Workflow Management
by: Yuan-Bin Chang, et al.
Published: (2006)

Task Preemption Based on Petri Nets
by: Wangyang Yu, et al.
Published: (2020-01-01)

Petri Net Approach for Deadlock Avoidance of Zone Control AGV System
by: Chien-Cheng Chen, et al.
Published: (2012)

The Perspective on Data and Control Flow Analysis in Topological Functioning Models by Petri Nets
by: Asnina Erika, et al.
Published: (2014-12-01)

Petri Nets Manufacturing and Computer Science
Published: (2012)

Watson-crick petri net and place-labelled petri net controlled grammar using formal language theory
by: Mohamad Jan, Nurhidaya
Published: (2017)

Design and Implementation of Petri Net Based Controller Developing System
by: 陳音帆
Published: (2008)

Petri Nets-based Integrated Failure Analysis Controlling System
by: 牟宗道
Published: (1999)

The Design of Elevator Control And Surveillance System Based on Petri Net
by: Yung-Hsiang Lin, et al.
Published: (2013)