Keyword: high-level net

• Richter, G.; Maffeo, B.:
  Toward a rigorous Interpretation of ESML - Extended Systems Modeling Language. 1993.

• Bruno, G.; Raineri, F.; Raiteri, M.; Spiller, P.:
  Automation System Design with High-Level Petri Nets: The PROTOB Environment. 1991.

• Engelfriet, J.; Leih, G.; Rozenberg, G.:
  Net-Based Description of Parallel Object-Based Systems, or POTs and POPs. 1991.

• Lin, Chuang; Lu, Wei-Ming:
  Knowledge Representation by Petri Nets. 1991.

• Liu, N.K.; Dillon, T.:
  An Approach Towards the Verification of Expert Systems Using Numerical Petri Nets. 1991.

• Best, E.; Esparza, J.:
  Design Methods Based on Nets (DEMON): Edited Progress Report of the Esprit Basic Research Action 3148. 1991.

• Tao, Z.P.; Goosens, M.:
  Alternating-Bit Protocol Specification with High Level Petri Net --- A Modification. 1991.

• Battiston, Eugenio; Petrucci, Laure; Rapanotti, Lucia:
  Establishing a Relationship Between OBJSA Nets and Algebraic Net Schemes. 1991.

• Krämer, Bernd:
  Introducing the GRASPIN Specification Language SEGRAS. 1991.

• Ghezzi, C.; Mandrioli, D.; Morasca, S.; Pezzè, M.:
  A Unified High-Level Petri Net Formalism for Time-Critical Systems. 1991.

• Autolitano, A.; Artesi, L.; Ghiotto, M.; Venturini, F.:
  Applications of the Methodologies of Analysis and Simulation in the Datamat Group. 1990.

• Bako, B.:
  Implementation and Simulation of the Manufacturing Systems Control Coordination Level: A Mixed Approach of Petri Nets and Rule-Based Systems. 1990.

• Camurri, A.; Frixione, M.:
  A Hybrid System for the Hierarchical Control of FMS. 1990.

• Datta, Aloy K.:
  High-Level Petri-Net Model for a Resource-Sharing Problem. 1990.

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

• Findlow, Greg; Billington, Jonathan:
  High-Level Nets for Dynamic Dining Philosophers Systems. 1990.

• Gorton, I.:
  Specifying Occam Programs with High-Level Petri Nets. 1990.

• Jeffrey, J.; Murata, Tadao:
  A High-Level Petri Net for a Subset of FGHC. 1990.

• Korczynski, W.; Dupmeier, C.; Suess, W.:
  Eine Einführung in die Grundlagen der Theorie der Höheren Petri-Netze. 1990.

• Krämer, B.:
  SEGRAS. The Specification Language of the GRASPIN Environment. Language Reference Manual. 1990.

• Madhavji, Nazim H.; Gruhn, Volker; Deiters, Wolfgang; Schafer, Wilhelm:
  Prism Equals Methodology Plus Process-Oriented Environment. 1990.

• Morasca, S.; Pezzè, M.:
  Using High-Level Petri Nets for Testing Concurrent and Real-Time Systems. 1990.

• Murata, Tadao; Subrahmanian, V.S.; Wakayama, Toshiro:
  A High Level Petri Net Model for Reasoning in the Presence of Inconsistency. 1990.

• Sturm, L.; Sieben, B.:
  Simulator für Highlevel Petrinetze. 1990.

• Zompi, R.; Russi, V.:
  Rapid Prototyping through Graphical Operational Specification and Automated Code Generation. 1990.

• Deiters, W.; Gruhn, V.:
  Managing Software Processes in the Environment MELMAC. 1990.

• Battiston, E.; de Cindio, F.; Mauri, G.; Rapanotti, L.:
  Morphisms and Minimal Models for OBJSA Nets. 1990.

• Camurri, Antonio; Frixione, Marcello:
  Structured Representation of FMS Integrating SI-Nets and High Level Petri Nets. 1990.

• Baldassari, Marco; Bruno, Giorgio; Russi, Vicenzo; Zompi, Roberto:
  PROTOB, a Hierarchical Object-Oriented CASE Tool for Distributed Systems. 1989.

• Bruno, G.; Raineri, F.; Raiteri, M.; Spiller, P.:
  Operational Development of Discrete Event Dynamic Systems with PROTOB, an Object-Oriented CASE Tool. 1989.

• Daliang, D.:
  Rule Based Discrete System Simulation and Verification of Petri Nets. 1989.

• Franz, Volkhard:
  Planung und Steuerung komplexer Bauprozesse durch Simulation mit modifizierten höheren Petrinetzen. 1989.

• Ghodsi, M.:
  Performance Modeling of Parallel Computations in Resource-Constrained Systems. 1989.

• Hummert, Udo:
  Algebraische Theorie von High-Level-Netzen. 1989.

• Krämer, B.:
  Concepts, Syntax and Semantics of SEGRAS. A Specification Language for Distributed Systems. 1989.

• Menga, G.; Morisio, M.:
  Prototyping Discrete Part Manufacturing Systems. 1989.

• Morasca, Sandro; Pezzè, Mauro:
  Validation of Concurrent Ada Programs Using Symbolic Execution. 1989.

• Yuan, Chong Yi:
  Petri Nets. 1989.

• Fonio, Harald-Reto:
  A Modular Approach to a Petri Net Simulation Transformer for the GRASPIN Environment. 1989.

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

• Müller, Horst:
  Höhere Petri Netze --- ein Werkzeug für die Modellierung and Analyse verteilter Systeme und paralleler Datenverarbeitungsprozesse. 1988.

• Deiters, Wolfgang; Schaefer, Wilhelm; Gruhn, Volker:
  Systematic Development of Generic Formal Software Process Models. 1988.

• Jojczyk, Kazimierz; Konieczny, Janusz; Kuzak, Tadeusz:
  Generalized Nets. 1987.

• Müller, Horst:
  Undecidability of the Existence of Inverse Homomorphic Images for Occurrence Sequences in High Level Petri Nets. 1987.

• Krämer, B.:
  SEGRAS: the GRASPIN Specification Language - Preliminary Reference Manual. 1986.

• Best, Eike:
  In Quest of a Morphism. 1984.

• Krämer, B.:
  Formal and Semi-Graphic Specification of Non-Sequential Systems. 1984.

Back to the Petri Nets Bibliography