Petri nets and other models of concurrency - ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 ; proceedings
Gespeichert in:
Format: | Elektronisch Tagungsbericht E-Book |
---|---|
Sprache: | English |
Veröffentlicht: |
Berlin [u.a.]
Springer
2007
|
Schriftenreihe: | Lecture Notes in Computer Science
4546 |
Schlagworte: | |
Online-Zugang: | DE-634 DE-M347 DE-91 DE-384 DE-473 DE-19 DE-706 DE-739 DE-355 Volltext |
Beschreibung: | 1 Online-Ressource (XI, 514 S.) graph. Darst. |
ISBN: | 3540730931 9783540730934 |
DOI: | 10.1007/978-3-540-73094-1 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV023188924 | ||
003 | DE-604 | ||
005 | 20080307 | ||
007 | cr|uuu---uuuuu | ||
008 | 080228s2007 gw d||| o|||| 10||| eng d | ||
015 | |a 07,N27,0072 |2 dnb | ||
020 | |a 3540730931 |c : EUR 68.48 (freier Pr.), sfr 105.00 (freier Pr.) |9 3-540-73093-1 | ||
020 | |a 9783540730934 |c : EUR 68.48 (freier Pr.), sfr 105.00 (freier Pr.) |9 978-3-540-73093-4 | ||
024 | 7 | |a 10.1007/978-3-540-73094-1 |2 doi | |
024 | 3 | |a 9783540730934 | |
028 | 5 | 2 | |a 12077830 |
035 | |a (OCoLC)255604730 | ||
035 | |a (DE-599)BVBBV023188924 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
044 | |a gw |c XA-DE-BE | ||
049 | |a DE-473 |a DE-739 |a DE-706 |a DE-19 |a DE-91 |a DE-384 |a DE-M347 |a DE-634 |a DE-355 | ||
082 | 0 | |a 511.35 | |
084 | |a 004 |2 sdnb | ||
084 | |a DAT 717f |2 stub | ||
084 | |a DAT 000 |2 stub | ||
245 | 1 | 0 | |a Petri nets and other models of concurrency - ICATPN 2007 |b 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 ; proceedings |c Jetty Kleijn ... (eds.) |
264 | 1 | |a Berlin [u.a.] |b Springer |c 2007 | |
300 | |a 1 Online-Ressource (XI, 514 S.) |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 1 | |a Lecture Notes in Computer Science |v 4546 | |
650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2007 |z Siedlce |2 gnd-content | |
689 | 0 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
689 | 0 | 1 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
689 | 0 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Kleijn, Henriëtte C. |e Sonstige |4 oth | |
711 | 2 | |a ICATPN |n 28 |d 2007 |c Siedlce |j Sonstige |0 (DE-588)6065815-0 |4 oth | |
830 | 0 | |a Lecture Notes in Computer Science |v 4546 |w (DE-604)BV014880109 |9 4546 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-540-73094-1 |x Verlag |3 Volltext |
912 | |a ZDB-2-SCS | ||
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016375357 | |
966 | e | |u https://doi.org/10.1007/978-3-540-73094-1 |l DE-634 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-540-73094-1 |l DE-M347 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-540-73094-1 |l DE-91 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-540-73094-1 |l DE-384 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-540-73094-1 |l DE-473 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-540-73094-1 |l DE-19 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-540-73094-1 |l DE-706 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-540-73094-1 |l DE-739 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-540-73094-1 |l DE-355 |p ZDB-2-SCS |x Verlag |3 Volltext |
Datensatz im Suchindex
_version_ | 1820875034313359360 |
---|---|
adam_text | |
adam_txt | |
any_adam_object | |
any_adam_object_boolean | |
building | Verbundindex |
bvnumber | BV023188924 |
classification_rvk | SS 4800 |
classification_tum | DAT 717f DAT 000 |
collection | ZDB-2-SCS |
ctrlnum | (OCoLC)255604730 (DE-599)BVBBV023188924 |
dewey-full | 511.35 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 511 - General principles of mathematics |
dewey-raw | 511.35 |
dewey-search | 511.35 |
dewey-sort | 3511.35 |
dewey-tens | 510 - Mathematics |
discipline | Informatik Mathematik |
discipline_str_mv | Informatik Mathematik |
doi_str_mv | 10.1007/978-3-540-73094-1 |
format | Electronic Conference Proceeding eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV023188924</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080307</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">080228s2007 gw d||| o|||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N27,0072</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540730931</subfield><subfield code="c">: EUR 68.48 (freier Pr.), sfr 105.00 (freier Pr.)</subfield><subfield code="9">3-540-73093-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540730934</subfield><subfield code="c">: EUR 68.48 (freier Pr.), sfr 105.00 (freier Pr.)</subfield><subfield code="9">978-3-540-73093-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-540-73094-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540730934</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12077830</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255604730</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023188924</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.35</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 717f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Petri nets and other models of concurrency - ICATPN 2007</subfield><subfield code="b">28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 ; proceedings</subfield><subfield code="c">Jetty Kleijn ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 514 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">4546</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</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="y">2007</subfield><subfield code="z">Siedlce</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="1"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Kleijn, Henriëtte C.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICATPN</subfield><subfield code="n">28</subfield><subfield code="d">2007</subfield><subfield code="c">Siedlce</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6065815-0</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">4546</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">4546</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-540-73094-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016375357</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-73094-1</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-73094-1</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-73094-1</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-73094-1</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-73094-1</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-73094-1</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-73094-1</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-73094-1</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-73094-1</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2007 Siedlce gnd-content |
genre_facet | Konferenzschrift 2007 Siedlce |
id | DE-604.BV023188924 |
illustrated | Illustrated |
index_date | 2024-07-02T20:04:04Z |
indexdate | 2025-01-10T15:09:13Z |
institution | BVB |
institution_GND | (DE-588)6065815-0 |
isbn | 3540730931 9783540730934 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016375357 |
oclc_num | 255604730 |
open_access_boolean | |
owner | DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634 DE-355 DE-BY-UBR |
owner_facet | DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634 DE-355 DE-BY-UBR |
physical | 1 Online-Ressource (XI, 514 S.) graph. Darst. |
psigel | ZDB-2-SCS |
publishDate | 2007 |
publishDateSearch | 2007 |
publishDateSort | 2007 |
publisher | Springer |
record_format | marc |
series | Lecture Notes in Computer Science |
series2 | Lecture Notes in Computer Science |
spelling | Petri nets and other models of concurrency - ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 ; proceedings Jetty Kleijn ... (eds.) Berlin [u.a.] Springer 2007 1 Online-Ressource (XI, 514 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 4546 Formale Methode (DE-588)4333722-3 gnd rswk-swf Petri-Netz (DE-588)4045388-1 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2007 Siedlce gnd-content Petri-Netz (DE-588)4045388-1 s Nebenläufigkeit (DE-588)4115352-2 s Formale Methode (DE-588)4333722-3 s DE-604 Kleijn, Henriëtte C. Sonstige oth ICATPN 28 2007 Siedlce Sonstige (DE-588)6065815-0 oth Lecture Notes in Computer Science 4546 (DE-604)BV014880109 4546 https://doi.org/10.1007/978-3-540-73094-1 Verlag Volltext |
spellingShingle | Petri nets and other models of concurrency - ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 ; proceedings Lecture Notes in Computer Science Formale Methode (DE-588)4333722-3 gnd Petri-Netz (DE-588)4045388-1 gnd Nebenläufigkeit (DE-588)4115352-2 gnd |
subject_GND | (DE-588)4333722-3 (DE-588)4045388-1 (DE-588)4115352-2 (DE-588)1071861417 |
title | Petri nets and other models of concurrency - ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 ; proceedings |
title_auth | Petri nets and other models of concurrency - ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 ; proceedings |
title_exact_search | Petri nets and other models of concurrency - ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 ; proceedings |
title_exact_search_txtP | Petri nets and other models of concurrency - ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 ; proceedings |
title_full | Petri nets and other models of concurrency - ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 ; proceedings Jetty Kleijn ... (eds.) |
title_fullStr | Petri nets and other models of concurrency - ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 ; proceedings Jetty Kleijn ... (eds.) |
title_full_unstemmed | Petri nets and other models of concurrency - ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 ; proceedings Jetty Kleijn ... (eds.) |
title_short | Petri nets and other models of concurrency - ICATPN 2007 |
title_sort | petri nets and other models of concurrency icatpn 2007 28th international conference on applications and theory of petri nets and other models of concurrency icatpn 2007 siedlce poland june 25 29 2007 proceedings |
title_sub | 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 ; proceedings |
topic | Formale Methode (DE-588)4333722-3 gnd Petri-Netz (DE-588)4045388-1 gnd Nebenläufigkeit (DE-588)4115352-2 gnd |
topic_facet | Formale Methode Petri-Netz Nebenläufigkeit Konferenzschrift 2007 Siedlce |
url | https://doi.org/10.1007/978-3-540-73094-1 |
volume_link | (DE-604)BV014880109 |
work_keys_str_mv | AT kleijnhenriettec petrinetsandothermodelsofconcurrencyicatpn200728thinternationalconferenceonapplicationsandtheoryofpetrinetsandothermodelsofconcurrencyicatpn2007siedlcepolandjune25292007proceedings AT icatpnsiedlce petrinetsandothermodelsofconcurrencyicatpn200728thinternationalconferenceonapplicationsandtheoryofpetrinetsandothermodelsofconcurrencyicatpn2007siedlcepolandjune25292007proceedings |