scholarly journals Modeling and performance evaluation of a controlled IC fab using distributed colored timed Petri net

2002 ◽  
Author(s):  
Chung-Hsien Kuo ◽  
Han-Pang Huang
Keyword(s):  
Performance Evaluation ◽  
Petri Net ◽  
Timed Petri Net ◽  
And Performance

Petri-net and GA-based approach to modeling, scheduling, and performance evaluation for wafer fabrication

2001 ◽  
Vol 17 (5) ◽  
pp. 619-636 ◽  
Author(s):  
Jyh-Horn Chen ◽  
Li-Chen Fu ◽  
Ming-Hung Lin ◽  
An-Chih Huang
Keyword(s):  
Performance Evaluation ◽  
Petri Net ◽  
Wafer Fabrication ◽  
And Performance

Modeling With Colored Petri Nets

2021 ◽  
pp. 397-424
Author(s):  
Dmitry A. Zaitsev ◽  
Tatiana R. Shmeleva
Keyword(s):  
Performance Evaluation ◽  
Petri Nets ◽  
Petri Net ◽  
Real Life ◽  
Colored Petri Nets ◽  
Correctness Proof ◽  
Model Driven ◽  
Cpn Tools ◽  
Complex Models ◽  
And Performance

Aviation and aerospace systems are complex and concurrent and require special tools for their specification, verification, and performance evaluation. The tool in demand should be easily integrated into the standard loop of model-driven development. Colored Petri nets represent a combination of a Petri net graph and a functional programming language ML that makes it powerful and convenient tool for specification of real-life system and solving both tasks: correctness proof i.e. verification and performance evaluation. This chapter studies basic and advanced features of CPN Tools – a powerful modeling system which uses graphical language of colored Petri nets. Starting with a concept of colored hierarhical timed Petri net, it goes through declaration of color sets and functions to peculiarities of hierarchical design of complex models and specification of timed characteristics. The authors accomplish the chapter with a real-life case study of performance evaluation for switched Ethernet network.

Sign in / Sign up

Export Citation Format

Share Document