The information/solver workflow net

The process of problem solving, calculating and design takes on character that a condition will be true forever once it is true. When workflow petri net is adopted to express such process, the scale of the network is too large to analysis. Hence the information/solver workflow net is presented based...

Full description

Saved in:
Bibliographic Details
Main Authors: Liu Gequn, Liu lei
Format: Conference Proceeding
Language:chi ; eng
Subjects:
Computational modeling
Computers
information/solver net
Mathematical model
Optimization
petri net
Process control
Sliding mode control
workflow net
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The process of problem solving, calculating and design takes on character that a condition will be true forever once it is true. When workflow petri net is adopted to express such process, the scale of the network is too large to analysis. Hence the information/solver workflow net is presented based on information/solver extended petri net system. The corresponding definitions are given. The soundness and liveness of the net are analyzed. Followed the concept of compatible minimum same-start-same-end sub workflow net is proposed. The minimum property and compatibility of sub-net to original net are discussed. Finally the design process of sliding mode control strategies is provided as an example to illustrate the modeling ability of information/solver workflow net. At the same time the function of compatible minimum same-start-same-end sub workflow net in design process generation is explained.
DOI:10.1109/WCICA.2010.5554569