Concepedia

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets

Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott Mahlke, Spyros Reveliotis

Discrete Event Dynamic Systems · 2012 · 42 citations · 47 references

DOI

Concepts

References

47

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.9K citations

, , +10

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

, , +15

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.9K citations

, , +10

Extended static checking for Java

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge et al. · 2002 · 1.3K citations

, , +16

A Petri net based deadlock prevention policy for flexible manufacturing systems

J. Ezpeleta, José Manuel Colom, J. M. Martı́nez · IEEE Transactions on Robotics and Automation · 1995 · 1.1K citations

, , +12