Keyword: predicate/transition net

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

• Itter, F.; Relewicz, C.:
  Computer Supported Design of Kanban Controlled Production: Integrated System Analysis and Simulation with High Order Petri Nets. 1991.

• Johansson, K.:
  Modelling Solutions for Agreement Problems with PrT-Nets. 1991.

• Belli, Fevzi; Grosspietsch, Karl E.:
  Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study. 1991.

• Morasca, S.; Pezzè, M.; Trubian, M.:
  Timed High-Level Nets. 1991.

• Billington, Jonathan:
  Many-Sorted High-Level Nets. 1990.

• Damavandi, Kamran. R.:
  Eine Methodenkette zur integrierten Software-Entwicklung: Von der Problemstellung zum Programmsystem mit Petrinetzen. 1990.

• Devillers, Raymond:
  The Semantics of Capacities in P/T Nets. 1990.

• Eggert, H.; Korczynski, W.:
  A Formal Protocol Specification with Predicate/Transition Nets. 1990.

• Emmerich, W.; Gruhn, V.:
  Software Process Modelling with FUNSOFT Nets. 1990.

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

• Genrich, Hartmann J.:
  Equivalence Transformation of PrT-Nets. 1990.

• Halkola, Tapio; Johansson, Kaj; Ojala, Leo:
  Net-Theoretical Methods in Modelling Byzantine Consensus Protocol in Agreement Problems. 1990.

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

• Perdu, D.M.; Levis, A.H.:
  Analysis and Evaluation of Decision Aids in Organizations. 1990.

• Pinna, Giovanni Michele:
  Petri Nets and Their Composition Problems. 1990.

• Schönthaler, F.:
  CASE-Tools für verteilte Systeme: Petri-Netze in der Praxis. 1990.

• Taubner, Dirk:
  Representing CCS Programs by Finite Predicate/Transition Nets. 1990.

• Valette, Robert; Bako, Babou:
  Software Implementation of Petri Nets and Compilation of Rule-Based Systems. 1990.

• Vogler, Walter:
  Representation of a Swapping Class by One Net. 1990.

• Schepers, Jörg:
  GRAPH: Eine auf Petri-Netzen basierende Entwicklungsumgebung für verteilte Systeme. 1990.

• He, Xudong; Lee, John A.N.:
  Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems. 1990.

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

• Genrich, Hartmann J.; Thiagarajan, Pazhamaneri S.; Voss, Klaus:
  First-Order Net Systems. 1990.

• Maggiolo-Schettini, Andrea; Winkowski, Józef:
  A Generalization of Predicate/Transition Nets. 1990.

• Bütler, B.; Esser, R.; Mattmann, R.:
  A Distributed Simulator for High Order Petri Nets. 1989.

• da Silva, Wagner Teixeira; Richter, Gernot:
  Formalizaçao da abordagem orientada a objetos em redes de Petri. 1989.

• Eggert, H.:
  A Formal Net Specification of the Communication in a Distributed Computer System. 1989.

• Eggert, H.:
  A Formal Net Specification of the Communication in a Distributed Fast Reactor Diagnostic System. 1989.

• Helms, A.; Hanisch, H.-M.; Stephan, K.:
  Steuerung von Chargenprozessen. 1989.

• Körner, H.; Franz, V.:
  Planung und Steuerung komplexer Bauprozesse. 1989.

• Nutt, Gary J.:
  A Flexible, Distributed Simulation System. 1989.

• Oberweis, A.:
  Integritätsbewahrendes Prototyping von verteilten Systemen. 1989.

• Rauhamaa, M.; Wasastjerna, J.:
  Modelling a Control and Information Transfer Protocol of a Lift System with PrT-Nets. 1989.

• Rieu, Christine:
  Outil d'aide a la specification et a l'implementation de protocoles de transfert. 1989.

• Jian, Ping Chang; Shiizuka, H.; Nagashima, H.:
  Modelling and Analysis of Ring Network Protocols Using Predicate/Transition Nets. 1989.

• Johansson, Kaj:
  Modelling Solutions for the Agreement Problems with PrT-Nets. 1989.

• Popa, Marin:
  Petri Nets and Languages. 1988.

• Halkola, T.; Johansson, K.; Ojala, L.:
  Net-Theoretical Methods in Modelling by Byzantine Consensus Protocols in Agreement Problems. 1988.

• Rauhamaa, M.:
  Design and Implementation of a Reduction Tool for PrT-Nets. 1988.

• Johansson, Kaj:
  Modelling Message Protocols for the Byzantine Generals Problem with PrT-Nets. 1988.

• Krohn, P.; Rauhamaa, M.:
  Reduction Transformations of PrT-Nets. 1988.

• Kettunen, E.; Lindqvist, M.:
  Towards Practicality of Predicate/Transition Petri Net Reachability Analysis of SDL. 1987.

• Stocks, J.:
  Mit Petri-Netzen Probleme lösen. 1987.

• Oberweis, A.; Schönthaler, F.; Seib, J.; Lausen, G.:
  Database Supported Analysis Tool for Predicate/Transition Nets. 1987.

• Halkola, Tapio; Johansson, Kaj; Ojala, Leo:
  Modelling Oral Message Solution Protocols for Agreement Problems in Fault-Tolerant Distributed Systems Using Predicate/Transition Nets. 1987.

• Hallmann, Matthias:
  Ein Vorschlag für eine Prototyping-umgebung, orientiert an den Anforderungen offener Systeme. 1986.

• Durchholz, R.:
  Another Note on Side-Conditions. 1985.

• Lautenbach, Kurt:
  On the Various High-Level Petri Nets and Their Invariants. 1984.

Back to the Petri Nets Bibliography