Move-on-Workshop der DFG-Forschergruppe Petrinetz-Technologie: Berlin, 3. und 4. April 1997
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | Undetermined |
| Published: |
Berlin
1997
|
| Series: | Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin
[19]97,21 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 174 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV023835943 | ||
| 003 | DE-604 | ||
| 005 | 20090401000000.0 | ||
| 007 | t | ||
| 008 | 980421s1997 d||| |||| 10||| und d | ||
| 035 | |a (OCoLC)246257802 | ||
| 035 | |a (DE-599)BVBBV023835943 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | |a und | ||
| 049 | |a DE-634 |a DE-83 | ||
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 110 | 2 | |a Forschergruppe Konzeption, Theoretische Fundierung und Validierung einer Anwendungsbezogenen Petrinetz-Technologie |e Verfasser |0 (DE-588)2161976-1 |4 aut | |
| 245 | 1 | 0 | |a Move-on-Workshop der DFG-Forschergruppe Petrinetz-Technologie |b Berlin, 3. und 4. April 1997 |c H. Ehrig ... (Hrsg.) |
| 246 | 1 | 3 | |a Petrinetz-Technologie |
| 264 | 1 | |a Berlin |c 1997 | |
| 300 | |a 174 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin |v [19]97,21 | |
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Ehrig, Hartmut |d 1944-2016 |0 (DE-588)107905582 |4 edt | |
| 810 | 2 | |a Technische Universität Berlin |t Forschungsberichte des Fachbereichs Informatik |v [19]97,21 |w (DE-604)BV000001083 |9 1997,21 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017478073&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017478073 | ||
Record in the Search Index
| _version_ | 1804139037064167424 |
|---|---|
| adam_text | DFG-FORSCHERGRUPPE PETRINETZ-TECHNOLOGIE* MOVE-ON-WORKSHOP DER
DFG-FORSCHERGRUPPE PETRINETZ-TECHNOLOGIE BERLIN, 3. UND 4. APRIL 1997 H.
EHRIG, W. REISIG, H. WEBER (HRG.) TECHNISCHE INFORMATTONSBLBLIOTHEK
UNIVERSITAETSBIBLIOTHEK HANNOVER PROF. DR. HERBERT WEBER TECHNISCHE
UNIVERSITAET BERLIN FACHBEREICH INFORMATIK INSTITUT FUER KOMMUNIKATIONS-
UND SOFTWARETECHNIK COMPUTERGESTUETZTE INFORMATIONSSYSTEME EINSTEINUFER
17, D-10587 BERLIN ARBEITSGRUPPE: NETZBASIERTE SOFTWARE-ENTWICKLUNG
(NSE) * PROF. DR. HARTMUT EHRIG TECHNISCHE UNIVERSITAET BERLIN
FACHBEREICH INFORMATIK INSTITUT FUER KOMMUNIKATIONS- UND SOFTWARETECHNIK
THEORETISCHE INFORMATIK / FORMALE SPEZIFIKATION FRANKLINSTRASSE 28/29,
D-10587 BERLIN ARBEITSGRUPPE: UNIVERSELLE BESCHREIBUNGSVERFAHREN
NETZBASIERTER SYSTEME (UBS) * PROF. DR. WOLFGANG REISIG
HUMBOLDT-UNIVERSITAET ZU BERLIN INSTITUT FUER INFORMATIK THEORIE DER
PROGRAMMIERUNG UNTER DEN LINDEN 6, D-10099 BERLIN ARBEITSGRUPPE:
THEORIEBASIERTE PETRINETZ-ANWENDUNGEN (THEOPAN) UB/TIB HANNOVER 115706
313 89 DIE *DFG-FORSCHERGRUPPE PETRINETZ-TECHNOLOGIE IST EIN
GEMEINSAMES FORSCHUNGSPROJEKT ZWISCHEN H. WEBER (KOORDINATOR), H. EHRIG
(BEIDE VON DER TECHNISCHEN UNIVERSITAET BERLIN) UND W. REISIG (HUMBOLDT-
UNIVERSITAET ZU BERLIN), GEFOERDERT VON DER DEUTSCHEN
FORSCHUNGSGEMEINSCHAFT (DFG). 1 INHALTSVERZEICHNIS H. EHRIG, M.
GAJEWSKY, S. LEMBKE, J. PADBERG, V. GRUHN REVERSE PETRI NET TECHNOLOGY
TRANSFER: ON THE BOUNDARY OFTHEORY AND APPLICATIONS 7 H. EHRIG, A.
MERTEN, J. PADBERG HOW TO TRANSFER CONCEPTS OF ABSTRACT DATA TYPES TO
PETRI NETS? 29 H. EHRIG, J. PADBERG INTRODUCTION TO UNIVERSAL
PARAMETERIZED NET CLASSES 39 C. ERMEL, M. GAJEWSKY, T. VESPER, M. WEBER
VERIFIKATION STRUKTURIERTER NETZE 53 O. FRICKE DATA ENCAPSULATION AND
DATAABSTRACTION WITH PETRI NETS - A GRAPHICAL VISUALIZATION OFMODULES 77
O. FRICKE, A. BORUSAN, T. VESPER, E. KINDLER VERIFIKATION IM
VORGEHENSMODELL ANHAND EINES BEISPIELS 97 E. KINDLER DER PETRINETZ-KERN:
EIN TRAUM WIRD WAHR 121 S. LEMBKE DIE REFERENZANWENDUNG
WIS-LIEGENSCHAFTSVERWALTUNG: VERWENDETE FUNSOFT-KON- ZEPTE UND
ESSENTIALS DER MODELLIERUNG 125 S. PEUKER INVARIANT PROPERTY PRESERVING
EXTENSIONS OF ELEMENTARY PETRI NETS 143 W. REISIG VERTEILTE ALGORITHMEN:
NUTZEN SIE DER FORSCHERGRUPPE? 151 H. WEBER THE »PETRI NET BAUKASTEN
FOUNDATION CONCEPT 153 M. WEBER CASSY: EINIGE GRUENDE ZUR VERWENDUNG VON
PETRINETZEN 167 5
|
| any_adam_object | 1 |
| author2 | Ehrig, Hartmut 1944-2016 |
| author2_role | edt |
| author2_variant | h e he |
| author_GND | (DE-588)107905582 |
| author_corporate | Forschergruppe Konzeption, Theoretische Fundierung und Validierung einer Anwendungsbezogenen Petrinetz-Technologie |
| author_corporate_role | aut |
| author_facet | Ehrig, Hartmut 1944-2016 Forschergruppe Konzeption, Theoretische Fundierung und Validierung einer Anwendungsbezogenen Petrinetz-Technologie |
| author_sort | Forschergruppe Konzeption, Theoretische Fundierung und Validierung einer Anwendungsbezogenen Petrinetz-Technologie |
| building | Verbundindex |
| bvnumber | BV023835943 |
| classification_rvk | ST 132 |
| ctrlnum | (OCoLC)246257802 (DE-599)BVBBV023835943 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01658nam a2200361zcb4500</leader><controlfield tag="001">BV023835943</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090401000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980421s1997 d||| |||| 10||| und d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246257802</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023835943</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 132</subfield><subfield code="0">(DE-625)143589:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Forschergruppe Konzeption, Theoretische Fundierung und Validierung einer Anwendungsbezogenen Petrinetz-Technologie</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)2161976-1</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Move-on-Workshop der DFG-Forschergruppe Petrinetz-Technologie</subfield><subfield code="b">Berlin, 3. und 4. April 1997</subfield><subfield code="c">H. Ehrig ... (Hrsg.)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Petrinetz-Technologie</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">174 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin</subfield><subfield code="v">[19]97,21</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ehrig, Hartmut</subfield><subfield code="d">1944-2016</subfield><subfield code="0">(DE-588)107905582</subfield><subfield code="4">edt</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Technische Universität Berlin</subfield><subfield code="t">Forschungsberichte des Fachbereichs Informatik</subfield><subfield code="v">[19]97,21</subfield><subfield code="w">(DE-604)BV000001083</subfield><subfield code="9">1997,21</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017478073&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017478073</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV023835943 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:37:42Z |
| institution | BVB |
| institution_GND | (DE-588)2161976-1 |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017478073 |
| oclc_num | 246257802 |
| open_access_boolean | |
| owner | DE-634 DE-83 |
| owner_facet | DE-634 DE-83 |
| physical | 174 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| record_format | marc |
| series2 | Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin |
| spelling | Forschergruppe Konzeption, Theoretische Fundierung und Validierung einer Anwendungsbezogenen Petrinetz-Technologie Verfasser (DE-588)2161976-1 aut Move-on-Workshop der DFG-Forschergruppe Petrinetz-Technologie Berlin, 3. und 4. April 1997 H. Ehrig ... (Hrsg.) Petrinetz-Technologie Berlin 1997 174 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin [19]97,21 Petri-Netz (DE-588)4045388-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Petri-Netz (DE-588)4045388-1 s DE-604 Ehrig, Hartmut 1944-2016 (DE-588)107905582 edt Technische Universität Berlin Forschungsberichte des Fachbereichs Informatik [19]97,21 (DE-604)BV000001083 1997,21 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017478073&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Move-on-Workshop der DFG-Forschergruppe Petrinetz-Technologie Berlin, 3. und 4. April 1997 Petri-Netz (DE-588)4045388-1 gnd |
| subject_GND | (DE-588)4045388-1 (DE-588)1071861417 |
| title | Move-on-Workshop der DFG-Forschergruppe Petrinetz-Technologie Berlin, 3. und 4. April 1997 |
| title_alt | Petrinetz-Technologie |
| title_auth | Move-on-Workshop der DFG-Forschergruppe Petrinetz-Technologie Berlin, 3. und 4. April 1997 |
| title_exact_search | Move-on-Workshop der DFG-Forschergruppe Petrinetz-Technologie Berlin, 3. und 4. April 1997 |
| title_full | Move-on-Workshop der DFG-Forschergruppe Petrinetz-Technologie Berlin, 3. und 4. April 1997 H. Ehrig ... (Hrsg.) |
| title_fullStr | Move-on-Workshop der DFG-Forschergruppe Petrinetz-Technologie Berlin, 3. und 4. April 1997 H. Ehrig ... (Hrsg.) |
| title_full_unstemmed | Move-on-Workshop der DFG-Forschergruppe Petrinetz-Technologie Berlin, 3. und 4. April 1997 H. Ehrig ... (Hrsg.) |
| title_short | Move-on-Workshop der DFG-Forschergruppe Petrinetz-Technologie |
| title_sort | move on workshop der dfg forschergruppe petrinetz technologie berlin 3 und 4 april 1997 |
| title_sub | Berlin, 3. und 4. April 1997 |
| topic | Petri-Netz (DE-588)4045388-1 gnd |
| topic_facet | Petri-Netz Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017478073&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000001083 |
| work_keys_str_mv | AT forschergruppekonzeptiontheoretischefundierungundvalidierungeineranwendungsbezogenenpetrinetztechnologie moveonworkshopderdfgforschergruppepetrinetztechnologieberlin3und4april1997 AT ehrighartmut moveonworkshopderdfgforschergruppepetrinetztechnologieberlin3und4april1997 AT forschergruppekonzeptiontheoretischefundierungundvalidierungeineranwendungsbezogenenpetrinetztechnologie petrinetztechnologie AT ehrighartmut petrinetztechnologie |