Keyword: modeling

• Cabac, Lawrence; Duvigneau, Michael; Moldt, Daniel; Rölke, Heiko:
  Applying Multi-agent Concepts to Dynamic Plug-In Architectures. 2006.

• Cabac, Lawrence; Knaak, Nicolas; Moldt, Daniel; Rölke, Heiko:
  Analysis of Multi-Agent Interactions with Process Mining Techniques. 2006.

• Krawczak, Maciej:
  A Novel Modeling Methodology: Generalized Nets. 2006.

• van Hee, Kees M.; Lomazova, Irina A.; Oanea, Olivia; Serebrenik, Alexander; Sidorova, Natalia; Voorhoeve, Marc:
  Nested Nets for Adaptive Systems. 2006.

• Cabac, Lawrence; Duvigneau, Michael; Moldt, Daniel; Rölke, Heiko:
  Multi-agent concepts as basis for dynamic plug-in software architectures. 2005.

• Yang, Ning; Lou, Zhenliang; Zhou, Xionghui:
  Petri net-based workflow modeling for a die and mould manufacturing resource planning system. 2005.

• Jalilvand, Abolfazl; Khanmohammadi, Sohrab; Nia, Fereiddon Shabani:
  Modeling and Simulation of Hybrid Systems Using a Special Class of Timed Petri Nets. 2005.

• Cabac, Lawrence; Duvigneau, Michael; Moldt, Daniel; Rölke, Heiko:
  Modeling Dynamic Architectures Using Nets-Within-Nets. 2005.

• Jalilvand, Abolfazl; Khanmohammadi, Sohrab; Nia, Fereiddon Shabani:
  Hybrid Modeling and Simulation of a Robotic Manufacturing System Using Timed Petri Nets. 2005.

• Jalilvand, Abolfazl; Khanmohammadi, Sohrab:
  Modeling of Flexible Manufacturing Systems by Timed Petri Net. 2004.

• Moldt, Daniel; Offermann, Sven; Ortmann, Jan:
  A Proposal for Petri Net Based Web Service Application Modeling. 2004.

• Yakovlev, Alex; Furber, Steve; Krenz, René; Bystrov, Alexandre:
  Design and Analysis of a Self-Timed Duplex Communication System. 2004.

• Dotoli, Mariagrazia; Fanti, Maria Pia:
  Coloured Timed Petri Net Model for Real Time Control of AGV Systems. 2004.

• Damrianant, Jirawat:
  COSMOS: A discrete-event modeling methodology for construction processes. 2003.

• Girault, Claude; Valk, Rüdiger:
  Petri Nets for Systems Engineering --- A Guide to Modeling, Verification, and Applications. 2003.

• Cortés, Luis Alejandro; Eles, Petru; Peng, Zebo:
  Modeling and formal verification of embedded systems based on a Petri net representation. 2003.

• Dotoli, Mariagrazia; Fanti, Maria Pia:
  Performance-Based Comparison of Control Policies for Automated Storage and Retrieval Systems Modelled by Coloured Petri Nets. 2003.

• Fan, Xiaobo; Ellis, Carla S.; Lebeck, Alvin R.:
  Modeling of DRAM Power Control Policies Using Deterministic and Stochastic Petri Nets. 2003.

• Xu, Dianxiang; Yin, Jianwen; Deng, Yi; Ding, Junhua:
  A Formal Architectural Model for Logical Agent Mobility. 2003.

• Bernardi, Simona; Donatelli, Susanna; Merseguer, José:
  From UML sequence diagrams and statecharts to analysable petri net models. 2002.

• Shen, Jun; Yang, Yun; Luo, Junzhou:
  A Petri Net Model for Session Services. 2002.

• Chérif, Amer-Yahia; Noureddine, Zerhouni:
  State quation and Stability for a Class of Continuous Petri Nets. Application to the Control of a Production Systems. 2001.

• Chen, Haoxun; Amodeo, Lionel; Chu, Feng:
  Modeling and Performance Evaluation of Supply Chain with Batch Deterministic and Stochastic Petri Nets. 2001.

• Köhler, Michael; Rölke, Heiko:
  Towards a Unified Approach for Modeling and Verification of Multi Agent Systems. 2001.

• Naedele, Martin:
  An approach to modeling and evaluation of functional and timing specifications of real-time systems. 2001.

• Gries, Matthias:
  Modeling a Memory Subsystem with Petri Nets: A Case Study. 2000.

• Xu, Dianxiang; Deng, Yi:
  Modeling Mobile Agent Systems with High Level Petri Nets. 2000.

• Valentin-Roubinet, C.:
  Hybrid Systems modelling: Mixed Petri Nets. 1999.

• Valentin-Roubinet, C.:
  Modelling of Hybrid Systems : DAE supervised by Petri Nets. The example of the gas storage. 1998.

• Wieting, Ralf:
  Modellbildung und Simulation mit hybriden höheren Netzen. 1998.

• Diagne, Alioune; Ilié, Jean-Michel; Moldt, Daniel:
  A Petri net-based support for object-oriented specification of complex control systems. 1997.

• Zimmermann, A.; Bode, S.; Hommel, G.:
  Performance and Dependability Evaluation of Manufacturing Systems Using Petri Nets. 1996.

• Zimmermann, Armin:
  Modeling of Manufacturing Systems and Production Routes Using Coloured Petri Nets. 1995.

• Zimmermann, Armin:
  A Modeling Method for Flexible Manufacturing Systems based on Colored Petri Nets. 1994.

• Engelmann, K.; Behrens, A.:
  Modellierung diskreter dynamischer Systeme mit Prädikat-Transitionsnetzen und deren Umsetzung mit PROLOG und TURBO-PASCAL. 1990.

• Wang, Shu Chien; Amin, Ashok T.:
  Modeling and Verification of AMPS Communication Protocol. 1990.

• Zhou, MengChu; DiCesare, Frank; Guo, Dianlong:
  Modeling and Performance Analysis of a Resource-Sharing Manufacturing System Using Stochastic Petri Nets. 1990.

• Camurri, A.; Troiano, E.:
  Petrex: a Software Tool for System Modeling and Simulation Based on Petri Nets. 1989.

• Alukaidey, K.A.S.; Alukaidey, T.:
  Systolic Array Model Generation SAMGEN. 1988.

• Cabac, Lawrence; Dirkner, Ragna; Rölke, Heiko:
  Moelling Service Dependencies for the Analysis and Design of Multi-Agent Applications. 06.

• Chen, A.; Buchs, D.; Lucio, L.; Pedro, L.; Risoldi, M.:
  Modeling Distributed Systems using Concurrent Object Oriented Petri Nets. 06.

Back to the Petri Nets Bibliography