Keyword: modelling

• Orth, Philipp; Bollig, Alexander; Abel, Dirk:
  Rapid Prototyping of Sequential Controllers With Petri Nets. 2005.

• Tolba, Chérif; Lefebvre, Dimitri; Thomas, Philippe; ElMoudni, Abdellah:
  Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling. 2005.

• Lehmann, Kolja; Moldt, Daniel:
  Modelling and Analysis of Agent Protocols with Petri Nets. 2004.

• Dotoli, Mariagrazia; Fanti, Maria Pia:
  An urban traffic network model via coloured timed Petri nets. 2004.

• Everdij, M.H.C.; Blom, H.A.P.:
  Petri nets and hybrid state Markov processes in a power hierarchy of dependability models. 2003.

• van Hee, Kees; Sidorova, Natalia; Voorhoeve, Marc:
  Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. 2003.

• Yu, H.; Reyesb, A.; Cangc, S.; Lloyd, S.:
  Combined Petri net modelling and AI based heuristic hybrid search for flexible manufacturing systems - part 1. Petri net modelling and heuristic search. 2003.

• Kuo, C.-H.:
  Modelling and Performance Evaluation of an Overhead Hoist Transport System in a 300 mm Fabrication Plant. 2002.

• Xiang, H.; Chen, J.H.; Zhou, Y.F.; Zhou, J.:
  A Multi-sensor Inspection System Based on RMOS. 2002.

• Gu, Tianlong; Bahri, Parisa A.:
  A survey of Petri net applications in batch processes. 2002.

• Salimifard, Khodakaram; Wright, Mike:
  Petri Net-based Modelling of Workflow Systems: An Overview. 2001.

• Salimifard, Khodakaram; Wright, Mike:
  Petri Net-based Modelling of Workflow Systems: An Overview. 2001.

• Moorea, Kendra E.; Güngörb, Akner; Gupta, Surendra M.:
  Petri net approach to disassembly process planning for products with complex AND/OR precedence relationships. 2001.

• Salimifard, Khodakaram; Wright, Mike:
  Petri net-based modelling of workflow systems: An overview. 2001.

• Köhler, Michael; Moldt, Daniel; Rölke, Heiko:
  Modelling a sociological case study. 2001.

• Köhler, Michael; Moldt, Daniel; Rölke, Heiko:
  Modelling the Structure and Behaviour of Petri Net Agents. 2001.

• Prothero, Dave:
  Modelling and Implementation of Petri Nets Using VHDL. 2000.

• Fota, N.; Kaaniche, M.; Kanoun, K.:
  Incremental approach for building stochastic Petri nets for dependability modeling. 1999.

• Feldmann, Klaus; Colombo, Armando Walter:
  Material Flow and Control Sequence Specification of Flexible Production Systems using Coloured Petri Nets. 1998.

• Jensen, K.:
  An Introduction to the Practical Use of Coloured Petri Nets. 1998.

• Tokmakoff, A.; Billington, J.:
  Reachability Analysis of the ODP Trader using Equivalence Classes. 1998.

• Zimmermann, Armin; Freiheit, Jörn:
  TimeNETMS - An Integrated Modeling and Performance Evaluation Tool for Manufacturing Systems. 1998.

• Zimmermann, Armin; Kühnel, Andreas; Hommel, Günter:
  A Modelling and Analysis Method for Manufacturing Systems Based on Petri Nets. 1998.

• Billington, J.; Tokmakoff, A.:
  Petri Nets and Traders: Enabling Technolgies for Virtual Enterprises. 1997.

• Tokmakoff, A.; Billington, J.:
  Service Trading in Mobile Environments. 1997.

• Voss, Klaus:
  Net Modelling of Distributed Database Systems. 1997.

• Fota, Nicolae; Kaaniche, Mohamed; Kanoun, Karama:
  A modular and incremental approach for building complex stochastic Petri net models. 1997.

• Vibert, D.; Valentin-Roubinet, C.; Niel, E.:
  A modelling method to take into account fluctuations of continuous variables in a class of hybrid system. 1997.

• Gu, Tianlong; Gao, Jianchang; Zhou, Chunhui:
  Modeling and Coordinate Control for Discrete Events in Batch Processes Via Petri Nets. 1996.

• Halgamuge, S.K.:
  Neuro-Fuzzy Systems for the Neural Network Perspective. 1996.

• Yakovlev, A.; Koelmans, A.M.; Semenov, A.; Kinniment, D.J.:
  Modelling, Analysis and Synthesis of Asynchronous Control Circuits Using Petri Nets. 1996.

• Yakovlev, A.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Pietkiewicz-Koutny, M.:
  On the Models for Asynchronous Circuit Behaviour with OR Causality. 1996.

• Yakovlev, A.; Lavagno, L.; Sangiovanni-Vincentelli, A.:
  A unified signal transition graph model for asynchronous control circuit synthesis. 1996.

• Tokmakoff, A.; Billington, J.:
  Using Coloured Petri Nets to aid the Design of Object-based Systems. 1996.

• Farrington, M.; Billington, J.:
  A CP-net Approach to Control Logic Engineering. 1996.

• Banaszak, Zbigniew; Abdul-Hussin, Mowafak H.:
  Modelling and Simulation of Flexible Assembly Systems: A Petri Net Approach. 1995.

• Yakovlev, A.; Koelmans, A.; Lavagno, L.:
  High level modelling and design of asynchronous interface logic. 1995.

• Gu, Tianlong; Gao, Jianchang; Zhou, Chunhui:
  Petri Nets Based Simulaton for Combinational Digital Circuits. 1994.

• Chao, Daniel Y.; Wang, David T.:
  An interactive tool for design, simulation, verification, and synthesis of protocols. 1994.

• Goch, G.:
  Modellierung, Simulation und Steuerung von Mehrprozessor-MeÑgeräten und verteilten Systemen in der Qualitätssicherung. 1991.

• Reze, P.; Rioux, P.; Beaufils, F.:
  ELSIR, un formalisme réseau de Petri adapte a la modelisation de systemes. 1991.

• Quäck, L.:
  Aspekte der Modellierung und Realisierung der Steuerung technologischer Prozesse mit Petri-Netzen. Teil 1. 1991.

• Hatono, Itsuo; Yamagata, Keiichi; Tamura, Hiroyuki:
  Modeling and On-Line Scheduling of Flexible Manufacturing Systems Using Stochastic Petri Nets. 1991.

• Sugasawa, Y.; Jin, Qun; Zhang, Jian-Ting; Seya, K.:
  Modelling and Analysis of a Semaphore System by an Extended Stochastic Petri Net. 1991.

• Dahmen, J.-H.:
  A Concept for the Integration of Modelling and Debugging. 1990.

• Dittrich, G.:
  Tools for Modelling with Petri-Net Like Nets. 1990.

• Juanole, G.; Ayoub dit Ayadi, M.:
  ISO CCR Formal Modelling and Verification via Projections. 1990.

• Krauth, J.:
  Modelling and Simulation of a Flexible Assembly System Using Petri Nets. 1990.

• Lloret, J.:
  Modeling and Verification of Distributed Systems with Labeled Predicate Transition Nets. 1990.

• Oberweis, A.:
  Modellierung und Validierung von Exception-Handling-Mechanismen für Realzeitsysteme. 1990.

• Ramirez-Trevino, A.; Lopez-Mellado, E.:
  Qualitative Modeling of Assembly Tasks in Robot Cells Using Coloured Petri Nets. 1990.

• Szczerbicka, H.:
  Modellbildung von Rechnersystemen. 1990.

• Tsalgatidou, Aphrodite:
  Modelling and Animating Information Systems Dynamics. 1990.

• Yang, Yuch Chen; Yang, T. C.:
  Modeling and Performance Evaluation of RISC/B Processor. 1990.

• Wippich, K.:
  Modellierung und Analyse benutzergeführter Geräte mit Hilfe von strukturinterpretierenden Petri-Netzen. 1990.

• Richter, G.; Heuser, C.A.:
  Nets of Places and Links: a Coherent Presentation of Petri Nets for System Modeling. 1990.

• Hsieh, J.; Ucci, D.R.:
  Superposition Technique for the Generalised Stochastic Petri Net Modelling of Degradable Systems. 1990.

• Willson, Reg G.; Krogh, Bruce H.:
  Petri Net Tools for the Specification and Analysis of Discrete Controllers. 1990.

• Itmi, Mhamed:
  Modelisation et simulation par objets des reseaux de Petri: implementation par objets sur machine LISP. 1989.

• Lopez-Benitez, N.:
  Detailed Modeling and Reliability Estimation of Fault-Tolerant Processor Arrays. 1989.

• Rosenblum, L.Ya.; Yakovlev, A.V.; Yakovlev, V.B.:
  A look at concurrency semantics through `lattice glasses'. 1989.

• Shatz, S.M.; Suzuki, T.; Murata, Tadao:
  Automated Protocol Modeling and Verification Combining an Entity-Based Specification Language and Petri Nets. 1989.

• Shieh, Y.B.; Ghosal, D.; Tripathi, S.K.:
  Modeling of Fault-Tolerant Techniques in Hierarchical Systems. 1989.

• Starke, Peter H.:
  Modellierung mit Petri-Netzen. 1989.

• Heuser, Carlos A.; Peres, Eduardo Meira:
  Rumo a um modelo conceitual completo: Redes de Petri e Diagramas E/R. 1989.

• Heuser, Carlos A.:
  Modelagem conceitual de sistemas. (Preliminary edition). 1989.

• Salimifard, Khodakaram; Wright, Mike:
  Petri Net-based Modelling of Workflow Systems: An Overview. (2001).

Back to the Petri Nets Bibliography