Transactions on petri nets and other models of concurrency X
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin, Heidelberg
Springer
2015
|
| Ausgabe: | 1st ed. |
| Schriftenreihe: | Lecture Notes in Computer Science
9410 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043209542 | ||
| 003 | DE-604 | ||
| 005 | 20240222 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 xx a||| o|||| 10||| eng d | ||
| 020 | |a 9783662486504 |c Online |9 978-3-662-48650-4 | ||
| 020 | |a 9783662486498 |c Print |9 978-3-662-48649-8 | ||
| 024 | 7 | |a 10.1007/978-3-662-48650-4 |2 doi | |
| 035 | |a (OCoLC)932042003 | ||
| 035 | |a (DE-599)BVBBV043209542 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 516f |2 stub | ||
| 084 | |a DAT 717f |2 stub | ||
| 245 | 1 | 0 | |a Transactions on petri nets and other models of concurrency X |c edited by Maciej Koutny, Jörg Desel, Serge Haddad |
| 250 | |a 1st ed. | ||
| 264 | 1 | |a Berlin, Heidelberg |b Springer |c 2015 | |
| 264 | 4 | |c © 2015 | |
| 300 | |a XV, 177 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science : Journal subline |v 9410 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Koutny, Maciej |4 edt | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9410 |w (DE-604)BV014880109 |9 9410 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-48650-4 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632703&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632703&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028632703 | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 2160032 |
|---|---|
| DE-BY-UBM_katkey | 5238522 |
| DE-BY-UBR_katkey | 6740249 |
| _version_ | 1823055817811689472 |
| adam_text | TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY X
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
VERIFICATION OF LOGS - REVEALING FAULTY PROCESSES OF A MEDICAL
LABORATORY
AN EVERLASTING SECURE NON-INTERACTIVE TIMESTAMPING SCHEME IN THE BOUNDED
STORAGE MODEL
TIMED AGGREGATE GRAPH: FINITE GRAPH PRESERVING EVENT- AND STATE-BASED
QUANTITATIVE PROPERTIES OF TIME PETRI NETS
SMT-BASED ABSTRACT PARAMETRIC TEMPORAL PLANNING
KLEENE THEOREMS FOR SYNCHRONOUS PRODUCTS WITH MATCHING
SYMBOLIC MODEL CHECKING OF SECURITY PROTOCOLS FOR AD HOC NETWORKS ON ANY
TOPOLOGIES
SYMBOLIC SEARCH OF INSIDER ATTACK SCENARIOS FROM A FORMAL INFORMATION
SYSTEM MODELING
MODELLING AND ANALYSIS MOBILE SYSTEMS USING Π-CALCULUS (EFCP)
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY X
/
: 2015
ABSTRACT / INHALTSTEXT
THESE TRANSACTIONS PUBLISH ARCHIVAL PAPERS IN THE BROAD AREA OF PETRI
NETS AND OTHER MODELS OF CONCURRENCY, RANGING FROM THEORETICAL WORK TO
TOOL SUPPORT AND INDUSTRIAL APPLICATIONS. TOPNOC ISSUES ARE PUBLISHED AS
LNCS VOLUMES, AND HENCE ARE WIDELY DISTRIBUTED AND INDEXED. THIS JOURNAL
HAS ITS OWN EDITORIAL BOARD WHICH SELECTS PAPERS BASED ON A RIGOROUS
TWO-STAGE REFEREEING PROCESS. TOPNOC CONTAINS: - REVISED VERSIONS OF A
SELECTION OF THE BEST PAPERS FROM WORKSHOPS AND TUTORIALS AT THE ANNUAL
PETRI NET CONFERENCES - SPECIAL SECTIONS/ISSUES WITHIN PARTICULAR
SUBAREAS (SIMILAR TO THOSE PUBLISHED IN THE ADVANCES IN PETRI NETS
SERIES) - OTHER PAPERS INVITED FOR PUBLICATION IN TOPNOC - PAPERS
SUBMITTED DIRECTLY TO TOPNOC BY THEIR AUTHORS THE 10TH VOLUME OF TOPNOC
CONTAINS REVISED AND EXTENDED VERSIONS OF A SELECTION OF THE BEST
WORKSHOP PAPERS PRESENTED AT THE 35TH INTERNATIONAL CONFERENCE ON
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2014,
AND THE 14TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO
SYSTEM DESIGN, ACSD 2014. IT ALSO CONTAINS ONE PAPER SUBMITTED DIRECTLY
TO TOPNOC. THE 8 PAPERS COVER A DIVERSE RANGE OF TOPICS INCLUDING MODEL
CHECKING AND SYSTEM VERIFICATION, REFINEMENT, AND SYNTHESIS;
FOUNDATIONAL WORK ON SPECIFIC CLASSES OF PETRI NETS; AND INNOVATIVE
APPLICATIONS OF PETRI NETS AND OTHER MODELS OF CONCURRENCY
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Koutny, Maciej |
| author2_role | edt |
| author2_variant | m k mk |
| author_facet | Koutny, Maciej |
| building | Verbundindex |
| bvnumber | BV043209542 |
| classification_tum | DAT 000 DAT 516f DAT 717f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)932042003 (DE-599)BVBBV043209542 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-662-48650-4 |
| edition | 1st ed. |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02495nam a2200589zcb4500</leader><controlfield tag="001">BV043209542</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240222 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 xx a||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662486504</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-48650-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662486498</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-662-48649-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-48650-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)932042003</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209542</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 717f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Transactions on petri nets and other models of concurrency X</subfield><subfield code="c">edited by Maciej Koutny, Jörg Desel, Serge Haddad</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 177 Seiten</subfield><subfield code="b">Illustrationen</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 : Journal subline</subfield><subfield code="v">9410</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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)4143413-4</subfield><subfield code="a">Aufsatzsammlung</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">Koutny, Maciej</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9410</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9410</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-48650-4</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028632703&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028632703&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028632703</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV043209542 |
| illustrated | Illustrated |
| indexdate | 2025-02-03T17:41:49Z |
| institution | BVB |
| isbn | 9783662486504 9783662486498 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028632703 |
| oclc_num | 932042003 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | XV, 177 Seiten Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science : Journal subline |
| spellingShingle | Transactions on petri nets and other models of concurrency X Lecture Notes in Computer Science Computer science Software engineering Computer logic Computer Science Software Engineering Logics and Meanings of Programs Informatik Petri-Netz (DE-588)4045388-1 gnd |
| subject_GND | (DE-588)4045388-1 (DE-588)4143413-4 |
| title | Transactions on petri nets and other models of concurrency X |
| title_auth | Transactions on petri nets and other models of concurrency X |
| title_exact_search | Transactions on petri nets and other models of concurrency X |
| title_full | Transactions on petri nets and other models of concurrency X edited by Maciej Koutny, Jörg Desel, Serge Haddad |
| title_fullStr | Transactions on petri nets and other models of concurrency X edited by Maciej Koutny, Jörg Desel, Serge Haddad |
| title_full_unstemmed | Transactions on petri nets and other models of concurrency X edited by Maciej Koutny, Jörg Desel, Serge Haddad |
| title_short | Transactions on petri nets and other models of concurrency X |
| title_sort | transactions on petri nets and other models of concurrency x |
| topic | Computer science Software engineering Computer logic Computer Science Software Engineering Logics and Meanings of Programs Informatik Petri-Netz (DE-588)4045388-1 gnd |
| topic_facet | Computer science Software engineering Computer logic Computer Science Software Engineering Logics and Meanings of Programs Informatik Petri-Netz Aufsatzsammlung |
| url | https://doi.org/10.1007/978-3-662-48650-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632703&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632703&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT koutnymaciej transactionsonpetrinetsandothermodelsofconcurrencyx |