Reduction rules for time Petri nets |
| |
Authors: | Robert H. Sloan Ugo Buy |
| |
Affiliation: | (1) Department of Electrical Engineering and Computer Science, 851 S. Morgan Street, Room 1120, University of Illinois at Chicago, Chicago, IL 60607-7053, USA, US |
| |
Abstract: | The goal of net reduction is to increase the effectiveness of Petri-net-based real-time program analysis. Petri-net-based analysis, like all reachability-based methods, suffers from the state explosion problem. Petri net reduction is one key method for combating this problem. In this paper, we extend several rules for the reduction of ordinary Petri nets to work with time Petri nets. We introduce a notion of equivalence among time Petri nets, and prove that our reduction rules yield equivalent nets. This notion of equivalence guarantees that crucial timing and concurrency properties are preserved. Received September 12, 1994/July 4, 1995 |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|