Development and characteristics of multi-value logic using petri nets

Development and characteristics of multi-value logic using petri nets

Show other versions (1)

碩士 === 國立臺灣科技大學 === 工程技術研究所 === 73 ===

Bibliographic Details
Main Author:	李建南
Other Authors:	Liu, Tang-Gui
Format:	Others
Language:	zh-TW
Published:	1993
Online Access:	http://ndltd.ncl.edu.tw/handle/51024327711896718150

Similar Items

Development and Characteristics of Multi-value Logic Using Petri Nets
by: Lee Chiann Nan, et al.
Published: (1993)

An Integrated Combination of Temporal logic and Petri nets
by: Lin, Sam S-B, et al.
Published: (1998)

The Equivalency between Logic Petri Workflow Nets and Workflow Nets
by: Jing Wang, et al.
Published: (2015-01-01)

Timed Petri Nets and Temporal Linear Logic
by: Tanabe, Makoto
Published: (2014)

EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS
by: BRUNO LOPES VIEIRA
Published: (2014)

Logic Petri Net Synthesis for Cooperative Systems
by: Wenjing Luan, et al.
Published: (2019-01-01)

Composition of Logical Petri Nets and Compatibility Analysis
by: Wenjing Luan, et al.
Published: (2017-01-01)

[en] EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS
by: BRUNO LOPES VIEIRA
Published: (2015)

Linear logic and Petri nets : categories, algebra and proof
by: Brown, Carolyn T.
Published: (1990)

Petri Nets with Fuzzy Logic (PNFL): reverse engineering and parametrization.
by: Robert Küffner, et al.
Published: (2010-01-01)

Simulating Train Dispatching Logic with High-Level Petri Nets
by: Dušan Jeremić*, et al.
Published: (2021-01-01)

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

Repairing Process Models With Logical Concurrent and Casual Relations via Logical Petri Nets
by: Yuhua Xu, et al.
Published: (2018-01-01)

Simulating ATO Mechanism and EGFR Signaling with Fuzzy Logic and Petri Net
by: Sajad Shafiekhani, et al.
Published: (2021-06-01)

Extended Logical Petri Nets-Based Modeling and Analysis of Business Processes
by: Wei Liu, et al.
Published: (2017-01-01)

Multi-Event Modeling and Recognition Using Extended Petri Nets
by: Ji Qiu, et al.
Published: (2020-01-01)

Petri Nets Applications
Published: (2010)

Petri Net-Based Semi-Compiled Code Generation for Programmable Logic Controllers
by: Igor Azkarate, et al.
Published: (2021-08-01)

Composition and Application of Extended Colored Logic Petri Nets to E-Commerce Systems
by: Zhen Wang, et al.
Published: (2020-01-01)

Modeling and Analysis for Uncertainty in Logistic Chains Based on Logical Time Petri Nets
by: Xin Feng, et al.
Published: (2020-01-01)

Repairing Process Models Containing Choice Structures via Logic Petri Nets
by: Xize Zhang, et al.
Published: (2018-01-01)

A Simple Logic Transition Repair Method for Business Process Models via Logic Petri Nets
by: Yuanxiu Teng, et al.
Published: (2019-01-01)

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

Developing a Hardware Coprocessor for Petri-Net Execution
by: Bo-Cheng Lee, et al.
Published: (1999)

Petri Net Theory and Applications
Published: (2008)

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)

The Logic Gates and State Equation of Petri Net and Its Application to Vacunm Pumping System
by: 盧祥榮
Published: (1997)

Algorithm to convert signal interpreted petri net models to programmable logic controller ladder logic diagram models
by: Aspar, Z., et al.
Published: (2018)

Using petri net for cloud computing
by: Jiun-Ting Chen, et al.

Liveness characteristic analysis of a class of Petri nets
by: Miao Liu, et al.
Published: (2018-06-01)

Petri Nets Manufacturing and Computer Science
Published: (2012)

New Methods for Knowledge Representation and Reasoning Using Extended Fuzzy Petri Nets and Time Petri Nets
by: Shiau, Yuh-Shin, et al.
Published: (1997)

Model Checking for Rare-Event in Control Logical Petri Nets Based on Importance Sampling
by: Xu Tian, et al.
Published: (2020-01-01)

A Logic Petri Net-Based Method for Repairing Process Models With Concurrent Blocks
by: Yuanxiu Teng, et al.
Published: (2019-01-01)

A Logic Petri Net-Based Model Repair Approach by Constructing Choice Bridges
by: Yuhua Xu, et al.
Published: (2019-01-01)

Requirements analysis using petri nets
by: Gaylord, Bradley Colvin
Published: (2011)

Power Equipment Fault Detection Using Petri Nets
by: Li-Cheng Ting, et al.
Published: (2013)

Failure Diagnosis Based on Petri Nets Modeling
by: Chien-Chung Wu, et al.
Published: (2003)