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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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
- 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)
- 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
- 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
- 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
- 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
- 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)
- 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
- 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
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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
-
- V. Venkatasubramanian, J. Zhao, S. Viswanathan, "Intelligent systems for HAZOP
analysis of complex process plants", Computers & Chem. Eng., vol.24,
2291-2302, 2000.
- J.Zhao, S. Viswanathan, C. Zhao, Fangping Mu, V. Venkatasubramania,
"Computer-integrated tools for batch process development",
Computers & Chem. Eng., vol. 24, 1529-1533, 2000.
- Contacts
- Prof. Jinsong Zhao (jinsongzhao(at)tsinghua.edu.cn)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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:
- Distributed systems (CORBA)
- Interactive systems (safety critical interactive system
such as Air Traffic Control workstations)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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),
- 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)
- 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
- 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)
- 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)
- 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)
- 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)
- 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).
- 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 )
- 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)
- 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)
- 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)
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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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
- 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)
- 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)
- 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)
- 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
- 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)
- 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)
- 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)
- 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)
- 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)
- 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
- 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)
- 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)
- 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)
- 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
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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]](/TGI/PetriNets/img/button_home.gif)
The maintainers of this page