Petri Nets Research Groups

This page contains information about Petri Nets research groups in academia and industry. Please register your research group in order to be added to this page, and hence become more visible.

There is a separate page (Petri Nets people) where you can search for individual persons.

Algeria

University of Tizi-Ouzou

Address
University of Tizi-Ouzou, Faculté des Sciences de l'Ingénieur, Département d'Automatique
WWW
-
Net Models
Regular Petri nets, Continuous Petri nets, Hybrid Petri nets
Research Topics in Petri Nets
Petri nets Structural Analysis, Hybrid Petri nets, Stochastic Hybrid Petri nets, Performance Evaluation using Petri nets
Tools
-
Papers
-
Other Resources
-
Contacts
AMER-YAHIA Chérif (ameryahia(at)yahoo.com)

University Badji Mokhtar Annaba

Address
University Badji Mokhtar Annaba
WWW
http://www.univ-annaba.org/
Net Models
-
Research Topics in Petri Nets
Continuous and hybrid timed Petri nets
Tools
MatLab
Papers
http://www.sciencedirect.com/science/article/pii/S1569190X05000122
Other Resources
http://hal.archives-ouvertes.fr/docs/00/29/27/49/PDF/jesa_tolba_lefebvre_thomas_elmoudni_HAL.pdf
Contacts
TOLBA Chérif (cherif.tolba(at)univ-annaba.org)

Australia

University of Adelaide

Address
University of Adelaide, Computer Science Department
WWW
http://www.cs.adelaide.edu.au/~charles/OPN.html
Net Models
Object Petri Nets
Research Topics in Petri Nets
Object Petri Nets - formalisation, implementation, application, analysis
Tools
LOOPN and LOOPN++ simulators
Papers
http://www.cs.adelaide.edu.au/~charles
Other Resources
-
Contacts
Charles Lakos (Charles.Lakos(at)adelaide.edu.au)

University of Melbourne

Address
University of Melbourne, Melbourne, Victoria, Australia
WWW
http://www.cs.mu.oz.au/~chirag/
Net Models
Hybrid Petri net
Research Topics in Petri Nets
Hybrid Petri Nets, Logic, modelling continious systems, state space analysis of hybrid systems...
Tools
CPN, VisObject ... and some custom linux based tools developed for state space analysis
Papers
http://www.cs.mu.oz.au/~chirag/
Other Resources
http://www.cs.mu.oz.au/~chirag/
Contacts
Chirag Pathak (chirag(*at*)cs.mu.oz.au)

Murdoch University

Address
Murdoch University, School of Engineering
WWW
http://www.murdoch.edu.au/
Net Models
Timed Petri Nets, Hybrid Petri net
Research Topics in Petri Nets
Petri net bassed modeling and scheduling of multiproduct and multipurpose plants; Hybrid processes
Tools
-
Papers
http://www.sciencedirect.com/science?_ob=QuickSearchListURL&_method=list&_aset=V-WA-A-W-A-MsSAYVA-UUA-U-AAADZABYWW-AAACAEVZWW-YZYUYBYA-A-U&_origAset=V-WA-A-W-W-MsSAYWA-UUW-U-AAADZABYWW-AAACAEVZWW-YZYUDEDC-W-U&_sort=d&view=c&_subset=Y&_st=13&_acct=C000053042&_version=1&_userid=1480483&md5=480e952ca085d14b981dba776ec7e4ef
Other Resources
-
Contacts
Mahsa Ghaeli (mahsa(at)eng.murdoch.edu.au) and
Parisa A.Bahri (p.bahri(at)murdoch.edu.au)

University of South Australia

Address
University of South Australia, Telecommunication Networks and Services Group
WWW
http://www.itr.unisa.edu.au/tech_res/res_groups/networks/
Net Models
Coloured Petri nets, Algebraic Petri Nets
Research Topics in Petri Nets
Internet protocols, especially in wireless/satellite environment (RSVP, HTTP, Mobile-IP, WAP); E-commerce and enabling technologies (CORBA); Defence systems (C3I, missile simulators); Manufacturing systems; Railway networks.
Standardisation of High-level Petri nets (ISO/IEC 15909 High-level Petri nets - Concepts, Definitions and Graphical Notation).
Tools
FORESEE Toolkit (currently consisting of PROMPT, Design/CPN and TORAS)
Papers
http://www.itr.unisa.edu.au/tech_res/res_groups/networks/pubs/
Other Resources
-
Contacts
Jonathan Billington (j.billington(at)unisa.edu.au),
Petri Nets Group: PetriNets(at)spri.levels.unisa.edu.au

University of Western Australia

Address
University of Western Australia, Information System Engineering Research Group, Electrical & Electronic Engineering
WWW
http://iserg1.ee.uwa.edu.au
Net Models
Hierarchical Timed Petri Nets, Coloured Petri Nets,Object Oriented Petri Nets.
Research Topics in Petri Nets
System Model Design Methodology, algebraic analysis, applications, object-oriented nets, CPN, Petri Net based system modelling tool development, hierarchical reachability state analysis, real-time system control using PNs.
Tools
ISERG's HTPN Based System Modelling Tool, CPN Developer/Simulator/Analyser
Papers
http://iserg1.ee.uwa.edu.au/infosys/infpub.html
Other Resources
-
Contacts
Gary A Bundell (bundell(at)ee.uwa.edu.au)

Brazil

Federal University of Pernambuco

Address
Centro de Informática, Federal University of Pernambuco,
WWW
http://www.cin.ufpe.br/~prmm
Net Models
Time(d) Petri nets
Stochastic Petri nets
Research Topics in Petri Nets
Embedded System Design: metrics estimation.
Performability modeling: manufacturing and comunicating systems
Tools
Using: INA, TimeNet, GreatSPN, CPNTools, PEPTool
Devoloping PlugIns for EZPetri: Real time and power aware embedded software sinthesis; and power estimation
Papers
-
Other Resources
-
Contacts
Paulo Maciel

Federal University of Campina Grande

Address
Federal University of Campina Grandet, Electrical Engineering Departmen
WWW
http://www.dee.ufcg.edu.br/~leandro/english/projetos/projetos.html
Net Models
Coloured Petri Nets, Fuzzy Time Coloured Petri Nets
Research Topics in Petri Nets
Applications to Component-based software systems, Multi-agent systems, Embedded systems. Modular reasoning and abstraction techniques for model checking. Fuzzy time extension to CPN for model checking real-time systems. Visualization of Petri nets with VRML.
Tools
Using Design/CPN with MSC, ASK/CTL and Comms/CPN libraries
Papers
http://www.dee.ufcg.edu.br/~leandro/publicacoes/publication.html
Other Resources
-
Contacts
Angelo Perkusic
Leandro Dias da Silva

Universidade do Estado da Bahia

Address
Universidade do Estado da Bahia
WWW
http://www.uneb.br
Net Models
Ordinary Petri nets
Research Topics in Petri Nets
Supervisory control using Petri nets
Tools
-
Papers
-
Other Resources
-
Contacts
Evangivaldo Almeida Lima

University of Santa Catarina

Address
University of Santa Catarina (UFSC), Laboratory LCMI, Florianopolis
WWW
http://www.lcmi.ufsc.br/
Net Models
PN, Timed PN, Fuzzy PN
Research Topics in Petri Nets
PN Tools, Timed PN, Fuzzy PN, PN and Linear Logic, Applications of PN (Automation, Networks)
Tools
ARP Tool
Papers
(request by mail)
Other Resources
-
Contacts
Jean-Marie Farines (farines(at)lcmi.ufsc.br) -- general informations on PN
Janette Cardoso (janete(at)lcmi.ufsc.br) -- PN and Fuzzy PN
Carlos A. Maziero (maziero(at)lcmi.ufsc.br) -- ARP Tool

Pontifícia Universidade Católica

Address
Pontifícia Universidade Católica do Rio de Janeiro, Departamento de Engenharia Eletrica
WWW
-
Net Models
Time Petri Nets and Coloured Petri Nets.
Research Topics in Petri Nets
Development of Petri Net Tools. Environments assisted by Petri Nets.
Tools
PAREDE (Program for the Analysis of Time(d) Petri Nets)
ANARCO (Analyser of Coloured Petri Nets)
GraPETRI (Graphical Interface for PAREDE and ANARCO)
AESOP (Analyser, Editor and Simulator of Petri Nets. In Development but in advanced stage.)
Papers
See WWW page
Other Resources
-
Contacts
Miguel Menasche (miguel(at)ele.puc-rio.br)

Pontifícia Universidade do Rio Grande do Sul

Address
Pontifícia Universidade do Rio Grande do Sul
WWW
http://www.em.pucrs.br
Net Models
Time Petri Nets
Coloured Petri Nets
Research Topics in Petri Nets
Integration and Simulation of CIM Manufacturing Systems
Tools
Poses++
Design/CPN
Papers
-
Other Resources
-
Contacts
André Luiz Tietböhl Ramos

Escola Politécnica of the University of São Paulo

Address
Escola Politécnica of the University of São Paulo
WWW
http://dlab.poli.usp.br
Net Models
Extensions of Place/Transition to include hierarchical nodes, time slice and time. Hierarchical extensions of High Level Nets.
Research Topics in Petri Nets
Using Petri Nets to design verification and Requirements Engineering. Verification based on invariant analysis. Model-checking.
Tools
Using: PIPE, Tina, ePNK
Developing: GHENeSys
Papers
http://dlab.poli.usp.br
Other Resources
-
Contacts
Jose Reinaldo Silva

Canada

Ryerson University, Toronto

Address
Ryerson University, Toronto, Department of Computer Science
WWW
http://www.scs.ryerson.ca
Net Models
Stochastic Petri nets
High level Petri Nets
Fuzzy Petri Nets
Research Topics in Petri Nets
Training works to simulate systems (Electrical Machinery problems)
Parallel algorithms modelling
Simulation of transport nets
Tools
Self-produced tool for Problem simulator (Petri2006)
CPN tool
Papers
-
Other Resources
-
Contacts
Dr. Maryam Davoudpour (madavoudpour(at)gmail.com)

University of Victoria, BC

Address
University of Victoria, BC, Software Engineering Lab
WWW
http://www.software-engineering.ca/
Net Models
Timed Colored Petri Nets
Research Topics in Petri Nets
Virtual Reality driven mechatronic system development
Tools
Real Fusion
Papers
-
Other Resources
-
Contacts
Jochen Siter (jstier(at)cs.uvic.ca),
Jens Jahnke (jens(at)cs.uvic.ca)

China

Beijing University of Aero. and Astro

Address
Beijing Univ. of Aero. and Astro
WWW
http://niu.buaa.edu.cn/home/
Net Models
Object-Oriented Petri Nets
Research Topics in Petri Nets
Methodology of Software Engineering Based on OO Petri Nets, tools, applications
Tools
OPNets Development Environment
Papers
http://niu.buaa.edu.cn/paper/
Other Resources
ftp://niu.buaa.edu.cn
Contacts
Jinzhong Niu (niujz(at)niu.buaa.edu.cn)

City University of Hong Kong (CS)

Address
City University of Hong Kong, Department of Computer Science
WWW
http://www.cs.cityu.edu.hk/
Net Models
Process-based Petri nets (Petri nets representing software processes are composed under many operations, such as sequential, choice, disable, interleaving, etc.)
Research Topics in Petri Nets
1. Perservation of properties under different compositional operations on process-based Petri nets
2. Petri net based workflow models
Tools
A Windows-explorer-like model for workflow specification and management (developing)
Papers
-
Other Resources
-
Contacts
To-Yat Cheung (cscheung(at)cityu.edu.hk)

City University of Hong Kong (MEEM)

Address
City University of Hong Kong, Department of Manufacturing Engineering and Engineering Management
WWW
http://www.cityu.edu.hk/me/
Net Models
Object-oriented Petri Nets with Changeable Structure (OPNs-CS)
Research Topics in Petri Nets
Petri Nets with Changeable Structures (PNs-CS); Modeling and control of One-of-a-Kind Production System (OKP) by PNs-CS
Tools
-
Papers
Se personal homepage below
Other Resources
-
Contacts
Zhibin Jiang (mejiang(at)cityu.edu.hk)

Guilin Institute of Electronic Technology

Address
Guilin Institute of Electronic Technology, School of Computer Eng.
WWW
-
Net Models
Timed Petri Nets, Ordinary Petri Nets
Research Topics in Petri Nets
Timed Petri-nets-based scheduling approach, Formal specification and verification of Real-time Systems via Petri Nets Hybrid Dynamic Systems, Petri-nets-based methodology for batch processes
Tools
-
Papers
-
Other Resources
-
Contacts
Prof. Tianlong Gu (cctlgu(at)gliet.edu.cn, gu(at)eng.murdoch.edu.au)

Hefei University of Technology

Address
Hefei University of Technology, Department of Computer Science
WWW
-
Net Models
High-level Petri Nets, ordinary Petri Nets
Research Topics in Petri Nets
Process algebra and Petri Nets, application of Petri Nets to workflow systems, combination of the WfM and Petri Nets.
Tools
Visualisable Software Process Definition Application
Papers
-
Other Resources
-
Contacts
Qing Xu (xu_rick(at)yeah.net)

Hefei University of Technology

Address
Hefei University of Technology, Department of Manufacturing Engineering
WWW
-
Net Models
Coloured Petri Nets, Object-Oriented Petri Nets
Research Topics in Petri Nets
1. Colored Petri Nets with Changeable Structure (CPNs-CS)
2. Object-Oriented Petri Nets with Changeable Structure (OPNs-CS)
3. Applications of CPNs-CS and OPNs-CS in modeling, analysis, scheduling, and control of dynamic manufacturing systems
4. Adaptive Control of dynamic production systems by OPNs-CS modeling
Tools
-
Papers
-
Other Resources
-
Contacts
Professor Zhibin Jiang, Ph.D. (zbjiang(at)mail.hf.ah.cn)

Shandong University of Science and Techonogy

Address
Shandong University of Science and Techonogy, Department of Computer Science
WWW
http://www.sdimt.edu.cn
Net Models
CPN,P/T,C/E
Research Topics in Petri Nets
Fairness/Liveness of PN
Tools
Pnts
Papers
-
Other Resources
-
Contacts
Wu Zhehui (zqtian(at)263.net)

Tsinghua University

Address
Tsinghua University, Chemical Engineering Department
WWW
http://www.chemeng.tsinghua.edu.cn/research/divisions/system/default.htm
Net Models
CPN
Research Topics in Petri Nets
HAZOP expert system, process fault diagnosis, process scheduling
Tools
PHASuite, HAZOPSuite, BDS
Papers
-
Other Resources
Contacts
Prof. Jinsong Zhao (jinsongzhao(at)tsinghua.edu.cn)

Xían Jiaotong University

Address
Xían Jiaotong University, Industrial Automation Department
WWW
http://www.srsnet.com/~PetriNets
Net Models
Ordinary Petri Nets, Stochastic Petri Nets, Coloured Petri Nets.
Research Topics in Petri Nets
Discrete Event Systems and Petri Nets, Design of Field Bus Based on Petri Nets.
Tools
Using Visual Object Net
Papers
http://www.srsnet.com/~PetriNets/Publications.html
Other Resources
-
Contacts
Wenxiang Xie (p144628818(at)ntu.edu.sg)
Feng Ru (rufeng(at)iad.xjtu.edu.cn)
Junyi Xue (jyxue(at)xjtu.edu.cn)

Zhejiang University

Address
Zhejiang University, Institute of Advanced Process Control
WWW
http://www.nlict.zju.edu.cn/apc/index.asp
Net Models
Ordinary Petri net, Coloured Petri Nets
Research Topics in Petri Nets
RW theory, scheduling
Tools
-
Papers
-
Other Resources
-
Contacts
Congli Mei (clmei(at)iipc.zju.edu.cn)

Zhong Shan University

Address
Zhong Shan University, Computer Science Department
WWW
http://www.selab.zsu.edu.cn
Net Models
High-level Petri Nets, object-oriented Petri Nets
Research Topics in Petri Nets
Applications of Petri Nets to problems related to the design, modeling, and analysis of concurrent systems, parallel computing, computer semantics.
Tools
-
Papers
-
Other Resources
-
Contacts
Zheng Hong (jennyzh(at)263.net)

Xidian University

Address
Xidian University
WWW
http://web.xidian.edu.cn/hshu/
Net Models
Petri nets, Coloured Petri nets, stochastic Petri nets
Research Topics in Petri Nets
Supervisory control of discrete event systems using Petri nets.
Tools
INA, PN-Tool, PNTools in MATLAB
Papers
web.xidian.edu.cn/hshu/paper.html
Other Resources
-
Contacts
Hesuan Hu (huhesuan(at)gmail.com)

Colombia

University Distrital Francisco Jose de Caldas

Address
University Distrital Francisco Jose de Caldas
WWW
http://www.udistrital.edu.co
Net Models
Petri Nets and Stateflow
Research Topics in Petri Nets
Design of a Tool for Matlab, which is capeable to simulate Petri Nets.
Tools
under development
Papers
-
Other Resources
-
Contacts
Humberto Gutierrez (hgutierrez(at)udistrital.edu.co)

Universidad Nacional de Colombia sede Medellin

Address
Universidad Nacional de Colombia sede Medellin, Facultad de Minas
WWW
http://grupotyt.unalmed.edu.co
Net Models
Coloured Petri Nets, C/E Nets, Timed Interpreted Nets, Ocurrence Nets
Research Topics in Petri Nets
Coloured Petri Nets, Tools, Ocurrence Graphs, Applications, Resources Allocation, Schedulling, Distributed Supervisory Control, Formal Modelling Logic Controllers, Power System Automation.
Tools
Using/CPNTools, Developing/CPN Engine (State Space Calculator and interpreter)
Papers
-
Other Resources
-
Contacts
Germán Zapata Madrigal (gdzapata(at)unal.edu.co)

Czech Republic

Technical University of Brno

Address
Technical University of Brno, Department of Computer Science and Engineering
WWW
http://www.fee.vutbr.cz/UIVT/research/petrinet/
Net Models
Object Oriented Petri Nets (OOPNs) with time extensions
Research Topics in Petri Nets
Object orientation in Petri nets, time extensions of Petri nets, temporal and real-time logics with respect to Petri nets, analysis methods of high-level nets and their time extensions, computer tools based on OOPNs, and applications of OOPNs.
Tools
PNtalk (editor, simulator, (in future) analyser)
Papers
http://www.fee.vutbr.cz/UIVT/research/petrinet/
Other Resources
-
Contacts
Tomas Vojnar (vojnar(at)dcse.fee.vutbr.cz)

Denmark

University of Aarhus

Address
University of Aarhus, Computer Science Department
WWW
http://www.daimi.au.dk/CPnets/
Net Models
Coloured Petri Nets
Research Topics in Petri Nets
Coloured Petri Nets, tools, application, equivalences in occurrence graphs, invariants, temporal logics, object-oriented Petri Nets.
Tools
* Design/CPN (editor, simulator, and Occurrence Graph Tool)
* CPN Tools
* Invariant Tool
Papers
http://www.daimi.au.dk/CPnets/publ/
Other Resources
ftp://ftp.daimi.au.dk/pub/petrinet/papers/
Contacts
Kurt Jensen (kjensen(at)daimi.au.dk)

Finland

Helsinki University of Technology

Address
Digital Systems Laboratory, Helsinki University of Technology
WWW
http://saturn.hut.fi/~petrinet/
Net Models
High-level Petri Nets
Research Topics in Petri Nets
High-level Petri Nets, Algebraic Petri Nets, M-Nets, reduced reachability graph generation methods, tools, applications, object-oriented Petri Nets, model-checking, analysis of programming languages.
Tools
PROD (reachability analyser, LTL and CTL model checker, stubborn sets)
Papers
http://saturn.hut.fi/~petrinet/publications.html
Other Resources
-
Contacts
Keijo Heljanko (Keijo.Heljanko(at)hut.fi)
Kimmo Varpaaniemi (Kimmo.Varpaaniemi(at)hut.fi)

France

University of Angers

Address
University of Angers, Laboratoire LISA
WWW
http://www.istia.univ-angers.fr/LISA/
Net Models
Petri Nets, Colored Petri Nets
Research Topics in Petri Nets
Modelisation of Production Systems, Complex Sequencing
Tools
-
Papers
http://www.istia.univ-angers.fr/LISA/
Other Resources
-
Contacts
Marc Bourcerie (marc.bourcerie(at)univ-angers.fr)

University of Grenoble

Address
University of Grenoble, School of Medicine, Department of Mathematics and Computer Science
WWW
http://www-timc.imag.fr/spns/
Net Models
Stochastic Petri Nets, Stochastic Activity Networks
Research Topics in Petri Nets
Application of Stochastic Petri Nets to the analysis of macromolecular interactions occuring in the living cells.
Tools
We use UltraSAN.
Papers
http://www-cami.imag.fr/~jpeccoud/pubs.html
Other Resources
-
Contacts
Jean Peccoud (jpeccoud(at)imag.fr)

LAAS-CNRS (Organization and Control of Discrete Systems)

Address
LAAS-CNRS, Organization and Control of Discrete Systems
WWW
http://www.laas.fr/~robert/
Net Models
Petri nets with objects
Research Topics in Petri Nets
Application to manufacturing systems and industrial processes (supervisory control and monitoring), Relationships with logic (linear logic, reasoning with time, fuzzy markings, diagnosis)
Tools
MISS-RdP (developed by IXI)
Papers
http://www.laas.fr/~robert/
Other Resources
-
Contacts
Robert VALETTE (robert(at)laas.fr)

LAAS-CNRS (Automation, Informatics, and Microelectronics)

Address
LAAS-CNRS, Outils et Logiciels pour la Communication
WWW
http://www.laas.fr/OLC/OLC.html
Net Models
STPN: Stochastic Timed Petri Nets
Research Topics in Petri Nets
Application to different networks
Tools
STPN
Papers
http://doc.laas.fr:8889/ows-bin/owa/publis.doc_par_auteur?langage=FR&aram=olc
Other Resources
-
Contacts
Michel DIAZ (diaz(at)laas.fr)
Guy JUANOLE (juanole(at)laas.fr)
Laurent GALLON (gallon(at)laas.fr)

Université Paris 6

Address
Université Paris 6, Laboratoire d'Informatique de Paris 6, thème Systèmes Répartis et Coopératifs
WWW
http://www-src.lip6.fr
Net Models
P/T Nets, Colored Petri Nets
Research Topics in Petri Nets
Integration of Petri net based techniques to validated distributed systems. Integration of such techniques in a prototyping based approach (i.e. modelling + verification + code generation).
Tools
We developp and distribute CPN-AMI.
Papers
http://www.lip6.fr/mars
Other Resources
-
Contacts
Claude Girault (Claude.Girault(at)lip6.fr)
Fabrice Kordon (Fabrice.Kordon(at)lip6.fr)

University of Toulouse 1

Address
LIHS, University of Toulouse 1
WWW
http://lihs.univ-tlse1.fr/petshop
Net Models
High-Level Petri nets, Object-Oriented Petri nets
Research Topics in Petri Nets
Extending Petri nets to cope with Object-Oriented modelling and design for software systems.
Favorite application domaine:
Tools
Petshop
Papers
http://lihs.univ-tlse1.fr/petshop
Other Resources
European project MEFISTO
Contacts
Philippe Palanque (palanque(at)univ-tlse1.fr)
Rémi Bastide (bastide(at)cict.fr)

Conservatoire National des Arts et Métiers - CEDRIC - Equipe Systèmes Sûrs

Address
Conservatoire National des Arts et Métiers - CEDRIC - Equipe Systèmes Sûrs
WWW
https://cedric.cnam.fr/index.php/labo/sys
Net Models
P/T nets, Time Petri nets, Recursive Petri nets, Non Markovian Stochastic Petri nets, Discrete event systems, Rewrite Logic.
Research Topics in Petri Nets
Modelling, verification, structure theory, partial order techniques, supervisory control synthesis, performance & dependability evaluation
Tools
We use: TINA, INA, GreatSPN, CPN, TimeNET, YAWL
Papers
https://cedric.cnam.fr/index.php/labo/membre/barkaouk
Contacts
Kamel Barkaoui (kamel.barkaoui(at)cnam.fr)

Germany

RWTH-Aachen (CS)

Address
RWTH-Aachen, Dept. of Computer Science
WWW
http://www-lvs.informatik.rwth-aachen.de/
Net Models
general SPNs, and SPNs with matrix-geometric solution
Research Topics in Petri Nets
SPN largeness avoidance (truncation, product-froms, probabilistic evaluation, matrix-geometric solution), applications in the area of ATM/B-ISDN performance, performability
Tools
spn2mgm (matrix-geometric solution of SPNs)
Papers
See WWW page
Other Resources
-
Contacts
Boudewijn R. Haverkort (haverkort(at)informatik.rwth-aachen.de)

RWTH-Aachen (IRT)

Address
RWTH Aachen University, Institute of Automatic Control
WWW
http://www.irt.rwth-aachen.de
Net Models
P/T nets
Research Topics in Petri Nets
General: Application of P/T net modelling, analysis and synthesis techniques in industrial automation. Hybrid Systems, PLC programming, Rapid Control Prototyping.
Tools
Developing Netlab, using Matlab/Simulink
Papers
-
Other Resources
-
Contacts
Prof. Dr.-Ing. Dirk Abel (D.Abel(at)irt.rwth-aachen.de)

Humboldt University of Berlin (Automata and Information Systems)

Address
Humboldt University of Berlin, Computer Science Department
WWW
http://www.informatik.hu-berlin.de/Institut/struktur/automaten/index_engl.html
Net Models
Place Transition Nets, timed Petri nets, algebraic Petri Nets
Research Topics in Petri Nets
Analysis of Petri net Models, Computer tools for the analysis of Petri net models.
Tools
INA (analysis of place transition nets, coloured nets and timed nets),
IVAN (analysis of algebraic nets),
PAM (Petri net analysis with MATHEMATICA)
Papers
See WWW page
Other Resources
-
Contacts
Prof. Dr. Peter H. Starke (starke(at)informatik.hu-berlin.de)

Humboldt University of Berlin (Petri Net Technology)

Addresses
Humboldt University of Berlin, Computer Science Department
Technical University of Berlin, Computer Science Department
WWW
http://www.informatik.hu-berlin.de:80/PNT/
Net Models
Low-Level Petri nets, Algebraic High-Level Petri nets, Coloured Petri nets, Higher-Order Petri nets
Research Topics in Petri Nets
Conception, theoretical foundation and validation of an applied Petri Net Technology, Petri net construction kit consisting of individual building blocks along with rules for combinig them, process model, integration of other formal or semi-formal description techniques, universal approach to description and classification of Petri nets, data type description techniques, horizontal and vertical structuring principles, transformation between different net classes, specification and verification concepts such as temporal logic, analysis and simulation techniques for Petri nets
Tools
-
Papers
http://www.informatik.hu-berlin.de:80/PNT/pnt-public.html
Other Resources
-
Contacts
Project management (PNT-leitung(at)informatik.hu-berlin.de)

Berlin University of Technology

Address
Berlin University of Technology, Computer Science Department
WWW
http://pdv.cs.tu-berlin.de/forschung/performance.engl.html
Net Models
Non-Markovian stochastic Petri nets, Colored Petri nets, Fluid stochastic Petri nets
Research Topics in Petri Nets
Transient and stationary numerical analysis of non-Markovian Petri nets, analysis of Petri nets with discrete timing, fast simulation techniques, modeling and performance evaluation of manufacturing systems with timed and colored Petri nets, Fluid stochastic Petri nets.
Tools
TimeNET
Papers
http://pdv.cs.tu-berlin.de/veroeffentlichungen.html#Modellierung
Other Resources
Ftp on request
Contacts
Reinhard German (rge(at)cs.tu-berlin.de),
Christian Kelling (ck(at)cs.tu-berlin.de),
Armin Zimmermann (azi(at)cs.tu-berlin.de),
Robert Zijal (bob(at)cs.tu-berlin.de)

BTU Cottbus

Address
BTU Cottbus, Computer Science Department
WWW
http://www.informatik.tu-cottbus.de/~wwwdssz
Net Models
qualitative Petri nets: place/transition nets, extended nets;
quantitative Petri nets: time nets, stochastic and continuous nets;
coloured qualitative and quantitative Petri nets;
Research Topics in Petri Nets
Application of Petri nets to dependability engineering of software-based systems;
model engineering of biochemical networks;
collection and comparison of analysis methods and tools.
Tools
Snoopy - Editor and animator/simulator of hierarchical Petri nets with export to many analysis tools;
Charlie - standard Petri net analysis techniques;
BDD/IDD-based model checkers (CTL, LTL, CSL);
Papers
http://www-dssz.informatik.tu-cottbus.de/publications/publications.html
Other Resources
-
Contacts
Monika Heiner (first name.second name(at)informatik.tu-cottbus.de)

University of Dortmund

Address
University of Dortmund, LS Informatik IV
WWW
http://ls4-www.informatik.uni-dortmund.de/QPN/welcome.html
http://ls4-www.informatik.uni-dortmund.de/QM/agqme/research.html
Net Models
QPNs (Queueing Petri Nets), HQPNs (Hierarchically combined Queueing Petri Nets)
Research Topics in Petri Nets
Combined Qualitative and Quantitative Analysis of Stochastic Petri Nets, Markovian Analysis Techniques for Hierarchical Nets, Model Interchange Format (Abstract Petri Net Notation; APNN), Reachability Set Analysis, Tools
Tools
QPN-Tool
Papers
see WWW page
Other Resources
-
Contacts
Falko Bause (bause(at)ls4.informatik.uni-dortmund.de),
Peter Buchholz (buchholz(at)ls4.informatik.uni-dortmund.de),
Peter Kemper (kemper(at)ls4.informatik.uni-dortmund.de)

University Erlangen-Nuremberg (CS)

Address
University Erlangen-Nuremberg, Department of Computer Science III
WWW
http://www3.informatik.uni-erlangen.de:1200/
Net Models
GSPN, PHSPN, SRN
Research Topics in Petri Nets
* Tools, Applications, Analysis methods,
* Fault tree extensions,
* Markov decision processes,
* Parallel numerical analysis process,
* UML-GSPN transformations
Tools
PANDA
Papers
http://www3.informatik.uni-erlangen.de:1200/Projects/panda.html
Other Resources
-
Contacts
Konstantinos Kosmidis (kosmidis(at)immd3.informatik.uni-erlangen.de),
Stefan Dalibor (dalibor(at)immd3.informatik.uni-erlangen.de),
Susann Allmaier (snallmai(at)informatik.uni-erlangen.de)

University Erlangen-Nuremberg (FAPS)

Address
University Erlangen-Nuremberg, Institute for Manufacturing Automation and Production Systems (FAPS)
WWW
http://www.faps.uni-erlangen.de:1200/faps.html
Net Models
Coloured Petri Nets
Research Topics in Petri Nets
* Application of CPN modelling and analysis techniques in the field of flexible manufacturing and assembly systems.
* Design and implementation of distributed manufacturing control systems with CPNs.
Tools
CCPetNet (editor, simulator, analyzer, generator of control signals - in development but in advanced stage).
Papers
-
Other Resources
-
Contacts
Walter Colombo (colombo(at)faps.uni-erlangen.de),

University of Hamburg

Address
University of Hamburg, Computer Science Department
WWW
http://www2.informatik.uni-hamburg.de/tgi/index_eng.html
Net Models
Occurrence nets, P/T-nets, CP-nets, object-oriented nets, reference nets
Research Topics in Petri Nets
Analysis algorithms, simulation algorithms, Petri nets as semantics for modelling formalisms, Petri nets in systems engineering, object-oriented and agent-oriented Petri nets, axiomatic concurrency theory
Tools
Renew
Papers
http://www2.informatik.uni-hamburg.de/tgi/publikationen/publikationen_home_eng.html
Other Resources
-
Contacts
Olaf Kummer (kummer(at)informatik.uni-hamburg.de)

Universities of Karlsruhe and Frankfurt

Address
University of Karlsruhe, Institute AIFB
University of Frankfurt, Institut für Wirtschaftsinformatik
WWW
http://www.aifb.uni-karlsruhe.de/InfoSys/VIP/overview
Net Models
Predicate/Transition nets
Research Topics in Petri Nets
Partial-order semantics, simulation of net models based on partially-ordered runs (process net), verification and validation of properties, visualization of process nets.
Tools
VIPtool (partial order simulation and validation, visualization of processes)
Papers
-
Other Resources
ftp://ftp.aifb.uni-karlsruhe.de/pub/VIP
Contacts
Jörg Desel (jde(at)aifb.uni-karlsruhe.de) - Karlsruhe,
Thomas Freytag (tfr(at)aifb.uni-karlsruhe.de) - Karlsruhe,
Andreas Oberweis (oberweis(at)wiwi.uni-frankfurt.de) - Frankfurt,
Torsten Zimmer (zimmer(at)wiwi.uni-frankfurt.de) - Frankfurt

Christian Albrechts University of Kiel

Address
Christian Albrechts University of Kiel, Computer Science Department
WWW
http://www.informatik.uni-kiel.de/~wk/
Net Models
Place/Transition nets, Coloured Petri Nets
Research Topics in Petri Nets
Systems modelling in general and net-based process coordination languages (some variant of CPN).
Tools
Design/CPN (using)
Papers
http://www.informatik.uni-kiel.de/~wk/papers_other.html
Other Resources
-
Contacts
Werner Kluge (wk(at)informatik.uni-kiel.de)

University of Koblenz-Landau (Distributed Systems)

Address
University of Koblenz-Landau, Computer Science Department, Research Group "Distributed Systems"
WWW
http://www.uni-koblenz.de/~wimmel/VertSys/index.en.html
Net Models
P/T-Nets, C/E-Nets
Research Topics in Petri Nets
True-concurrency semantics for Petri Nets
Tools
-
Papers
http://www.uni-koblenz.de/~wimmel/VertSys/papers.en.html
Other Resources
-
Contacts
Lutz Priese (priese(at)uni-koblenz.de)

University of Koblenz-Landau (Petri Nets)

Address
University of Koblenz-Landau, Computer Science Department
WWW
http://www.uni-koblenz.de/~neptun/
Net Models
P/T-Nets, Pr/T-Nets, Pr/T-Nets Dialects for System Modelling (DPNs and SNNs)
Research Topics in Petri Nets
Petri Nets for Modelling and Analysis of Concurrent Systems,
Diagnostics by means of Petri Nets,
Petri Net based CASE Method and Tool,
Synthesis of Petri Nets and Object Oriented Concepts,
Analysis and Synthesis of Continuous-Discrete Technical Systems.
Tools
NEPTUN, a NEt ProtoTyping UNit (editor, simulator, analyzer, CASE Tool, data model editor, generator)
Papers
http://www.uni-koblenz.de/~neptun/english/papers.html
Other Resources
-
Contacts
Kurt Lautenbach (laut(at)informatik.uni-koblenz.de)

Ludwig-Maximilians-Universität München

Address
Ludwig-Maximilians-Universität München, Institut für Informatik
WWW
http://www.pst.informatik.uni-muenchen.de
Net Models
Algebraic high-level nets, LBFC nets, Boolean nets
Research Topics in Petri Nets
Workflow Modelling supporting software engineering by Petri nets
Tools
-
Papers
-
Other Resources
-
Contacts
Harald Störrle (stoerrle(at)informatik.uni-meunchen.de),
Christoph Maier (cma(at)fast.de)
Joachim Wehler (wej(at)softlab.de)

Technical University of Munich

Address
Technical University of Munich, Computer Science Department
WWW
http://wwwbrauer.in.tum.de/gruppen/theorie/
Net Models
Place/Transition nets, High-Level nets (M-nets).
Research Topics in Petri Nets
Structure theory of Petri nets, Decidability and complexity of Petri net problems, Partial-order semantics, net unfoldings, Verification through Model-Checking, Temporal logics, Verification using Linear Programming and Constraint Programming.
Tools
PEP (Programming Environment based on Petri nets) (cooperation with the University of Hildesheim and the Humboldt University at Berlin)
Papers
http://wwwbrauer.in.tum.de/SFB/refs.html
Other Resources
ftp://flop.in.tum.de/pub/theory/
Contacts
Javier Esparza (esparza(at)in.tum.de),
Stefan Römer (roemer(at)in.tum.de),
Claus Schröter (schroete(at)in.tum.de),
Stefan Schwoon (schwoon(at)papa.in.tum.de),
Frank Wallner (wallnerf(at)in.tum.de).

University of Münster

Address
University of Münster, Computer Science Department
WWW
http://wwwmath.uni-muenster.de/cs/u/versys/research/ocon/
Net Models
Object Coordination Nets (special kind of extended high-level Petri-Net)
Research Topics in Petri Nets
Modeling complex Systems with Object Coordination Nets
Tools
Net Editor (prototype status),
Simulation Tool (not available yet),
Analysis (not available yet)
Papers
http://wwwmath.uni-muenster.de/cs/u/versys/research/ocon/papers.html
Other Resources
-
Contacts
Guido Wirtz (guidow(at)math.uni-muenster.de )

University of Oldenburg

Address
University of Oldenburg, OFFIS
WWW
http://chaplin.OFFIS.Uni-Oldenburg.DE/DNS/index.e.html
Net Models
THORNs (Timed Hierarchical Object Related Nets)
Research Topics in Petri Nets
Topics in Petri Nets: Tools, distributed simulation, hybrid nets, application
Tools
DNS (Design, sequential and distributed simulation of THORNs)
Papers
http://chaplin.OFFIS.Uni-Oldenburg.DE/DNS/index.e.html
Other Resources
-
Contacts
Stefan Schoef (schoef(at)offis.uni-oldenburg.de),
Michael Sonnenschein (sunny(at)offis.uni-oldenburg.de),
Ralf Wieting (wieting(at)offis.uni-oldenburg.de)

University of Rostock

Address
University of Rostock, Institut fuer Informatik
WWW
http://wwwteo.informatik.uni-rostock.de/ls_tpp/
Net Models
Place-Transition Nets
Research Topics in Petri Nets
State space verification
Algorithms for web services
Tools
LoLA (Development)
Papers
-
Other Resources
-
Contacts
Karsten Wolf (karsten.wolf(at)uni-rostock.de)

GMD

Address
GMD, Institute for Computer Architecture and Software Technology, Berlin
WWW
http://www.first.gmd.de/
Net Models
Deterministic and Stochastic Petri Nets (DSPNs)
Research Topics in Petri Nets
Efficient numerical analysis methods for DSPNs, performance modeling of hardware and software components, parallel and distributed computing systems, hardware/software codesign.
Tools
DSPNexpress (graphical interactive software package for performance modeling with DSPN)
Papers
http://www.first.gmd.de/persons/lind/Publications.html
Other Resources
-
Contacts
Dr. Christoph Lindemann (lind(at)first.gmd.de)

Greece

  • Technical University of Crete

    Technical University of Crete

    Address
    Technical University of Crete, Intelligent Systems and Robotics Laboratory, Department of Production Engineering and Management
    WWW
    http://www.dpem.tuc.gr/robolab
    Net Models
    Timed Petri nets, Continuous Petri nets, Hybrid Petri nets
    Research Topics in Petri Nets
    Modelling and study of Production systems using different Petri net classes, Supervisory control of Production systems using Petri nets
    Tools
    Using HPSIM, Visual Object Net, Sirphyco
    Papers
    http://www.dpem.tuc.gr/robolab/ENPAGES/EN_PERSONNEL/EN_TSINARAKIS.htm
    Other Resources
    -
    Contacts
    George Tsinarakis (tsinar(at)dpem.tuc.gr)

    University of Athens

    Address
    University of Athens, Department of Informatics
    WWW
    http://www.di.uoa.gr/~ensemble
    Net Models
    High Level Petri Nets
    Research Topics in Petri Nets
    Composition of Petri Nets, formal specification of message passing program composition, analysis of composed Petri Nets.
    Tools
    Specification Compositor for Message Passing Programs
    Papers
    See WWW page
    Other Resources
    -
    Contacts
    Yiannis Cotronis (cotronis(at)di.uoa.gr)
    Zacharias Tsiatsoulis (zack(at)di.uoa.gr)

    India

    National Institute of Technology Calicut

    Address
    National Institute of Technology Calicut, Department of Electrical Engineering
    WWW
    http://nitc.ac.in/nitc/dept/ee/public_html/department-web/PEOPLE/FACULTY/sivanandan.html
    Net Models
    S-NET
    Research Topics in Petri Nets
    Physiological Systems. Currently involved in the developement of Petri net models of physiological systems. In this direction an abstract model of a cardiac system and an associated analytical software package is on the way.
    Tools
    Timed Petri nets, numerical Petri nets, APN-advanced Petri nets, S-nets etc. net models
    Papers
    http://nitc.ac.in/nitc/dept/ee/public_html/department-web/PEOPLE/FACULTY/sivanandan.html
    Other Resources
    -
    Contacts
    Dr. K. S. Sivanandan (kss(at)nitc.ac.in)

    IIT Roorkee, Department of Mathematics, India

    Address
    IIT Roorkee, Department of Mathematics
    WWW
    http://www.iitr.ernet.in
    Net Models
    Generalised stochastic Petri Nets
    Research Topics in Petri Nets
    Failure Mode and Effect Analysis using Petri Nets Tools;
    Tools
    Developing Petri Nets Models for Industrial Systems, Reliability, Avaliability of the Systems
    Papers
    -
    Other Resources
    -
    Contacts
    Ajay Pra (ajay_pra00(at)rediffmail.com)

    Amity University Haryana

    Address
    Amity University Haryana, Gurgaon, India
    WWW
    http://www.amity.edu/gurgaon
    Net Models
    Ordinary Petri Net
    Research Topics in Petri Nets
    Application of Petri nets: Temporal logics and occurrence graphs, object-oriented Petri Nets
    Tools
    Algorithmic approach, Application and Development of Petri Nets Models for Industrial Systems
    Papers
    -
    Other Resources
    -
    Contacts
    Sunita Kumawat (ksunita86(at)gmail.com)

    DAVV University Indore

    Address
    DAVV University Indore
    WWW
    http://research.dauniv.ac.in:8080/default.asp
    Net Models
    Stochastic Petri Nets
    Research Topics in Petri Nets
    Stochastic Petri Nets and Simulation of few chemical reactions
    Tools
    PIPE2, Timed Petri nets
    Papers
    -
    Other Resources
    -
    Contacts
    Dr Rajendra Prasad, PhD IIT (rjndr.prsd3(at)gmail.com)

    Indian Institute of Information Technology

    Address
    ABV-Indian Institute of Information Technology, Gwalior, M.P., India.
    WWW
    http://www.iiitm.ac.in
    Net Models
    Coloured Petri Nets
    Research Topics in Petri Nets
    Coloured Petri Nets, tools, application, equivalences on occurrence graphs, occurrence graphs, monitors
    Tools
    Coloured Petri Nets, Timed Coloured Petri Nets, Hierarchical Timed Coloured Petri Nets
    Papers
    -
    Other Resources
    -
    Contacts
    Dr. K.K. Pattanaik (kkpatnaik(at)iiitm.ac.in)
    Anshul Verma(anshulverma87(at)gmail.com)

    Indian Institute of Technology, Khatagpur

    Address
    Indian Institute of Technology, Khatagpur
    WWW
    http://cse.iitkgp.ac.in/~souban
    Net Models
    -
    Research Topics in Petri Nets
    Formal Verification and program analysis using Petri net
    Tools
    Equivalence checker
    Papers
    -
    Other Resources
    -
    Contacts
    soumyadip@cse.iitkgp.ernet.in

    School of computational and Integrative Sciences, Jawaharlal Nehru University, New Delhi

    Address
    School of computational and Integrative Sciences, Jawaharlal Nehru University, New Delhi-110067, India
    WWW
    http://www.jnu.ac.in/SCIS/
    Net Models
    1-safe Petri nets
    Research Topics in Petri Nets
    Boolean Petri nets, applications, directed bipartite graphs
    Tools
    Developing Theory
    Papers
    http://www.intechopen.com/books/petri-nets-manufacturing-and-computer-science/boolean-petri-nets
    Other Resources
    http://www.jams.or.jp/scm/contents/e-2010-2/2010-11.pdf
    Contacts
    Dr. Gajendra Pratap Singh (gajendra@mail.jnu.ac.in, gajendraresearch@gmail.com)

    Iran

    Sharif University of Technology

    Address
    Sharif University of Technology, Department of Computer Engineering
    WWW
    http://sina.sharif.edu/~movaghar
    Net Models
    Stochastic Activity Networks, Coloured Petri Nets, Object-Oriented Petri Nets
    Research Topics in Petri Nets
    Stochastic Activity Networks, Coloured Petri Nets, Object-Oriented Petri Nets, Tool Development, Verification with Temporal Logic, Applications
    Tools
    SharifSAN(developed), SANBuilder(developing), CPN Tools(using)
    Papers
    http://sina.sharif.edu/~movaghar/#papers
    Other Resources
    -
    Contacts
    Mohammad Abdollahi Azgomi (azgomi(at)mehr.sharif.edu)

    Persian Gulf University

    Address
    Persian Gulf University, Department of Industrial Management
    WWW
    http://www.pgu.ac.ir/salimifard/index.htm
    Net Models
    Coloured Petri Nets, Stochastic Petri Nets
    Research Topics in Petri Nets
    Business Process Improvement, Perforamnce Analysis, System Modelling and Simulation, Business Applications for CPNs
    Tools
    -
    Papers
    http://www.pgu.ac.ir/salimifard/publicat.htm
    Other Resources
    -
    Contacts
    Khodakaram Salimifard (salimifard(at)pgu.ac.ir)

    Iran University of Science and Technology

    Address
    Iran University of Science and Technology, School of Computer Engineering, Trustworthy Computing Laboratory (TwCL), Tehran, Iran
    WWW
    http://twcl.iust.ac.ir/
    Net Models
    Coloured Petri Nets, Stochastic Petri Nets, Stochastic Activity Networks
    Research Topics in Petri Nets
    Formal Methods (Petri nets and stochastic activity networks (SANs), etc.)
    • Evaluation of Performance, Dependability, Security, Privacy and Trust
    • Verification, Validation and Model Checking
    • Tools for Modeling and Analysis
    Tools
    CPN Tools
    Papers
    http://twcl.iust.ac.ir/publications/index.html
    Other Resources
    http://twcl.iust.ac.ir/projects/index.html
    Contacts
    Dr. Mohammad Abdollahi Azgomi azgomi@iust.ac.ir

    Italy

    Università degli studi di Salerno

    Address
    Università degli studi di Salerno, Automatic Control Group DIEM
    WWW
    http://www.automatica.unisa.it
    Net Models
    Place Transitions PNs, Colored Petri Nets, Timed and Time Petri Nets, Hybrid Petri Nets
    Research Topics in Petri Nets
    DES Modelling, Identification and Fault Detection
    Tools
    PnetLab (http://www.automatica.unisa.it/PnetLab.html) net models
    Papers
    http://www.automatica.unisa.it/Publications.html
    Other Resources
    -
    Contacts
    Francesco Basile (http://www.automatica.unisa.it/fbasile/index.htm) (fbasile@unisa.it),
    Jolanda Coppola (http://www.automatica.unisa.it/People.html) (jcoppola@unisa.it)

    University of Milano

    Address
    University of Milano, Computer Science Department
    WWW
    http://wrcm.dsi.unimi.it/PetriLab/petrilab.html
    Net Models
    OBJSA Nets
    Research Topics in Petri Nets
    Algebraic High-level Nets, modularity, OBJ, tools, transformations of net models (here follow current topics) synchronized parametric reachability trees, timed nets, object-oriented petri nets
    Tools
    ONE (editor, simulation, composition, equivalent transformations of net models
    Papers
    -
    Other Resources
    ftp://ftp.dsi.unimi.it/DSI/chizzoni/
    Contacts
    Fiorella De Cindio (decindio(at)dsi.unimi.it),
    Eugenio Battiston (battiston(at)hermes.mc.dsi.unimi.it),
    Lorenzo Capra (lorenzoc(at)di.unito.it),
    Alfredo Chizzoni (chizzoni(at)dsi.unimi.it)

    University of Torino

    Address
    University of Torino, Computer Science Department
    WWW
    http://www.di.unito.it/WWW/PEgroup/PEGroup.html
    Net Models
    Queueing Networks (QN), Stochastic Petri Nets (SPN), and Generalized Stochastic Petri Nets (GSPN), Stochastic Well-Formed Nets (SWN)
    Research Topics in Petri Nets
    Modelling and analysis of parallel and distributed systems, methodology for the analysis of computing systems using probabilistic models. Structural properties of Petri net models.
    Tools
    GreatSPN
    Papers
    http://www.di.unito.it/WWW/PEgroup/articles.html
    Other Resources
    -
    Contacts
    Gianfranco Balbo (balbo(at)di.unito.it),
    Susanna Donatelli (susi(at)di.unito.it),
    Giovanni Chiola (chiola(at)disi.unige.it)

    Jamaica

    University of the West Indies

    Address
    University of the West Indies
    WWW
    http://wwwphysics.uwimona.edu.jm:1104/staff/Dr.%20L.%20Ngalamou/Dr.%20L.%20Ngalamou.html
    Net Models
    Coloured Petri Nets, Timed Petri Nets
    Research Topics in Petri Nets
    Hybrid Controllers Modeling, Fuzzy-Petri Nets, Modeling of asynchronous Circuits
    Tools
    Developing FuzzyCPN, using Design/CPN
    Papers
    -
    Other Resources
    -
    Contacts
    Dr. Lucien Ngalamou (lngalmou(at)uwimona.edu.jm)

    Japan

    University of Aizu

    Address
    University of Aizu, Computer Hardware Department
    WWW
    http://www.u-aizu.ac.jp/labs/hw-ce/asy-gr.html
    Net Models
    Signal Transition Graphs, Petri net unfoldings, Place Chart Nets
    Research Topics in Petri Nets
    Asynchronous (self-timed) circuits and systems. Models of concurrent behavior (Petri Nets, Signal Transition Graphs, FSMs, etc.). Petri net unfoldings, Place Chart Nets.
    Tools
    Forcage - PC based tool for synthesis and analysis of speed-independent circuits,
    Unfolding - Tool for checking properties of Petri Nets and STGs working under SIS,
    Petrify - Tool for synthesis and transformation of Petri Nets and STGs (Created in UPC)
    Papers
    http://www.u-aizu.ac.jp/labs/hw-ce/asy-gr.html#papers
    Other Resources
    ftp://ftp.u-aizu.ac.jp/u-aizu/async/
    Contacts
    Michael Kishinevsky (kishinev(at)u-aizu.ac.jp),
    Alex Kondratyev (kondraty(at)u-aizu.ac.jp),
    Alexander Taubin (taubin(at)u-aizu.ac.jp)

    University of Kyushu

    Address
    University of Kyushu, Graduate School of Information Science and Electrical Engineering
    WWW
    http://www.ale.csce.kyushu-u.ac.jp/
    Net Models
    Controlled Petri nets, Dan/Petri Net (D/PN), Controlled Dan/Petri Nets (Ctrl D/PN)
    Research Topics in Petri Nets
    Multiple and Simultaneous Control (MSC) of DES, Control Optimization
    Tools
    Developing Ctrl D/PN
    Papers
    -
    Other Resources
    -
    Contacts
    Eleazar Jimenez Serrano (j_eleazar(*at*)ale.csce.kyushu-u.ac.jp

    Moldova

    Technical University of Moldova

    Address
    Technical University of Moldova, Computer Science Department
    WWW
    -
    Net Models
    GSPN, Stochastic Reward nets, Stochastic Hybrid nets, Coloured Petri nets, High-level Petri nets
    Research Topics in Petri Nets
    Stochastic Hybrid nets, Stochastic Petri nets in computer systems and networks engineering, Stochastic Hybrid nets for performance modelling of parallel and distributed computing systems, Petri net based system modelling developement tools
    Tools
    Using Design/CPN, VisObjNet, Visual-simnet. Developing Visual Hybrid Petri Net (VHPN) tool
    Papers
    -
    Other Resources
    -
    Contacts
    Emilian Gutuleac (egutuleac(at)mail.utm.md)

    South Korea

    Changwon National University

    Address
    Changwon National University, LIS/Computer Science Department
    WWW
    http://icom.changwon.ac.kr/~lis/
    Net Models
    Time Petri nets, CPN
    Research Topics in Petri Nets
    Transformation of TPN, theory and application, Scheduling problem of FMS using TPN, Protocol modeling using TPN, Unfolding PN, application
    Tools
    -
    Papers
    -
    Other Resources
    -
    Contacts
    Jong Kun Lee (jklee(at)sarim.changwon.ac.kr)

    Chungnam National University

    Address
    Chungnam National University, Department of Computer Engineering
    WWW
    http://www.comeng.chungnam.ac.kr/~hchoi/petrinet/
    Net Models
    Stochastic Reward nets
    Research Topics in Petri Nets
    Performance and reliability analysis of distributed systems.
    Tools
    SPNP
    Papers
    See WWW page
    Other Resources
    ftp://ftp.comeng.chungnam.ac.kr/incoming/ChoiHoon
    Contacts
    Hoon CHOI (hchoi(at)comeng.chungnam.ac.kr)

    KAIST (Comp.Sci.)

    Address
    KAIST (Korea Advanced Institute of Science and Technology), Department of Computer Science
    WWW
    http://salmosa.kaist.ac.kr/
    Net Models
    Colored Petri Nets
    CMPN (Constraints-based Modular Petri Nets)
    SoftPM (Petri Nets for Software Process Modeling)
    HOONets (Hierarchical Object-Oriented Petri Nets)
    Research Topics in Petri Nets
    Requirements Analysis and verification
    Scenario-based software modeling and analysis
    Object-oriented Software Modeling and Analysis
    Software Process Modeling
    Tools
    Using Design/CPN, developing HOONets (prototype), SoftPM for software process modeling
    Papers
    Se WWW page
    Other Resources
    -
    Contacts
    Woojin Lee (woojin(at)salmosa.kaist.ac.kr),
    Sang-Yoon Min (sang(at)salmosa.kaist.ac.kr),
    Jang-Eui Hong (jehong(at)salmosa.kaist.ac.kr)

    KAIST (Mech.Eng.)

    Address
    KAIST (Korea Advanced Institute of Science and Technology), Dept. of Mechanical Engineering
    WWW
    -
    Net Models
    Petri Nets, TPN, SPN, CPN
    Research Topics in Petri Nets
    PN theory, tools, applications to manufacturing, dynamic systems, scheduling and supervisory control
    Tools
    -
    Papers
    -
    Other Resources
    -
    Contacts
    Doo Yong Lee (leedy(at)cais.kaist.ac.kr)

    K-JIST (CSRL)

    Address
    Kwangju Institute of Science and Technology, Concurrent System Research Laboratory
    WWW
    http://csrl.kjist.ac.kr
    Net Models
    LSFCnet, Timed Petri-net, unfolding, STG
    Research Topics in Petri Nets
    Structural analysis, reachability analysis, synthesis with Petri Nets
    Tools
    Developing logic synthesizer based on LSFCnet, Timed PN, etc., high-level Petri Net simulator
    Papers
    http://csrl.kjist.ac.kr/publication.htm
    Other Resources
    -
    Contacts
    Lee, Dong-Ik (dilee(at)kjist.ac.kr)
  • Pohang University of Science & Technology

    Pohang University of Science & Technology

    Address
    Pohang University of Science & Technology (POSTECH), Department of Electronics & Electrical Engineering
    WWW
    http://www.postech.ac.kr/
    Net Models
    Petri Nets, Timed PN, Coloured PN, Continuous and hybrid PN
    Research Topics in Petri Nets
    PN theory and application, reachability analysis, performance evaluation
    Tools
    Using ExSpect, VisObjNet, Visual-simnet
    Papers
    -
    Other Resources
    -
    Contacts
    Gi Bum Lee (gblee(at)rist.re.kr),
    Prof. Jin S. Lee (jsoo(at)postech.ac.kr)

    Seoul National University

    Address
    Seoul National University, Department of Mech. Design & Prod. Engr.
    WWW
    http://macea.snu.ac.kr/MPClab.html
    Net Models
    GSPN, SPN
    Research Topics in Petri Nets
    Performance Evaluation of Manufacturing System
    Tools
    Visual Simnet, Netman
    Papers
    -
    Other Resources
    -
    Contacts
    Prof. Jonwon Kim (mejwkim(at)asri.snu.ac.kr)

    Mexico

    El Colegio de San Luis

    Address
    El Colegio de San Luis, A.C.
    WWW
    http://www.geocities.com/ResearchTriangle/Lab/7132/gmur.html
    Net Models
    Coloured Petri Nets, Concurrent Petri Nets
    Research Topics in Petri Nets
    Applied Petri Nets, modelling urban transport systems (traffic flow, logistics, etc), development of a cellular automaton model
    Tools
    -
    Papers
    -
    Other Resources
    -
    Contacts
    Antonio Aguilera Ontiveros (colsan_aaguilera(at)infosel.net.mx)

    Instituto Tecnológico Superior de La Huerta

    Address
    Instituto Tecnológico Superior de La Huerta
    WWW
    http://www.itslahuerta.edu.mx
    Net Models
    Interpreted Petri Net, Hybrid Petri Net
    Research Topics in Petri Nets
    Observability and controllability for manufacturing systems
    Tools
    SimHPN, PIPE v2.5, PMeditor, Spades
    Papers
    https://www.researchgate.net/profile/Luis_Rivera_Cambero
    Other Resources
    http://www.amca.mx/memorias.html
    Contacts
    Luis Humberto Rivera Cambero (luis.rivera@itslahuerta.edu.mx)

    Instituto Tecnológico de Puebla

    Address
    Instituto Tecnológico de Puebla, Puebla
    WWW
    http://www.itpuebla.edu.mx/
    Net Models
    Real Time and Fuzzy Real Time Petri Nets schemes
    Research Topics in Petri Nets
    Analysis and modelling flexible manufacturing systems
    Tools
    VHDL and Visual C (to generate Fuzzy Petri Nets coded for Control in Intelligent Manufacturing Systems)
    Papers
    -
    Other Resources
    -
    Contacts
    Prof. Carlos Arturo Graciós Marín (cgracios(at)itpuebla.edu.mx)

    Universidad Nacional Autónoma de México

    Address
    Center of Neurobiology, UNAM, Queretaro
    WWW
    http://www.unam.mx/
    Net Models
    Continuous Petri nets, Real time processes
    Research Topics in Petri Nets
    Theoretical models in psychobiology (consciousness, neurodynamics, behavior).
    Tools
    Looking for collaboration with software and tool experts.
    Papers
    -
    Other Resources
    -
    Contacts
    (josedg(at)servidor.unam.mx)

    The Netherlands

    Eindhoven University of Technology

    Address
    Eindhoven University of Technology, Mathematics and Computing Science Department, Information Systems group, Eindhoven
    WWW
    http://www.win.tue.nl/win/cs/is/
    Net Models
    High-level Petri nets (Petri-nets extended with color, time and hierarchy)
    Research Topics in Petri Nets
    High-level Petri nets, Colored Petri nets, Timed Petri nets, Applications (in particular business process reengineering, workflow and logistics), Performance analysis, (Distributed) simulation, Verification, Equivalences on Petri nets.
    Tools
    ExSpect (used as CASE and BPR-tool) and analysis tools such as INA.
    Papers
    http://www.win.tue.nl/win/cs/is/smis/
    Other Resources
    ftp://ftp.win.tue.nl/pub/techreports/
    Contacts
    Wil van der Aalst (wsinwa(at)win.tue.nl)

    Erasmus University Rotterdam

    Address
    Erasmus University Rotterdam, EURIDIS
    WWW
    http://www.euridis.fbk.eur.nl/Euridis/
    Net Models
    Documentary Petri Nets
    Research Topics in Petri Nets
    Inter-organizational systems, (Open)-edi, Electronic commerce, deontic logics
    Tools
    CASE/EDI, DX
    Papers
    http://abduction.euridis.fbk.eur.nl:8080/publications/
    ftp://ftp.euridis.fbk.eur.nl/pub/papers/
    Other Resources
    ftp://ftp.euridis.fbk.eur.nl/
    Contacts
    Ronald M. Lee (RLee(at)Euridis.fbk.eur.nl),
    Roger Bons (RBons(at)Euridis.fbk.eur.nl)

    Leiden University

    Address
    Leiden University, Department of Computer Science
    WWW
    http://www.wi.leidenuniv.nl/CS/TI/
    Net Models
    Elementary net systems, place transition nets
    Research Topics in Petri Nets
    Trace semantics and trace theory, state spaces, theory of regions, Petri net semantics for process algebras, Petri net models for CSCW
    Tools
    -
    Papers
    See WWW page
    Other Resources
    -
    Contacts
    G. Rozenberg (rozenber(at)wi.LeidenUniv.nl)

    Pakistan

    Hamdard University

    Address
    Hamdard University, Usman Institute of Technology,
    WWW
    http://www.uit.edu.pk
    Net Models
    Colored 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
    -
    Papers
    -
    Other Resources
    -
    Contacts
    Muhammad Khalid Khan (khkhan(at)uit.edu.pk)

    University of Central Punjab, Lahore-Pakistan

    Address
    Faculty of Information Technology, University of Central Punjab, Lahore-Pakistan
    WWW
    http://www.ucp.edu.pk
    Net Models
    Timed Petri Nets, Ordinary Petri Nets, Coloured Petri Nets
    Research Topics in Petri Nets
    Petri Net Modeling of Railway Crossing System using Fuzzy Brakes. CPN Model for Wireless Mesh Networks,
    Tools
    http://cpntools.org/ (CPN Tools V 3.40), Petri Net Tools for MATLAB, Developing Design/CPN (http://www.daimi.au.dk/designCPN/) editor, simulator, and Occurrence Graph Tool)
    Papers
    http://www.ijcte.org/papers/148-G230.pdf
    Other Resources
    http://www.uet.edu.pk/export/sites/UETWebPortal/Conferences/icosst2011/downloads/ICOSST__7_1.pdf, http://www.academicjournals.org/ijps/PDF/pdf2011/18Jul/Khan%20et%20al.pdf,
    Yaser Daanial Khan, Farooq Ahmad, Muhammad Waqas Anwar "A Neuro-cognitive Approach for Iris Recognition Using Back Propagation" (2012.) World Applied Sciences Journal Vol:16 pp:678-685 (Journal),
    Farooq Ahmad, H. J. Huang, and X. L. Wang "Analysis of the Petri net model of parallel manufacturing processes with shared resources" (2011) Information Sciences Vol:181 (2011) pp:5249-5266 (Journal),
    Farooq Ahmad, Hejiao Huang, Xiao-long Wang "Petri net modeling and deadlock analysis of parallel manufacturing processes with shared resources" (2010) Journal of Systems and Software Vol:83 pp:675-688 (Journal)
    Farooq Ahmad, Hejiao Huang, Xiao-long Wang "Analysis of parallel manufacturing processes with resource sharing" (2010) International Journal of Computer Theory and Engineering Vol:2 pp:250-257 (Journal)
    Contacts
    Dr.Farooq Ahmad , Associate Professor PhD (Computer Science), HIT, China, Chair Systems Engineering Research Group, HEC Approved PhD Supervisor (dr.farooq(at)ucp.edu.pk)
    Naeem Akhtar Khan, PhD Computer science (Scholar) UCP (naeemkhan(at)ucp.edu.pk)

    University of Engineering and Technology, Lahore, Pakistan

    Address
    University of Engineering and Technology, Lahore, Pakistan
    WWW
    http://www.uet.edu.pk
    Net Models
    Petri net, coloured Petri net
    Research Topics in Petri Nets
    Manufacturing systems, Robotics.
    Tools
    CPN Tools
    Contacts
    Dr. Tauseef Aized, Professor, Department of Mechanical Engineering, University of Engineering and Technology, Lahore, Pakistan

    Poland

    Technical University of Zielona Gora

    Address
    Technical University of Zielona Gora, Department of Computer Engineering and Electronics
    WWW
    http://www.pz.zgora.pl/iie
    Net Models
    Colored Synchronous Petri Nets (PNSF)
    Colored Synchronous Hierarchical Petri Nets (PNSF2)
    Research Topics in Petri Nets
    Hierarchical Petri Nets used as a description of parallel controlers, Tools, Applications, OO-Petri Net module made under C++ (Borland 5.0)
    Tools
    No comercial tools are used, just tools made by us, such as PNSF2 (Petri Net Specification Format) Parser, PenCAD system (made by our students) and other. As an implementation base XILINX and ALTERA platforms are used.
    Papers
    http://www.pz.zgora.pl/iie/zik/fantasic/publikacje.html
    Other Resources
    -
    Contacts
    M.Wêgrzyn (M.Wegrzyn(at)pz.zgora.pl)
    M.Puczynski (M.Puczynski(at)pz.zgora.pl)
    P.Wolañski (P.Wolanski(at)pz.zgora.pl)
    G.Jedrasik (G.Jedrasik(at)pz.zgora.pl)
    Z.Skowroñski (Z.Skowronski(at)pz.zgora.pl)

    Portugal

    Universidade Nova de Lisboa

    Address
    Universidade Nova de Lisboa, UNINOVA
    WWW
    http://www.uninova.pt/gres
    Net Models
    Place-Transition Petri Nets; Coloured Petri Nets
    Research Topics in Petri Nets
    Composability and Hierarchical Structuring; Partitioning for Embedded Systems Co-design; Implementation Issues
    Tools
    -
    Papers
    http://www.uninova.pt/gres/pubs/pubspnconcur.htm
    Other Resources
    -
    Contacts
    Luis Gomes (lugo(at)uninova.pt),
    Joao Paulo Barros (jpb(at)uninova.pt),
    Petri Nets Group (gres-pn(at)uninova.pt)

    Russia

    Russian Academy of Science of Kemerovo

    Address
    Russian Academy of Science of Kemerovo, Institute of Coal and Coal Chemistry
    WWW
    -
    Net Models
    Timed Petri nets, Stochastic Petri nets, High level Petri Nets
    Research Topics in Petri Nets
    Applications of Petri nets for mining and manufacturing, training works to simulate robotics systems and flexible manufacturing systems by Petri nets, joining of Petri nets with animation software (Proof. Animation), simulation of transport nets and economic interaction of enterprises
    Tools
    Problem oriented simulator
    Papers
    -
    Other Resources
    -
    Contacts
    Prof. Vladimir L. Konyukh (konyukh(at)kemsu.ru)

    St.-Petersburg State Electrotechnical University

    Address
    St.-Petersburg State Electrotechnical University, Department of Software Engineering
    WWW
    -
    Net Models
    Stochastic Petri Nets, Hierarchical Stochastic Petri Nets
    Research Topics in Petri Nets
    Performance analysis with using Markovian chains, parallel algorithms modelling, deadlocks and confusion detection.
    Tools
    Self-produced tool for analysis SPN models
    Papers
    -
    Other Resources
    -
    Contacts
    Vladimir A. Kirianchikov,
    Leonid Moiseichuk (leo(at)metrocom.ru)

    Singapore

    Nanyang Technological University

    Address
    Nanyang Technological University, School of Mechanical and Production Engineering
    WWW
    http://web.ntu.edu.sg/mpe/
    Net Models
    Intelligent Petri nets
    Research Topics in Petri Nets
    Knowledge based Petri net, Object-oriented Intelligent Petri nets, Hybrid Intelligent Petri net
    Tools
    Hybrid Intelligent Petri Net Tool (being developed)
    Papers
    http://www2.ntu.ac.sg:8000/~m95017L61/pn.htm
    Other Resources
    -
    Contacts
    X.F. Zha (m95017L61(at)ntuvax.ntu.ac.sg)

    Slovak Republic

    Slovak Academy of Sciences

    Address
    Slovak Academy of Sciences, Institute of Informatics SAS
    WWW
    http://www.ui.savba.sk/home/capkovic/capkhome.htm
    Net Models
    Ordinary PN, fuzzy PN, logical PN, timed PN
    Research Topics in Petri Nets
    Modelling discrete event systems (DES) and discrete event dynamic systems (DEDS), knowledge representation by means of PN, knowledge-based and intelligent control of DEDS utilizing PN, PN-based modelling the agent behaviour and the multiagent systems (MAS)
    Tools
    own tool (without an acronym)
    Papers
    http://www.ui.savba.sk/home/capkovic/capkhome.htm
    Other Resources
    -
    Contacts
    Frantisek.Capkovic(at)savba.sk (utrrcapk(at)savba.sk)

    Slovak University of Technology in Bratislava

    Address
    Slovak University of Technology in Bratislava, Department of Automatic control systems, Faculty of Electrical Engineering and Information Technology STU
    WWW
    http://www.kasr.elf.stuba.sk
    Net Models
    Generalized Petri nets (PN), Timed PN, Coloured PN, Controlled PN, Hybrid PN
    Research Topics in Petri Nets
    Supervisory control, Time scheduling, PN models of PLC programs
    Tools
    SUPCON (developing), PESIM (University of Brno)
    Papers
    -
    Other Resources
    -
    Contacts
    hruz(at)kasr.elf.stuba.sk, flochova(at)kasr.elf.stuba.sk

    Technical University of Kosice

    Address
    Technical University of Kosice, Department of Cybernetics and Artificial Intelligence
    WWW
    http://kkui.fei.tuke.sk
    Net Models
    Coloured Petri Nets (CPN), Hybrid PN, Timed PN
    Research Topics in Petri Nets
    Network Control System, Control systems, Control Networks, Control Quality
    Tools
    Using Design/CPN (editor, simulator, and occurrence graph tool)
    Papers
    -
    Other Resources
    -
    Contacts
    Jana Ligusova (Jana.Ligusova(at)tuke.sk), Jan Ligus (Jan.Ligus(at)tuke.sk)

    University of Zilina

    Address
    University of Zilina, Faculty of Management Science and Informatics
    WWW
    http://fri.utc.sk/
    Net Models
    Coloured Petri Nets
    Research Topics in Petri Nets
    Modelling and simulation in transportation and logistics
    Tools
    Using Design/CPN, CPN Tools
    Papers
    -
    Other Resources
    -
    Contacts
    Michal Zarnay (michal.zarnay(at)fri.utc.sk)

    South Africa

    University of Cape Town

    Address
    University of Cape Town, DNA Laboratory, Department of Computer Science
    WWW
    http://www.cs.uct.ac.za/home/psk
    Net Models
    Generalized Stochastic Petri Nets
    Research Topics in Petri Nets
    Generalized Stochastic Petri Nets, tools, performance analysis, Markov chains
    Tools
    DNAnet GSPN editor
    Papers
    http://www.cs.uct.ac.za/home/psk
    Other Resources
    ftp://ftp.cs.uct.ac.za/pub/DNA-lab
    Contacts
    Prof. Pieter S. Kritzinger (psk(at)cs.uct.ac.za)

    Spain

    University of Zaragoza

    Address
    University of Zaragoza, Computer Science and Systems Engineering Department
    WWW
    http://webdiis.unizar.es/GISED/
    Net Models
    Place/Transition nets, timed and stochastic Petri nets, coloured Petri nets
    Research Topics in Petri Nets
    Modelling and analysis of concurrent systems, with applications in logistics, manufacturing and automation. Performance evaluation of software systems, computer networks and manufacturing systems. Discrete event systems simulation techniques on low cost platforms. Fault tolerance and security. Computational complexity. Distributed information systems.
    Tools
    -
    Papers
    http://webdiis.unizar.es/GISED/
    Other Resources
    -
    Contacts
    Manuel Silva (silva(at)unizar.es)

    Switzerland

    Swiss Federal Institute of Technology (Computer Engineering and Networks)

    Address
    Swiss Federal Institute of Technology, Institut für Technische Informatik und Kommunikationsnetze, Computer Engineering and Networks Laboratory
    WWW
    http://www.tik.ee.ethz.ch/~codesign/
    Net Models
    High-level object-oriented time Petri Nets
    Research Topics in Petri Nets
    Tools, applications, simulation, (timing) verification
    Tools
    CodeSign (editor, simulator, embedding of other specification formalisms)
    Papers
    http://www.tik.ee.ethz.ch/~tec/Publications.dhtml
    Other Resources
    -
    Contacts
    Jörn W. Janneck (janneck(at)tik.ee.ethz.ch),
    Prof. Lothar Thiele (thiele(at)tik.ee.ethz.ch)

    Swiss Federal Institute of Technology (Software Engineering)

    Address
    Swiss Federal Institute of Technology, Software Engineering Laboratory, Computer Science Department
    WWW
    http://lglwww.epfl.ch/conform
    Net Models
    Structured Algebraic Petri Nets (CO-OPN)
    Research Topics in Petri Nets
    Object-oriented Petri Nets, evolutive prototyping, object oriented testing, tools, temporal logics.
    Tools
    SANDS (editor, simulator, prototyping)
    Papers
    http://lglwww.epfl.ch/conform
    Other Resources
    -
    Contacts
    Didier Buchs (Didier.Buchs(at)di.epfl.ch)

    Thailand

    Rajamangala University of Technology Thanyaburi

    Address
    Rajamangala University of Technology Thanyaburi (RMUTT), Department of Mathematics and Computer Science, Thailand
    WWW
    http://www.rmutt.ac.th/
    Net Models
    -
    Research Topics in Petri Nets
    Petri Net Scheduling Algorithm,
    Petri Net for Real-Time Embedded System,
    Petri Net for Industrial Automation and Software Engineering
    Tools
    -
    Papers
    -
    Other Resources
    -
    Contacts
    Waraphan Sarasureeporn (toMrBenz(at)yahoo.com)

    Tunisia

    University of Gabès

    Address
    University of Gabès -Tunisia
    WWW
    http://cedric.cnam.fr/index.php/labo/membre/view?id=302
    Net Models
    Agent Petri Nets(APN)
    Research_Topics
    Modeling, Verification, SMA
    Tools
    Architecture of APN
    Papers
    -
    OtherResources
    -
    Contacts
    Borhen Marzougui (mailto:marzougui_bor@yahoo.fr)

    Higher Institute of Industrial Management

    Address
    Higher Institute of Industrial Management
    WWW
    http://www.isgis.rnu.tn
    Net Models
    Petri Nets applications : Markov chain and Simulation
    Research_Topics
    Petri Nets applications : Markov chain and Simulation
    Tools
    -
    Papers
    -
    OtherResources
    -
    Contacts
    mailto:wafik_hachicha@yahoo.fr

    Ukraine

    International Humanitarian University

    Address
    International Humanitarian University, Odessa, Ukraine
    WWW
    http://member.acm.org/~daze
    Net Models
    Functional Petri nets (clans)
    Infinite Petri nets
    Research Topics in Petri Nets
    Universal Petri nets;
    Petri net paradigm of computations;
    Theory of functional Petri nets;
    Modeling networks, computer and production systems;
    Tools
    Adriana, Deborah, Opera-Topaz, Nevod;
    Using: Tina, CPN Tools
    Papers
    http://daze.ho.ua
    Other Resources
    http://www.mgu.com.ua
    Contacts
    Dmitry Zaitsev(zsoftua(at)yahoo.com)

    UK

    University of Bradford

    Address
    University of Bradford, School of Informatics
    WWW
    http://www.inf.brad.ac.uk/home/home.html
    Net Models
    Timed Petri nets, Stochastic Petri nets
    Research Topics in Petri Nets
    Petri net modelling, scheduling, simulation and control of discrete event systems
    Tools
    -
    Papers
    -
    Other Resources
    -
    Contacts
    Dr Hongnian Yu (h.n.yu(at)bradford.ac.uk)

    Lancaster University (Computer Science)

    Address
    Lancaster University, Computer Science Department, Lancaster
    WWW
    http://www.comp.lancs.ac.uk/computing/users/angie/work.htm
    Net Models
    Coloured Petri nets, ordinary Petri nets
    Research Topics in Petri Nets
    Application of Petri nets to mobile robotics and mechatronics using partially automatically generated code based on the Petri net model. Related issues such as model checking.
    Tools
    Developing TRAMP (Toolkit for Rapid Autonomous Mobile robot Prototyping)
    Papers
    http://www.comp.lancs.ac.uk/computing/users/angie/publications.htm
    Other Resources
    -
    Contacts
    Angie Chandler (angie(at)comp.lancs.ac.uk)

    Lancaster University (Management School)

    Address
    Lancaster University, Management Science Department, Management School, Lancaster
    WWW
    http://www.lancs.ac.uk/postgrad/salimifk
    Net Models
    Coloured Petri Nets, Stochastic Petri Nets, Ordinary Petri Nets
    Research Topics in Petri Nets
    Applications of Petri Nets in Manufacturing Systems
    Tools
    -
    Papers
    http://www.lancs.ac.uk/postgrad/salimifk/publicat.htm
    Other Resources
    -
    Contacts
    Khodakaram Salimifard (k.salimifard1(at)lancaster.ac.uk)

    University of Wales

    Address
    University of Wales, Cardiff
    WWW
    http://www.cs.cf.ac.uk/
    Net Models
    GSPN and Fuzzy Petri Nets
    Research Topics in Petri Nets
    Used for
    • modelling parallel algorithms
    • mapping algorithms to parallel architectures
    • modelling neural systems
    Tools
    Mathematica programs also use of GreatSPN
    Papers
    (under development - will be available soon)
    Other Resources
    -
    Contacts
    Omer Rana (o.F.Rana(at)cs.cf.ac.uk)

    USA

    Duke University

    Address
    Duke University, Durham
    WWW
    http://www.ee.duke.edu/~kst
    Net Models
    Stochastic Reward Nets, Markov Regenerative Stochastic Petri Nets, Fluid Stochastic Petri Nets
    Research Topics in Petri Nets
    Fundamental developments, numerical solution techniques, applications
    Tools
    SPNP, SHARPE
    Papers
    -
    Other Resources
    -
    Contacts
    Kishor Trivedi (kst(at)ee.duke.edu)

    General Motors Research and Development Center

    Address
    General Motors Research and Development Center
    WWW
    http://www.gm.com
    Net Models
    Stochastic Petri Nets, Colored Petri Nets
    Research Topics in Petri Nets
    Modeling and analysis of manufacturing systems, logistic and supply chain network
    Tools
    Decision support system with a PN modeler
    Papers
    -
    Other Resources
    -
    Contacts
    Shang-Tae Yee (shang-tae.yee(at)gm.com)

    George Mason University

    Address
    C3 Architectures Laboratory, C3i Center, George Mason University, Fairfax, VA 22030
    WWW
    http://viking.gmu.edu/http/
    Net Models
    Colored Petri Nets
    Research Topics in Petri Nets
    Determination of excutable models (Petri Nets) from structured analysis models and from object oriented approaches. Generation of information architectures. Mathematical organization theory. Validation and verification of rule bases. Temporal logic and petri nets. Applications in command and control systems and adaptive system architectures.
    Tools
    Design/CPN and associated algorithms
    Papers
    See WWW page
    Other Resources
    ftp://viking.gmu.edu
    Contacts
    Alexander H. Levis (alevis(at)gmu.edu)

    University of Illinois at Chicago

    Address
    University of Illinois at Chicago, EECS Department
    WWW
    http://www.eecs.uic.edu/~shatz/cssl.html
    Net Models
    -
    Research Topics in Petri Nets
    Reachability analysis; modeling and analysis of concurrent software, including Ada tasking and logic programs; object-oriented nets; real-time analysis.
    Tools
    Research tools for Ada tasking analysis and for real-time models.
    Papers
    -
    Other Resources
    -
    Contacts
    Tadao Murata (murata(at)eecs.uic.edu),
    Sol Shatz (shatz(at)eecs.uic.edu),
    Ugo Buy (buy(at)eecs.uic.edu),
    Bob Sloan (sloan(at)eecs.uic.edu)

    University of Illinois at Urbana-Champaign

    Address
    University of Illinois at Urbana-Champaign, Coordinated Science Laboratory, Center for Reliable and High-Performance Computing
    WWW
    http://www.crhc.uiuc.edu/PERFORM
    Net Models
    Stochastic Activity Networks, Stochastic Petri Nets, others
    Research Topics in Petri Nets
    Efficient techniques for extremely large systems, stochastic process solution techniques, relationships between net structure and behavior, applications to computer systems and networks.
    Tools
    UltraSAN (a tool with an X-Windows-based graphical user interface for model-based evaluation of systems represented as stochastic activity networks)
    Papers
    http://www.crhc.uiuc.edu/PERFORM/papers.html
    Other Resources
    ftp://ftp.crhc.uiuc.edu/pub/UltraSAN/USAN_papers
    Contacts
    William H. Sanders (whs(at)crhc.uiuc.edu)

    Venezuela

    University of Táchira

    Address
    Universidad del Táchira, Departamento de Ingenieria Electronica/Decanato de Investigación San Cristobal
    WWW
    http://www.unet.edu.ve
    Net Models
    Extended Ordinary Petri Nets, Coloured Petri Nets, Timed Petri Nets
    Research Topics in Petri Nets
    Modeling, Automatization, Supervisory Control, Flexible Manufacturing System.
    Tools
    CPN Tools, HPSim
    Papers
    -
    Other Resources
    -
    Contacts
    Itza Medina (meditza(at)cantv.net) and
    Cesar Contreras (ccontre(at)unet.edu.ve or cesarc(at)ula.ve)

    Serbia and Montenegro (formerly Yugoslavia)

    University of Belgrade

    Address
    University of Belgrade, Laboratory of Operations Research
    WWW
    http://www.laboi.fon.bg.ac.yu/?content=RadneGrupe%2FPetri%2FEng
    Net Models
    Coloured Petri Nets, Fuzzy Petri Nets
    Research Topics in Petri Nets
    Business Process Reengineering, Production Processes, Reliability and Maintenance
    Tools
    Using Design/CPN, using ExSpect
    Papers
    (see link above)
    Other Resources
    -
    Contacts
    Ph. D. Mirko Vujosevic (mirkov(at)fon.bg.ac.yu)
    [PN Home][Last updated]
    The maintainers of this page