Direkt zum Seiteninhalt springen
Standorte
Deutsches Museum - Museumsinsel
Flugwerft Schleißheim
Verkehrszentrum
Deutsches Museum Bonn
Deutsches Museum Nürnberg
Forum der Zukunft
De
German
De
English
En
Suche
Suche abschicken
Deutsches Museum Digital
Navigation auf- und zuklappen
Suche
Suche abschicken
Sammlung
Angebote
Forschung
Über uns
Hitlist
Nachlass Carl Adam Petri (1926-2010)
Line propagation lemma
Line propagation lemma
1. Biografische Unterlagen (26)
1.1. Unterlagen zur Person und zur Familie (9)
Promotionsurkunde der Universität Leipzig für Max Petri (1888-1972)
Zeugnisse der Thomasschule Leipzig für Carl Adam Petri
Thomasschule. Städtisches Gymnasium zu Leipzig
Abiturvortrag
Eidesstattliche Erklärung Petris über seine Militärzeit
Personaldokumente von Carl Adam Petri
Eigenhändige Lebensläufe
Lebenslauf
Karikatur zu Carl Adam Petri
1.2. Ehrungen (13)
Akademischer Preis für ausgezeichnete Leistungen Petris bei der Doktorarbeit
Promotionsurkunde der TH Darmstadt für Carl Adam Petri
Verleihung des Verdienstordens der Bundesrepublik Deutschland, 1. Klasse, an Carl Adam Petri
Verleihung des Titels "Professor" an Petri durch den Senat der Freien und Hansestadt Hamburg
Mitgliedsausweis der Academiae Europaeae für Petri
Konrad-Zuse-Medaille für Informatik für Carl Adam Petri, verliehen von der Gesellschaft für Informatik
Verleihung des Werner-von-Siemens-Rings an Carl Adam Petri 1996
Urkunde über die Mitgliedschaft Petris in der American Association for the Advancement of Science
Ehrenpromotion der Professoren Amable Linan, Stephen W. Tsai und Carl Adam Petri an der Universität Saragossa
Ehrendoktorwürde des Universität Saragossa für Carl Adam Petri
Verleihung des Orde van de Nederlandse Leeuw (Commandeur) durch Königin Beatrix von Niederlande an Petri
Dankesrede anlässlich der Preisverleihung ATLAS (Academy Award)
Carl Adam Petri-Medaille der Society for Design and Process Science
1.3. Sonstiges (4)
Longman. Who's who in science. A world biographical guide to professional scientists and engineers
Erinnerungsblatt der Universität Saragossa an Carl Adam Petri
Plakat der Hamburger Studenten aus Anlass des Ende von Carl Adam Petris Seminar
Gedicht: Lehrer Schmidt
2. Eigene Arbeiten (285)
2.1. Veröffentlichungen (33)
Die Anwendung von Mittelwertmethoden zur numerischen Lösung von Eigenwertaufgaben bei Differentialgleichungen (Diplomarbeit)
Fundamentals of a theory of asynchronous information flow
Kommunikation mit Automaten (Dissertation)
Grundsätzliches zur Beschreibung diskreter Prozesse
Institut für Informationssystemforschung (I 5) der Gesellschaft für Mathematik und Datenverarbeitung (GMD)
Concepts of net theory
Interpretations of net theory
Nicht-sequentielle Prozesse
Kommunikationsdisziplinen
Interpretations of net theory
Non-sequential processes
Nichtsequentielle Prozesse
Einführung in die erste Sektion
Concurrency as a basis of systems thinking
Concurrency
Über einige Anwendungen der Netztheorie
Introduction to general net theory
Concurrency as a basis of systems thinking
Concurrency as a basis of systems thinking
Mathematische Ausdrucksformen für organisatorische Zusammenhänge
Institut für Informationssystemforschung (ISF)
State-transition structures in physics and in computation
Fundamentals of the representation of discrete processes
Some personal views of net theory
Concurrency theory
Concurrency and continuity
Nets, time and space
Nets, time and space
Mathematical aspects of net theory
Cultural aspects of net theory
General net theory
Mathematische Ausdrucksformen für organisatorische Zusammenhänge
Communication with automata
2.2. Typoskripte und Manuskripte (162)
Kommunikation mit Automaten. Manuskript 1
Grundsätzliches zur Beschreibung diskreter Prozesse
Notizen zum Entwurf eines Vortrags vor Staatssekretär Carstens: Die Mitwirkung der Gesellschaft für Mathematik und Datenverarbeitung bei der Entwicklung und Einführung von DV-Systemen für öffentliche Aufgaben
Complete orders of signals
Puschkin-Transform
Neue Konzepte und Anwendungen. Ein Diskussionsvorschlag
Grundbegriffe einer allgemeinen Systemtheorie
Materialsammluing zur Vorlesung: Allgemeine Netztheorie
Nachtrag zum Vortrag Genrich. Normung von Betriebssysteme und Zusammenfassung
Seminar Systemorganisation
Diskussionsbemerkungen zu einem Vortrag über exakte Bedingungen von Kurt Lautenbach
Systems & processes
Informationsfluss
Erklärungen 1 (zu NTOP 1)
Netztopologie II
Netztopologie 1
Notizen zum Sommer-Seminar "Systemorganisation"
A comparison of different concepts of "process" and "system"
Elementare Eigenschaften des Informationsflusses
Instanzennetze und Transitionsnetze
Concepts of net theory
Synchrony
MFCS 74
Introduction to general net theory
Informationsfluss und Organisation
Der interdisziplinäre Status der Netztheorie
Interpretations of net theory
Data Base Management 33-84
Data Base Management 33-84
Modelling as a communication discipline
Modelling as a communication discipline
Institut für Informationssystemforschung. Gegenwärtige Arbeitsschwerpunkte und zukünftige Arbeiten
Beitrag zum Thema "Kommunikationsdisziplinen" (Tonbandnachschrift eines ohne Manuskript gehaltenen Vortrags)
Einführung in die erste Sektion
Advanced course on general net theory of processes and systems
Advanced course on general net theory of processes and systems
Die Rolle der Netztheorie
Einige Anwendungen der Netztheorie
Technologieprojekt. Ansätze
Einführung in die allgemeine Netztheorie
DV-Physik
Net editor facilities
Conference on physics of computation, MIT Massachusetts Institute of Technology
State-transition structures in physics and in computation
Possible contributions of net theory to formal methods in law
Some personal views of net theory
Some personal views of net theory
Some assumptions to the currency relation
Zyklische Anordnungen
Dimensions
Umrisse einer "Informatik dritter Generation"
Umrisse einer "Informatik dritter Generation"
Concurrency theory
Advanced Course on Petri Nets 86, Closing Lecture
Closing Lecture
Notizen zum Stichwort "Leistungssprünge"
Notizen zum Stichwort "Leistungssprünge"
Beitrag für Bundesministerium für Forschung und Technologie
Seventh european workshop on application and theory of Petri Nets
Advanced Course on Petri Nets, Paper No. 1-4
Netztheorie als Ausgangspunkt eines Leitvorhabens der Gesellschaft für Mathematik und Datenverarbeitung
Tools of general net theory
Tools of general net theory
Tools of general net theory
Beiträge der Netztheorie zur Pragmatik
Verhaltensstrukturen: erste Fragen
Die Struktur von dep2 n
Der Relationenkalkül und Korrespondenzkalkül
Cybernets
Media, and formal pragmatics
Zugänge zu einer formalen Pragmatik
Cycloids
Perfect nets
Summary of axioms
Status report on net theory
On technical safety and security
On technical safety and security
On technical safety and security (continued)
Hochsicherheit und Lorentz-Invarianz
Cycloids
Zyklische Ordnungen
Zyklische Ordnungen
An outline of general net theory
Mathematica weiß es schon
Rechtfertigung der Unterteilung
The long march to Yuan-Zhou-Lu
Ankündigung einer Vorlesung zu: Allgemeine Netztheorie
Netztheorie und Physik. Thesen
Cultural aspects of net theory
Mathematical aspects of net theory
Mathematical aspects of net theory
Begriffliche und methodische Grundlagen der Netztheorie
CPN
Concurrency theory and combined axiomatics for concurrency, causality, possibility
The perception of other's emotions
Projekt-Entwurf. Lectures on mathematical pragmatics
Net operations
Net modelling - fit for science?
Net algebra
New dimensions for nets
O5-10 Aux Material 175
News on Net modelling
Missing Link
Abstract. Computing net universe. A continuation of the work of Konrad Zuse
Computing net universe. A continuation of the work of Konrad Zuse (1910-1995)
Vorwort
Kommentiertes Quellenverzeichnis zu Petri-Netzen
Erratum/Adendum. Nets, time and space
Complete orders of signals
Petri-Netze
Zur Verknüpfung von Physik und Informatik
Die Netztheorie der Systeme und Prozesse - ihre Grundlagen und Anwendung auf mehreren Gebieten
Axiom 10 and time quantization
The second quantization method
Some new progress in quantum field theory
Systematik der Netzmodellierung
Communication disciplines
Nets for beginners and experts
Systematics. General net theory of systems
Symbole zur Netzdarstellung
Process control by synchronic compression
Introduction to signal combinatories
On the completion of science
Hochsicherheit und Lorentz-Invarianz
Essay
Found of GNT
Outline of general net theory
Slowness effects
Kommunikation mit Automaten. Manuskript 2
Kommunikation mit Automaten. Manuskript 3
Communication disciplines
The pragmatic dimension of net theory
Beijing de Si Ji. Peking's four seasons
Net operations
Zur "Vermenschlichung" des Computers
Über einige Anwendungen der Netztheorie
Beiträge der Netztheorie zur Pragmatik
Aufzeichnungen zu zwei Arbeiten
Plan zum Ballonfahren
Gliederung
Eigenschaften von Transitionsnetzen
Physical constants
Petri Nets
Interpretations of net theory
Informations- und Kommunikations-Technologie
Quantum mechanics meaning of cycloids
Notizen zur Berechnung von Wellen und ihre Geschwindigkeit
Entering formal pragmatics
Concurrency and continuity
Concurrency theory
Nets. Resources and activities
Aufzeichnungen zum Thema Kosmologie und Zeit
Safe w-track
Chapter 2. Net topology
Einführung, Rohübersetzung, 1. Fassung
Concurrency and continuity
Verschiedene Aufzeichnungen von Petri-Netzen
Lorentz transformation
Fachliche Einbettung des Forschungsbereichs "Verteilte Systeme und Prozesse"
The physical background of the axiom coherence
The role of concurrency in EDP: "Convergence" of estimates of importance
Food for thought
2.3. Notizen und Berechnungen (69)
Verschiedene Aufzeichnungen und Berechnungen
Ergänzendes Material zur Netztheorie
Verschiedene Aufzeichnungen von Petri-Netzen
Seminarnotizen
Übersicht: Tätigkeiten und Ziele in I5
Verschiedene Aufzeichnungen und Berechnungen
Verschiedene Aufzeichnungen und Berechnungen
Normenentwurf - Korrekturvorschläge
Analyse und Interpretation der durch den plötzlichen Jahreswechsel entstandenen neuen Situation am 1.1.77
GI FA 5/7
China-Reise
Erforschung eines Taschenrechners
Dienstreisebericht über Reise nach Boston zur Conference on physics of computation
Vergleich Dedekind, Naas-Schmidt und Petri
Leitvorhaben 1986
Verschiedene Aufzeichnungen und Berechnungen
Verschiedene Aufzeichnungen und Berechnungen
li co al: Versuch einer Systematik
Verschiedene Aufzeichnungen und Berechnungen
Verschiedene Aufzeichnungen und Berechnungen
Dienstreisebericht über Fahrt nach Hamburg zu einer Vorlesung "Technische Hochsicherheit"
Foldings
Berechnung
Notizen mit Petri-Netzen
Beijing
Verschiedene Aufzeichnungen und Berechnungen
Computing net universe
Particle families
Synchrony of hysteries
Verzeichnis von Literatur zur Netz-Theorie
Verschiedene Aufzeichnungen und Berechnungen
The physical background of the axiom coherence
Verschiedene Aufzeichnungen und Berechnungen
Verschiedene Aufzeichnungen und Berechnungen
Vergrößerte Spielkarte mit Albert Einstein
Verschiedene Aufzeichnungen und Berechnungen
Petri-Netze
Verschiedene Aufzeichnungen und Berechnungen
Verschiedene Aufzeichnungen und Berechnungen
4 Gründe
Berechnung
Verschiedene Aufzeichnungen von Petri-Netzen
Verschiedene Aufzeichnungen und Berechnungen
Entwurf Frontispiz von Lehr-CD
Petri-Netze
Verschiedene Aufzeichnungen und Berechnungen
Verschiedene Aufzeichnungen von Petri-Netzen
$(n+1) := 2^$(n)
Net algebra
Notizen mit Petri-Netzen
Verschiedene Aufzeichnungen und Berechnungen
Verschiedene Aufzeichnungen von Petri-Netzen
Verschiedene Aufzeichnungen und Berechnungen
Aspects of this model: Telling a story more exactly than as it happened
Notizen mit Petri-Netzen
Systematics of net modelling
Verschiedene Aufzeichnungen von Petri-Netzen
2pi/n
Computing on frequencies
Potenzrechnungen
Verschiedene Berechnungen
Verschiedene Berechnungen bezeichnet mit "const"
Zykloide
Verschiedene Aufzeichnungen von Petri-Netzen
Kreise
Cooperating processes
Berechnungen
Basic net simul
Notizen mit Petri-Netzen
2.4. Folien zu Vorlesungen und Vorträgen (21)
Folie zu The role of the computer: "Convergence" of opinion on its potential
Folien zur Pragmatik
Folien zur Netz-Theorie
Folien zu verschiedenen Themen mit Petri-Netzen
Beratung für US-Gesetzgebung (Folien)
Folie zu Verteilernetze, stetige Überführung, Beispiele
Folien zur Kommunikation
Folie zu Concurrency as a basis for systems investigation
Folien zu: Umrisse eines Gedankenganges zu den Stichworten "Kulturtechnik" und "Leistungssprünge"
Folie Closing Lecture
Folien zu An imperfect story about perfect nets
Folien zu verschiedenen Themen
Folien zu verschiedenen Themen mit Petri-Netzen
Folien zur Netz-Theorie
Folien zu enlogischen Strukturen
Folien mit vergrößerten Spielkarten
Folien zu Raumzeit und Petri-Netze
Folien zu Concurrency and continuity
Folien zu verschiedenen Themen
Folien zu Computation
Folien zu: The pragmatic dimension of net theory
3. Korrespondenz (86)
Holt, Anatol W. an Petri, Carl Adam
Holt, Anatol W. an Petri, Christel
Holt, Tania an Petri, Carl Adam
Holt, Anatol W. an Petri, Carl Adam
Rau, Johannes an Petri, Carl Adam
Schneider, Hans-Jochen an Petri, Carl Adam
Pallaschke, Diethard an Petri, Carl Adam
Hirvensalo, Mika an Petri, Carl Adam
Briefwechsel zwischen John M. Myers und Carl Adam Petri
Briefwechsel zwischen Horst Müller und Carl Adam Petri betr. Rundbrief "Petri-Netze"
Lockemann, Peter C. an Petri, Carl Adam
Dickhoven, Siegfried an Petri, Carl Adam
Lockemann, Peter C. an Petri, Carl Adam
Händler, Wolfgang und Müller, Horst an Petri, Carl Adam
Lockemann, Peter C. an Petri, Carl Adam
Lockemann, Peter C. an Petri, Carl Adam
Reisig, Wolfgang an Petri, Carl Adam
Lockemann, Peter C. an Brauer, Wilfried
Toffoli, Tom an Petri, Carl Adam
Hinderer, Wolfgang an Hofstadter, Douglas R.
Petri, Carl Adam an Memmi, Gérard
Winkelhage, Friedrich und Szyperski, Norbert an Petri, Carl Adam
Briefwechsel zwischen D. Pötter und Carl Adam Petri betr. Gestaltung Dienstverhältnis
Korrespodenz zwischen Fritz Krückeberg und Ronald Tost betr. Highlights aus 1985
Statz, H. an Petri, Carl Adam
Ando, Kaoru an Petri, Carl Adam
Krückeberg, Fritz an Petri, Carl Adam
Fleßner, Hermann an Petri, Carl Adam
Gernert, Dieter und Hinderer, Wolfgang und Kornwachs, Klaus und Olivier, Reinhard an Petri, Carl Adam
Pawlak, Zdzislaw an Petri, Carl Adam
Kieß, M. an Petri, Carl Adam
Meincke, U. an Petri, Carl Adam
Hoare, Charles A.R. an Petri, Carl Adam
Burgen, Arnold an Petri, Carl Adam
Ghosh, Sukumar an Petri, Carl Adam
Gyuroff, Dilyan an Petri, Carl Adam
Burgen, Arnold an Petri, Carl Adam
Valk, Rüdiger an Petri, Carl Adam
Best, Eike an Petri, Carl Adam
Ruqian, Lu an Petri, Carl Adam
Briefwechsel zwischen Dennis Tsichritzis und Carl Adam Petri betr. Petri-Netz als Warenzeichen
Sinclair, Craig an Petri, Carl Adam
Roberts, Grace an Petri, Carl Adam
Fenske, Uwe an Petri, Carl Adam
Huck, V. an Petri, Carl Adam
Valk, Rüdiger an Petri, Carl Adam
Petri, Carl Adam an Zuse, Konrad
Glatthaar, Wolfgang an Petri, Carl Adam
Brunnstein, Klaus an Petri, Carl Adam
Krämer, Bernd an Petri, Carl Adam
Schnieder, Eckehard und Mirecescu, Alexander an Petri, Carl Adam
Ghisi, Fabio an Petri, Carl Adam
Antoni, Giacomo degli an Petri, Carl Adam
Beth, Thomas an Petri, Carl Adam
Antoni, Giacomo degli an Petri, Carl Adam
Krämer, Bernd an Petri, Carl Adam
Antoni, Giacomo degli an Petri, Carl Adam
Roisch, Wolfram an Petri, Carl Adam
Debelius, Jörg an Petri, Carl Adam
Petri, Carl Adam an Fensel, Dieter
Billington, Jonathan an Petri, Carl Adam
Schneeweiss, Winfried G. an Petri, Carl Adam
Hopmann, Cornelio an Goehring, Wolf
Briefwechsel zwischen Kees M. van Hee und Carl Adam Petri betr. ICATPN 2003
David, René an Petri, Carl Adam
Concurrency
Briefwechsel zwischen Cornelio Hopmann und Carl Adam Petri betr. Korrekturen zu "Concurrency"
Samuel, A. an Petri, Carl Adam
Pauli, Kurt an Petri, Carl Adam
Deutsche Fassung "Preface"
E-Mailwechsel zwischen Ulrich Trottenberg und Carl Adam Petri, betr. Abschlussbericht
E-Mailwechsel zwischen Rüdiger Valk und Carl Adam Petri betr. Xi'an Konferenz
E-Mailwechsel zwischen Wolfgang Reisig, Carl Adam Petri, Eugene M. Izhikevich und Rüdiger Valk betr. Scholarpedia
Coloured Petri Nets
Bullinger, Hans-Jörg an Petri, Carl Adam
Nichtteilnahme an 20. Konferenz der Academia Europea
Petri nets 2008, LNCS 5062-0012
E-Mailwechsel zwischen Ádriano Baratè, Carl Adam Petri und Lorena Sala, Betreff: Dissertation A. Baratè
Verwendung von Fotos 2006
ToOPNoC journal, Volume 1
CD "EDV-Zeitzeugen"
E-Mailwechsel zwischen Cornelio Hopmann und Carl Adam Petri
Computer Pioneer Award
IEEE Computer Pioneer Award
Weihnachtskarte
Hoare, Charles A.R. an Petri, Carl Adam
4. Veranstaltungen (16)
Informatiksymposium
Projekt Prozeßlenkung mit DV-Anlagen (PDV). Hier: Seminar über Petri-Netze
Seminar: "Petri-Netze und ihre Anwendung zur Definiton der Semantik von Prozeß-Programmiersprachen"
Advanced course on general net theory of processes and systems
Conference on physics of computation (MIT)
A note on the Fredkin gate
Advanced course on Petri Nets 1986
Announcement of Lecture
Academic report
Petri Nets 1992. 13th International Conference on Application and Theory of Petri Nets
Petri Nets 2000. 21st International Conference on Application and Theory of Petri Nets
Conference schedule
Call for papers. 27th international conference on application and theory of Petri Nets and other models of concurrency
ATPN 2005
Symposium. Ist das Universum ein Computer?
Der Phönix erhebt sich aus der Asche
5. Fremde Arbeiten (339)
5.1. Petri Net Newsletter (4)
Petri-Netz-Rundbrief
Petri Net Newsletter
Petri Net Newsletter
Petri Net Newsletter
5.2. Publikationen (191)
Zenon und die Grundlagenkrise der griechischen Mathematik
The direction of time
Preprint of the proceedings of the IFIP congress 62
Aufbau des SYSTEMS/360
Bibliography 9. Law, logic, and the computer: Bibliography with assorted background material
The scopeand methods of engineering bionics
On the axiomatic foundations of the theories of directed linear graphs, electrical networks and network-programming
Time loss through gating of asynchonous logic signal pulses
Modules unimodulaires
The space-time code
The space-time code
Information system theory project
Rechnender Raum
Parallel program schemata
Events and conditions
Record of the project MAC conference on concurrent sytems and parallel computation
Continous machines
Einfache nicht-sequentielle Prozesse
Synchronisationsgraphen
Interacting abstract machines
Processes and processors
Composed abstract machines
Equivalance of generalized machines
Synchronisationsgraphen
On causality of general dynamical systems
Annotated bibliography
PEARL-Vorschlag für eine Prozeß- und Experimentautomatisierungssprache
Processes in composed systems
Jahresbericht 1972 der GMD
Data aggregations in algorithms
Information retrieval for hierarchical set of descriptors
Knowledge and reasoning in program synthesis
Information storage and retrieval systemmathematical foundations
On d-machine representation of continous functions
Decision sequences and a horizon in dynamical model of inventories
GMD-Spiegel, Ausgabe G
Kompatibilitaet an Schnittstellen
Physikalische Grundgesetze in ihrem Einfluß auf die Übertragung und Verarbeitung von Informationen
Mathematical foundations of computer science: 3. symposium at Jadwisin near Warsaw, June 17 - 22, 1974
Quantum theory and the structures of time and space
Darstellung asynchroner Schaltwerke als Modulennetze
Vollständigkeit und Korrektheit des netztheoretischen Kalküls für die Aussagenlogik von Carl Adam Petri
Mitschrift der Rede zur Bedeutung von Datenverarbeitung und Fernmeldewesen
The Petri Net representation of mathematical knowledge
Net topology
Exakte Behandlung der Quantisierung in der Informationstheorie
A new topology for curved space-time which incoporates the causal, diffential, and conformal structures
The Petri Net representation of mathematical knowledge
Assignment systems - a model for asynchronous computation
A note on Petri's Net representation of the continuum
Computing system design
The Petri Net calculus of predicate logic
Actors and continuos functionals
Facts in place/transition-nets
Workshop über Petri-Netze
A bibliography of net theory
Die Struktur der Violations eines Systems
An overview of net theory
Logos/Mythos
Zur Begründung physikalischer Geo- und Chronometrien
A bibliography of net theory
On new roles for categorical algebra
The quantum theory and reality
bits 79, Nr. 1
Logic and time
A theorem on the characteristics of non-sequential processes
Metodika algoritmitscheskogo opisanija i modelirowanija parallelnich prozessow u prawlenija
A formal model of atomicity in asynchronous systems
Petri Net theory and the modeling of systems
Bicontinous extensions of invertible combinatorial functions
GaAs high-speed logic
Rough sets. Basic notions
Fundamental limits in digital information processing
Conservative logic
Schnitte in Halbordnungen
Simulating physics with computers
Quantum sets and Clifford algebras
A quest for unity
Music and causality
Cosmological choices
Some remarks about rough sets
Genrich: Well-formed flow charts for concurrent programming
GMD reduction machine
Algebraische Bestimmung von S-Invarianten in Prädikat/Transitions-Netzen
Computer interactivity simulates quantum complementarity
Some properties of non-sequential processes
Measurement interpretation in qualitative process theory
How to discover a knowledge representation for causal reasoning by studying an expert physician
The computational metaphor and quantum physics
Die Gitter-Eichtheorie: Warum Quarks eingesperrt sind
A fresh look at free choice nets
A lattice theoretic view of k-density
Emotionale Felder
Institute und Abteilungen. Forschungsbereich: Verteilte Systeme und Prozesse
Droge Computer
Biochips: Can molecules compute?
Natural orders
The China Association for Science and Technology
Concurrent systems and processes. Final report on the foundational part of the project BEGRUND
Grundsätzliche physikalische Grenzen beim Rechnen
Carl Adam Petri und die Informatik. Eine Würdigung zum 60. Geburtstag
Biochip revolution
Die Utopie des beherrschenden Mediums
Anforderungsbeschreibung und Systementwurf mit Petri-Netzen
Kausalität und Temporalität bei der Modellbildung
Petri
Petri Nets are monoids
Some behavioural aspects of net theory
Temporal logics for elementary net systems
Zur Bedeutung der Concurrency-Theorie für den Aufbau hochverteilter Systeme (Dissertation)
From ideas and arguments to hyperdocuments: Travelling through activity spaces
Posets with non-actions: A model for concurrent nondeterministic processes
Rough sets. Theoretical aspects of reasoning about data
Year Book 1989/90 der Academia Europaea
Fundamental irreversibility and the concept of events
Petrinetze: Grundfragen, Konzepte, Konsequenzen
Annual general meeting der Academia Europaea
Petri Nets and algebraic specification
Year book 1990
On net systems generated by process foldings
DeMON. Esprit basic research action 3148. List of publications covering the period of June 1989 to June 1991
The conjecture of Petri and its proof
Wissenschaftstheorie der Angewandten Informatik
3rd workshop on concurrency and compositionality
Infomation, Modell, Informationssystem. Grundbegriffe der Informatik
The reality of the artificial
A new topology on space-time
Year book 1991 der Academia Europaea
Petri Nets
P/R nets and process concepts (I)
On Space and time
P/R nets and process concepts (II)
Two-steps decuction learning
Comparability orders and measurement
Towards a topology for rough sets. Metrics in which rough sets converge
Rough sets-Basic concepts
Current versus sequential the rough sets perspective
Elemente eines computergestützten Werkzeugs zur Entwicklung von Eisenbahnsicherungsanlagen mit Petri-Netzen
ChronoNarratio-Graphen: Ein Modell chronologischer Beziehungen in Erzähltexten
REX. A decade of concurrency - reflections and perspectives
Synthesis of concurrent systems specified by information systems
Geschichte und Entwicklung der Concurrency-Theorie (Diplomarbeit)
Netzmodelle für Ereigniszähler
Eurosim-simulation news europe, Number 9
Die Hamburger Arbeitsgruppe Allgemeine Netztheorie stellt sich vor
Direkte und indirekte Wirkungen rechnerunterstützter Fertigungssysteme. Formalisierte Netzstrukturen zur Darstellung und Analyse der Unternehmung (Dissertation)
Projektstand 3/94
Der GMD-Spiegel 1/2-94
Elementare Berechenbarkeitstheorie für Informatiker
Petri Nets and quantum modelling (Dissertation)
Zyklische Ordnungen. Axiome und einfache Eigenschaften (Diplomarbeit)
On the border of causality: Contact and confusion
Theoretical computer science 153, Nr. 1-2
Axiomensysteme für die Theorie der Nebenläufigkeit (Diplomarbeit)
Schwerpunktthema Anwendung von Petri-Netzen und weitere aktuelle Themen
Petri-Netze für die Weltausstellung
Werner-von-Siemens-Ring für Computer-Visionär
Fundamenta informaticae 37, Nr. 3
Second workshop on practical use of coloured Petri Nets and design/CPN - Aarhus, Denmark, 13-15 October 1999
Presse-Echo über die Verleihung des "Werner-von-Siemens-Ringes" 2000
Fundamenta informaticae 47, Nr. 3-4
Organisation etablierter Machtzentren: Modellierung und Reanalysen zu Norbert Elias
Petri-Netz-Bilder-Buch (Eine elementare Einführung in die beste bildliche Darstellung zeitlicher Veränderungen)
Los Alamos Science Number 27
A generic causal model for place latency
Relating different semantic for objects Petri Nets. Formal proofs and examples
Fundamenta informaticae 51, Nr. 1-3
Sozionik - Modellierung soziologischer Theorie
Petri Net picture book. An elementary introduction to the best pictorial description of temporial changes
Dynamic transition refinement
Fraunhofer Institut SCAI: Jahresbericht 2005
The path topology and the causal completion
Flexible modeling of emergency scenarios using reconfigurable systems
Performance simulation and design of Petri Net systems
Hypernets - a flexible environment for flexible manufacturing systems
Fundamenta informaticae 85, Nr. 1-4
Fundamenta informaticae 88, Nr. 3
Fundamenta informaticae 95, Nr. 1
Fundamenta informaticae 97, Nr. 1-2
Fundamenta informaticae 101, Nr. 1-2
Fundamenta informaticae 102, Nr. 1
Fundamenta informaticae 98, Nr. 2-3
A survey on high-level Petri-Net theory
Coherence and possibility: The logic of the innermost universe
Die Wirkungsphysik: Ein neuer Ansatz zur Vereinheitlichung von Relativität und Quanten
A primer on high-level Petri-Net theory
Relation intime entre le principe de Bayes, le principe de Carnot et le principe de retardation des ondes quantifiées
Frequently asked questions zu Petri-Netzen
Folien Substitution systems
Detecting and correcting operation errors of distributed systems
Quantum mechanics. Basic concepts and methods
5.3. Aufzeichnungen Dritter (144)
Folien zu verschiedenen Themen mit Petri-Netzen
Personification of computers as a political issue
Netztheorie
Das "Chinese Menu Axiom"
Einführung in die Grundlagen einer anwendungsorientierten Informatik
Concepts for data base management systems
Communication mechanics. A new approach to system specification and analysis
Instanzen und Kanäle
Projekt: Prozesslenkung mit DV-Anlagen (PDV). Vorhaben: Beschreibung von PEARL
Verzeichnis von Literatur zu Petri-Netzen
The connection of parts to one other in system context
PDV-Vorhaben "Normfaehige Beschreibung von PEARL" (Zwischenbericht)
Towards a description of PEARL apt for standardization (Partial draft)
PDV-Vorhaben "Normfaehige Beschreibung von PEARL" (Zwischenbericht)
PDV-Vorhaben "Normfaehige Beschreibung von PEARL" (Zwischenbericht)
PDV-Vorhaben "Normfaehige Beschreibung von PEARL"
PDV-Vorhaben "Normfähige Beschreibung von PEARL"
Towards a description of PEARL apt for standardization (Partial draft)
Towards a description of PEARL apt for standardization (Growing Draft)
Modelling semantics for Petri Nets
Sameness
Diskussion des Prozeßbegriffs. Postskriptum zu dem von H.-H. Nagel vorgetragenen Teil der Vorlesung Betriebssysteme im SS 1975
Vollständige energetische Systeme
Semantics of a language for describing systems and processes (intermediate report)
The philosophical interpretation of quantum theory by means of a temporal logic
Toward a reconstruction of the mathematical principles of physics
Are the foundations of physics uncertain or definite but indeterminate
Normentwurf Basic PEARL
A reversible computer using conservative logic
Conservative logic
A reversible universal cellular automaton
Questions for the Tutzing conference
Petri Nets
Mitteilungsblatt der Fachgruppe "Formale Modelle für Informationssysteme", Nr. 1
Gründung der Fachgruppe Petrinetze und verwandte Systemmodelle
Elements of general net theory
Proposal for uniform definitions of some basic notions of net theory (Draft)
A bibliography of net theory
Abstract concepts
Reversible Computing
Computer als Kommunikationsmedium
A mathematical model of continuous discrete behavior
Menschen, Leistung, Produktivität - Die neue MIS-Agenda. Bericht über die Jahreskonferenz der Society for Mangement Information Systems
The work of ISF from 1976 to 1980. An Overview
Bericht über die International conference on fifth generation computer systems
Zukünftige Rolle der Informatik und der Mathematik in der GMD
The evolution of physics in the twentieth century
Perspektiven zur Forschung und Entwicklung in der GMD
Q-order axioms
The quantum pentacle
Schriften zur Physik
Process periods and system reconstruction
Clocks and their use for time modeling
K-density, n-density, and finiteness properties
Der Informationsbegriff in der Informatik
Coordination technology and Petri Nets
Ueber den Verifikations-Prozess
D-continuity and some axioms of concurency for nonsequential process models
Advanced Course on Petri Nets, Paper No. 16-27
Advanced Course on Petri Nets, Paper No. 28-32
Advanced Course on Petri Nets, Paper No. 5-15
Telefongespräch mit Hermann Fleßner betr. Lehrauftrag von Carl Adam Petri in Hamburg
The glass mountain
Conceptual approach: Information work theory
Limits to computation
Abstract Petri Net: Definition and applications
Ausführungen zu Petri-Netzen
M-formula
Report of the first plenary meeting held on monday, 26 june 1989 at 10.00 a.m. in the Churchill Auditorium at the Queen Elizabeth II conference Centre, London
Application of IDEF to banking. Building an IDEF model to manage bank-to-bank intraday debt
Mathematical ontology as a general theory of artificial intelligence: On causal model of encyclopedic reasoning system
Perfect nets
Report from the president
Extension of transiton and specification of n_lifts
Newsletter der Deutschen Gesellschaft für Systemforschung e.V.
Towards a general solution of system automation: A net specification of an n_lift system
Deutsche Gesellschaft für Systemforschung e.V. Protokoll der Vorstandssitzung
Temporal Logik und elementare Netz-Systeme
Logical inference of horn clause in Petri Net mode
Square systems
News der Academia Europaea
International conferences on application and theory of Petri Nets. Guidelines for the programme committees and the organizing committees
True concurrency - really?
Computing - current members
Coloured Petri Nets. Basic concepts, analysis methods and practical use
Protokoll der 4. ordentlichen Mitgliederversammlung der Deutschen Gesellschaft für Systemforschung (DGSF)
True concurrency - really?
Steering Committee Meeting
Modellbildung mit unscharfen Mengen
Computer als Medium in der Neugestaltung der Kommunikationsverhältnisse: Carl Adam Petri und die Entstehung der Medienperspektive
On the border of causality: Contact and confusion
Analysing systems using information flow graphs
Physically motivated axiomatic concurrency theory. A posetless approach (Diplomarbeit)
Position paper: Interval logic with concurrency
Inhalt, Gliederung und Anforderung an das ANT-Werk
Quantum information and quantum computing
A systems theory perspective of discrete event dynamic systems: The Petri Nets paradigm
Zyklische Ordnungen
The theory of organized activity - a new basis for the analyses of computer use (Version II of: Organized activity and its support by computer, Kluwer 1997)
Generalised sample spaces and concurrency theory
Think in cycles!
Q-order axioms
Probability propagation nets
Complex Petri Nets
Space-time code. IV
Communicating Petri Nets
Petri - Spaces
Temporal logic and a reconstruction of quantum theory
Petri's closing lecture. "Forgotten" topics of net theory
Line propagation lemma
Communication in computation
Petri Nets and quantum modelling
Welche Rolle spielt der Wahrscheinlichkeitsbegriff in der Quantenmechanik? Versuch einer Neuinterpretation der Quantenmechanik
Theory of 2-structures
Information systems: A survey by examples
Noncomputability in models of physical phenomena
The computing universe
Digital physics
Löchertorus
Role of relative stability in self-repair and self-maintenance
Quantenphysik
Net chronology
Station-transfer structures for describing partical interaction processes
Orthomodular lattices in occurence nets
Classical and quantum probability and set theory
Institute für information systems research
Algorithm cost
A new definition of morphism on Petri Nets
Informations-Systeme 1 (Maschinenorganisation). 4 stündige Grundvorlesung für das Hauptstudium Informatik
Net theory and application
A dictionary of some basic notions of net theory
Space-time code. V
Einführung in die 3. Sektion und Diskussion
Petri Nets for reliability modeling
Petri Nets and quantum measurement
Petri-Netze. Theorie und Praxis, Teil 1: Theorie und Analyse
Zu einer operativen Temporallogik
How to compute without dissipation
Healthy babies
Petri's axioms of concurrency
The gate
Temporal uncertainty and fuzzy-timing high-level Petri Nets
Station-transfer structures for describing partical interaction processes
Verschiedene Aufzeichnungen und Berechnungen
6. Sonstiges (5)
Modell des Eingangsportals der Medizinischen Fakultät der Universität Saragossa für Carl Adam Petri
Erinnerungsplakette der Florida International University für Carl Adam Petri
Weinkrug der Universität Saragossa für Carl Adam Petri bezeichnet mit "Patri Nets" [sic!]
Gemälde von Konrad Zuse
Abbildung einer Telefontastatur mit Ziffernfolge 7387404345 = Petri Heil
7. Fotografien (12)
Anatol W. Holt 1967 im Hause Petri (erklärt Tobias Petri ein mittelhochdeutsches Gedicht)
Aufnahmen von Carl Adam Petri
Verleihung des Verdienstordens der Bundesrepublik Deutschland an Petri
Ausdrucke von Aufnahmen Petris während seines China-Aufenthalts
Verschiedene Aufnahmen mit Petri
Aufnahmen von Carl Adam Petri
Passbilder von Petri
Aufnahmen von Konrad Zuse
Carl Adam Petri und Konrad Zuse als Gäste einer Tagung
Porträt Carl Adam Petri
International conference on Petri Nets. Konferenzteilnehmer
Aufnahme von Carl Adam Petri
https://digital.deutsches-museum.de/item/NL-237-717/
Link kopieren in die Zwischenablage
Daten
Kontakt
Api
Signatur
NL 237/717
Gegenstand
Typoskript Vortrag
Titel
Line propagation lemma
Bemerkung
Petri-Netz
Datierung
o.D.
Umfang
18 Bl. ms. mit hs. Anm.
Formalangaben
Sprachen: Englisch
Rechtehinweis
CC BY-SA 4.0
Wenn Sie Fragen, Anregungen oder Kommentare haben, benutzen Sie bitte das Formular, um mit uns in Kontakt zu treten. Oder senden Sie eine E-Mail an: digital@deutsches-museum.de.
Name
Email
*
Message
*
Senden
XML des Datensatzes herunterladen
