Efficient analysis of concurrent systems by Petri nets

✍ Scribed by Kunihiko Hiraishi

• Publisher: John Wiley and Sons
• Year: 1998
• Tongue: English
• Weight: 178 KB
• Volume: 81
• Category: Article
• ISSN: 1042-0967
• DOI: 10.1002/(sici)1520-6440(199809)81:9<29::aid-ecjc4>3.0.co;2-u

✦ Synopsis

In the theoretical analysis of Petri nets there are many results for subclasses of Petri nets restricted by structural or behavioral properties. Recently, new types of analytical methods that are not restricted to special classes of Petri nets have been proposed. These methods aim to improve the average computational complexity and to perform effectively for the state space explosion problem. In this paper, we focus on the latter types of methods and describe an efficient analysis for concurrent systems represented by