Keyword: design

• Ezzedine, H.; Kolski, C.:
  Modelling of cognitive activity during normal and abnormal situations using Object Petri Nets, application to a supervision system. 2005.

• Narayanan, Srini; McIlraith, Sheila:
  Analysis and simulation of Web services. 2003.

• Scheschonk, Gert:
  Software-Entwicklung und Simulation - Eine integrierte Methodenkette. 1992.

• Alvarez, C.; Balcazar, J.L.; Gabarro, J.:
  Parallel Complexity in the Design and Analysis of Concurrent Systems. 1991.

• Varhol, Peter D.:
  ML and Colored Petri Nets for Modeling and Simulation: a Little Language for a Big Job. (ML: Meta Language functional programming language). 1991.

• Ochsenschläger, Peter:
  Die Produktnetzmaschine. 1991.

• Fehling, Rainer:
  A Concept of Hierarchical Petri Nets with Building Blocks. 1991.

• Ochsenschläger, Peter:
  Die Produktnetzmaschine: Eine Übersicht. 1991.

• Bastide, R.; Palanque, P.:
  Petri Net Objects for the Design, Validation and Prototyping of User-Driven Interfaces. 1990.

• Best, Eike:
  Design Methods Based on Nets: Esprit Basic Research Action DEMON. 1990.

• de Sa, P.; Paiva, S.:
  Design and Verification of Concurrent Switching Sequences with Petri Nets. 1990.

• Schwarz, P.:
  KOSIM - a Multi-Level Simulator for the Design of Integrated Circuits. 1990.

• Jensen, Kurt:
  Coloured Petri Nets: A High Level Language for System Design and Analysis. 1990.

• Pinto de Sa, J.L.; Sucena Paiva, J.P.:
  Design and Verification of Concurrent Switching Sequences with Petri Nets. 1990.

• Sagoo, J.S.:
  The Specification and Design of Hard Real-Time Systems Using Timed and Temporal Petri Nets. 1990.

• Biaz, Saad:
  Reseaux de Petri appliques a la conception de systemes numeriques rapides. 1989.

• Möhrle, M.:
  Petrinetze in der Produktionstechnik --- Integration von Planung, Simulation und Steuerung von Produktionsanlagen. 1989.

• Shand, L.J.; George, B.L.; Davis, N.J.; Linderman, R.W.:
  Simulation Studies for the Design of a Space Surveillance Signal Processor. 1988.

• Mamikonov, A. G.; Demetrovics, Janos; Kulba, V. V.; Knuth, Elod; Sokolova, E. B.; Urbanski, F.:
  The Use of Petri Nets in the Design of Data Processing Systems. 1988.

• Graphical Petri Net Tool for the Design and Prototyping of Distributed Systems, SPECS-Project, ETH, Zürich (Switzerland). 1987.

• Jensen, Kurt:
  Design --- ``Petri Net Editor'' for Macintosh: A Test Report. 1986.

Back to the Petri Nets Bibliography