Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

Welcome to the World of Petri Nets

Library Home || Full Table of Contents || Library Help

Visit this site: http://www.daimi.au.dk/PetriNets/

Author:CPN Group, University of Aarhus, Denmark
Description: 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.

Levels: Research
Languages: English
Resource Types: Mailing Lists, Research Centers, Bibliographies, Frequently Asked Questions (FAQs), Topic Tools Miscellaneous
Math Topics: Complex Analysis, Computer Science

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.