Paper Info
Title
Decidability Analysis of Some Classes of Extended Function Petri Net
Abstract
In this report, we study liveness and reach ability problem of extended function Petri net with some structural restriction. Petri net is a mathematical model for concurrent systems such as parallel computers, manufacturing system, communication protocol and so on. Liveness and reach ability are important problems of Petri net. The former is to verify whether the system has no local deadlocks. The latter is to verify whether the system can reach the target status from the initial one. Extended function Petri net, where each arc weight is a function of the marking, has wide range of application including system biology, communication protocol and so on. However, it is hard to obtain theoretical results for general extended Petri net. First, we show liveness criterion of extended Petri net with asymmetric choice structure and extended free choice structure with some restricted arc functions. Then reach ability and liveness of extended Petri net with asymmetric choice structure is shown to be undecidable.
Year
DOI
Venue
2012
10.1109/ICNC.2012.79
Networking and Computing
Keywords
Field
DocType
extended function petri,decidability analysis,arc weight,concurrent system,communication protocol,extended free choice structure,liveness criterion,ability problem,system biology,asymmetric choice structure,restricted arc function,decidability,petri nets
Petri net,Computer science,Deadlock,Algorithm,Decidability,Theoretical computer science,Stochastic Petri net,Process architecture,Reachability,Undecidable problem,Liveness
Conference
ISBN
Citations 
PageRank 
978-1-4673-4624-5
0
0.34
References 
Authors
5
2
Name
Order
Citations
PageRank
atsushi ohta16615.31
Kohkichi Tsuji232.44