Petri Net Research Group Form

Use the fill-out form below in order to submit information about your research group. Find an example at the end of this page.

Address:         
WWW:             
Net Models:
                 
Research Topics in Petri Nets:
                 
Tools (developing or using):
                 
Papers:          
Other Online Resources (such as ftp, etc.):
                 
Contacts (name and e-mail):

Example

  Address:         University of Aarhus, Computer Science Department, Denmark

  WWW:             http://www.daimi.au.dk/CPnets/

  Net Models:      Coloured Petri Nets

  Research Topics in Petri Nets:
                   Coloured Petri Nets, tools, application, 
                   equivalences on occurrence graphs, invariants,
                   temporal logics and occurrence graphs,
                   object-oriented Petri Nets.

  Tools:           Developing Design/CPN (http://www.daimi.au.dk/designCPN/)
                   (editor, simulator, and Occurrence Graph Tool)

  Papers:          http://www.daimi.au.dk/CPnets/publ.html

  Other Online Resources:
                   ftp://ftp.daimi.au.dk/pub/petrinet/papers/

  Contacts:        Kurt Jensen (http://www.daimi.au.dk/~kjensen/)
                   (kjensen@daimi.au.dk)

The maintainers of this page