Welcome to the World of Petri Nets
Library Home || Full Table of Contents || Suggest a Link || Library Help
|CPN Group, University of Aarhus, Denmark|
|Petri Nets is a formal and graphical language which is appropriate for modeling complex systems with concurrency. It has nothing to do with network communication but has proven useful for describing, analysing, and verifying protocols typically used in networks. The language is a generalization of automata theory such that the concept of concurrently occurring events can be expressed. This site organizes news and information about Petri Nets around the world, and includes: a FAQ, event announcements, Petri Net research groups, an e-mail list, newsletter, a computer science bibliography, tools on the Web, other Petri Net home pages, and misc. links.|
|Resource Types:||Mailing Lists, Research Centers, Bibliographies, Frequently Asked Questions (FAQs), Topic Tools Miscellaneous|
|Math Topics:||Complex Analysis, Computer Science|
© 1994- The Math Forum at NCTM. All rights reserved.