Decidability questions for Petri nets:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass.
1976
|
| Schriftenreihe: | Technical report / Massachusetts Institute of Technology, Laboratory for Computer Science
161 |
| Schlagworte: | |
| Beschreibung: | Mass. Inst. of Technology, Diss., 1975 |
| Beschreibung: | 194 S. |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV022133422 | ||
| 003 | DE-604 | ||
| 005 | 20060424000000.0 | ||
| 007 | t | ||
| 008 | 880310s1976 |||| 00||| eng d | ||
| 035 | |a (OCoLC)2399271 | ||
| 035 | |a (DE-599)BVBBV022133422 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 050 | 0 | |a QA76.M41 | |
| 100 | 1 | |a Hack, Michel |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Decidability questions for Petri nets |c Michel Henri Theodore Hack |
| 264 | 1 | |a Cambridge, Mass. |c 1976 | |
| 300 | |a 194 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technical report / Massachusetts Institute of Technology, Laboratory for Computer Science |v 161 | |
| 500 | |a Mass. Inst. of Technology, Diss., 1975 | ||
| 650 | 4 | |a Automates mathématiques, Théorie des | |
| 650 | 4 | |a Réseaux (Mathématiques) | |
| 650 | 4 | |a Systèmes, Théorie des | |
| 650 | 4 | |a Nets (Mathematics) | |
| 650 | 4 | |a Parallel processing (Electronic computers) | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 810 | 2 | |a Massachusetts Institute of Technology, Laboratory for Computer Science |t Technical report |v 161 |w (DE-604)BV008910569 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015348037 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804136105859088384 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Hack, Michel |
| author_facet | Hack, Michel |
| author_role | aut |
| author_sort | Hack, Michel |
| author_variant | m h mh |
| building | Verbundindex |
| bvnumber | BV022133422 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.M41 |
| callnumber-search | QA76.M41 |
| callnumber-sort | QA 276 M41 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)2399271 (DE-599)BVBBV022133422 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01544nam a2200421zcb4500</leader><controlfield tag="001">BV022133422</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060424000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">880310s1976 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)2399271</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022133422</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.M41</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hack, Michel</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Decidability questions for Petri nets</subfield><subfield code="c">Michel Henri Theodore Hack</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="c">1976</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">194 S.</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">Technical report / Massachusetts Institute of Technology, Laboratory for Computer Science</subfield><subfield code="v">161</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Mass. Inst. of Technology, Diss., 1975</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automates mathématiques, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Réseaux (Mathématiques)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systèmes, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nets (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</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="8">1\p</subfield><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</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="810" ind1="2" ind2=" "><subfield code="a">Massachusetts Institute of Technology, Laboratory for Computer Science</subfield><subfield code="t">Technical report</subfield><subfield code="v">161</subfield><subfield code="w">(DE-604)BV008910569</subfield><subfield code="9"></subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015348037</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV022133422 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:17:08Z |
| indexdate | 2024-07-09T20:51:07Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015348037 |
| oclc_num | 2399271 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 194 S. |
| publishDate | 1976 |
| publishDateSearch | 1976 |
| publishDateSort | 1976 |
| record_format | marc |
| series2 | Technical report / Massachusetts Institute of Technology, Laboratory for Computer Science |
| spelling | Hack, Michel Verfasser aut Decidability questions for Petri nets Michel Henri Theodore Hack Cambridge, Mass. 1976 194 S. txt rdacontent n rdamedia nc rdacarrier Technical report / Massachusetts Institute of Technology, Laboratory for Computer Science 161 Mass. Inst. of Technology, Diss., 1975 Automates mathématiques, Théorie des Réseaux (Mathématiques) Systèmes, Théorie des Nets (Mathematics) Parallel processing (Electronic computers) Programming languages (Electronic computers) Petri-Netz (DE-588)4045388-1 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Petri-Netz (DE-588)4045388-1 s DE-604 Massachusetts Institute of Technology, Laboratory for Computer Science Technical report 161 (DE-604)BV008910569 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Hack, Michel Decidability questions for Petri nets Automates mathématiques, Théorie des Réseaux (Mathématiques) Systèmes, Théorie des Nets (Mathematics) Parallel processing (Electronic computers) Programming languages (Electronic computers) Petri-Netz (DE-588)4045388-1 gnd |
| subject_GND | (DE-588)4045388-1 (DE-588)4113937-9 |
| title | Decidability questions for Petri nets |
| title_auth | Decidability questions for Petri nets |
| title_exact_search | Decidability questions for Petri nets |
| title_exact_search_txtP | Decidability questions for Petri nets |
| title_full | Decidability questions for Petri nets Michel Henri Theodore Hack |
| title_fullStr | Decidability questions for Petri nets Michel Henri Theodore Hack |
| title_full_unstemmed | Decidability questions for Petri nets Michel Henri Theodore Hack |
| title_short | Decidability questions for Petri nets |
| title_sort | decidability questions for petri nets |
| topic | Automates mathématiques, Théorie des Réseaux (Mathématiques) Systèmes, Théorie des Nets (Mathematics) Parallel processing (Electronic computers) Programming languages (Electronic computers) Petri-Netz (DE-588)4045388-1 gnd |
| topic_facet | Automates mathématiques, Théorie des Réseaux (Mathématiques) Systèmes, Théorie des Nets (Mathematics) Parallel processing (Electronic computers) Programming languages (Electronic computers) Petri-Netz Hochschulschrift |
| volume_link | (DE-604)BV008910569 |
| work_keys_str_mv | AT hackmichel decidabilityquestionsforpetrinets |