Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Welcome to the World of Petri Nets

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || 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-2014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.