Application and theory of Petri nets and concurrency: 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 ; proceedings
Gespeichert in:
Format: | Elektronisch Tagungsbericht E-Book |
---|---|
Sprache: | English |
Veröffentlicht: |
Cham [u.a.]
Springer
2014
|
Schriftenreihe: | Lecture notes in computer science
8489 |
Schlagworte: | |
Online-Zugang: | DE-634 DE-M347 DE-92 DE-859 DE-861 DE-91 DE-384 DE-473 DE-703 DE-20 DE-706 DE-29 DE-739 Volltext Inhaltsverzeichnis Abstract |
Beschreibung: | 1 Online-Ressource (XIV, 394 S.) graph. Darst. |
ISBN: | 9783319077338 9783319077345 |
DOI: | 10.1007/978-3-319-07734-5 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV041966808 | ||
003 | DE-604 | ||
007 | cr|uuu---uuuuu | ||
008 | 140710s2014 gw d||| o|||| 10||| eng d | ||
020 | |a 9783319077338 |9 978-3-319-07733-8 | ||
020 | |a 9783319077345 |c Online |9 978-3-319-07734-5 | ||
024 | 7 | |a 10.1007/978-3-319-07734-5 |2 doi | |
035 | |a (OCoLC)884321191 | ||
035 | |a (DE-599)BVBBV041966808 | ||
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-20 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-703 |a DE-29 |a DE-92 |a DE-859 |a DE-861 |a DE-634 | ||
082 | 0 | |a 004.0151135 |2 22/ger | |
084 | |a DAT 516f |2 stub | ||
084 | |a 004 |2 sdnb | ||
245 | 1 | 0 | |a Application and theory of Petri nets and concurrency |b 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 ; proceedings |c Gianfranco Ciardo ... (eds.) |
264 | 1 | |a Cham [u.a.] |b Springer |c 2014 | |
300 | |a 1 Online-Ressource (XIV, 394 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 8489 | |
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 2014 |z Tunis |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 | |5 DE-604 | |
700 | 1 | |a Ciardo, Gianfranco |e Sonstige |0 (DE-588)105219107X |4 oth | |
711 | 2 | |a PETRI NETS |n 35. |d 2014 |c Tunis |j Sonstige |0 (DE-588)1052190049 |4 oth | |
830 | 0 | |a Lecture notes in computer science |v 8489 |w (DE-604)BV014880109 |9 8489 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-07734-5 |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=027409535&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=027409535&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
912 | |a ZDB-2-LNC | ||
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027409535 | |
966 | e | |u https://doi.org/10.1007/978-3-319-07734-5 |l DE-634 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-07734-5 |l DE-M347 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-07734-5 |l DE-92 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-07734-5 |l DE-859 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-07734-5 |l DE-861 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-07734-5 |l DE-91 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-07734-5 |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-07734-5 |l DE-473 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-07734-5 |l DE-703 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-07734-5 |l DE-20 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-07734-5 |l DE-706 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-07734-5 |l DE-29 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-07734-5 |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext |
Datensatz im Suchindex
_version_ | 1820875581263183872 |
---|---|
adam_text |
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY
/
: 2014
TABLE OF CONTENTS / INHALTSVERZEICHNIS
PROPAGATION NETS
ENERGY-UTILITY ANALYSIS FOR RESILIENT SYSTEMS USING PROBABILISTIC MODEL
CHECKING
COMPLEX NETWORKS AND LINK STREAMS FOR THE EMPIRICAL ANALYSIS OF LARGE
SOFTWARE
SOUNDNESS OF TIMED-ARC WORKFLOW NETS
PROCESS MODEL DISCOVERY: A METHOD BASED ON TRANSITION SYSTEM
DECOMPOSITION
DISCOVERING BLOCK-STRUCTURED PROCESS MODELS FROM INCOMPLETE EVENT LOGS
SYNTHESIS OF PERSISTENT SYSTEMS
LEARNING TRANSPARENT DATA AUTOMATA
A PROGRAMMING LANGUAGE FOR SPATIAL DISTRIBUTION OF NET SYSTEMS
FLOW UNFOLDING OF MULTI-CLOCK NETS
NON-INTERFERENCE BY UNFOLDING
THE 4C SPECTRUM OF FUNDAMENTAL BEHAVIORAL RELATIONS FOR CONCURRENT
SYSTEMS
ON WEIGHTED PETRI NET TRANSDUCERS
EXHIBITION OF A STRUCTURAL BUG WITH WINGS
ANALYSIS OF PETRI NET MODELS THROUGH STOCHASTIC DIFFERENTIAL EQUATIONS
DYNAMIC NETWORKS OF TIMED PETRI NETS
A FRAMEWORK FOR CLASSICAL PETRI NET PROBLEMS: CONSERVATIVE PETRI NETS AS
AN APPLICATION
ON THE REVERSIBILITY OF WELL-BEHAVED WEIGHTED CHOICE-FREE SYSTEMS
(STOCHASTIC) MODEL CHECKING IN GREATSPN
STRATAGEM: A GENERIC PETRI NET VERIFICATION FRAMEWORK
A STEERING SERVER FOR COLLABORATIVE SIMULATION OF QUANTITATIVE PETRI
NETS
KAIRA: DEVELOPMENT ENVIRONMENT FOR MPI APPLICATIONS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY
/
: 2014
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 35TH INTERNATIONAL
CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY,
PETRI NETS 2014, HELD IN TUNIS, TUNISIA, IN JUNE 2014. THE 15 REGULAR
PAPERS AND 4 TOOL PAPERS PRESENTED IN THIS VOLUME WERE CAREFULLY
REVIEWED AND SELECTED FROM 48 SUBMISSIONS. IN ADDITION THE BOOK CONTAINS
3 INVITED TALKS IN FULL PAPER LENGTH. THE PAPERS COVER VARIOUS TOPICS IN
THE FIELD OF PETRI NETS AND RELATED MODELS OF CONCURRENCY
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
any_adam_object | 1 |
author_GND | (DE-588)105219107X |
building | Verbundindex |
bvnumber | BV041966808 |
classification_rvk | SS 4800 |
classification_tum | DAT 516f |
collection | ZDB-2-LNC |
ctrlnum | (OCoLC)884321191 (DE-599)BVBBV041966808 |
dewey-full | 004.0151135 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 004 - Computer science |
dewey-raw | 004.0151135 |
dewey-search | 004.0151135 |
dewey-sort | 14.0151135 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
doi_str_mv | 10.1007/978-3-319-07734-5 |
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">BV041966808</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140710s2014 gw d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319077338</subfield><subfield code="9">978-3-319-07733-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319077345</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-07734-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-07734-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)884321191</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041966808</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-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151135</subfield><subfield code="2">22/ger</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Application and theory of Petri nets and concurrency</subfield><subfield code="b">35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 ; proceedings</subfield><subfield code="c">Gianfranco Ciardo ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 394 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">8489</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">2014</subfield><subfield code="z">Tunis</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ciardo, Gianfranco</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)105219107X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">PETRI NETS</subfield><subfield code="n">35.</subfield><subfield code="d">2014</subfield><subfield code="c">Tunis</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1052190049</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">8489</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8489</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-07734-5</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=027409535&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=027409535&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-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027409535</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-07734-5</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-LNC</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-319-07734-5</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-LNC</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-319-07734-5</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-LNC</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-319-07734-5</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-LNC</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-319-07734-5</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-LNC</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-319-07734-5</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</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-319-07734-5</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</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-319-07734-5</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-LNC</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-319-07734-5</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-LNC</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-319-07734-5</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-LNC</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-319-07734-5</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</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-319-07734-5</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-LNC</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-319-07734-5</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2014 Tunis gnd-content |
genre_facet | Konferenzschrift 2014 Tunis |
id | DE-604.BV041966808 |
illustrated | Illustrated |
indexdate | 2025-01-10T15:17:54Z |
institution | BVB |
institution_GND | (DE-588)1052190049 |
isbn | 9783319077338 9783319077345 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027409535 |
oclc_num | 884321191 |
open_access_boolean | |
owner | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634 |
owner_facet | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634 |
physical | 1 Online-Ressource (XIV, 394 S.) graph. Darst. |
psigel | ZDB-2-LNC |
publishDate | 2014 |
publishDateSearch | 2014 |
publishDateSort | 2014 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | Application and theory of Petri nets and concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 ; proceedings Gianfranco Ciardo ... (eds.) Cham [u.a.] Springer 2014 1 Online-Ressource (XIV, 394 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8489 Petri-Netz (DE-588)4045388-1 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 Tunis gnd-content Petri-Netz (DE-588)4045388-1 s Nebenläufigkeit (DE-588)4115352-2 s DE-604 Ciardo, Gianfranco Sonstige (DE-588)105219107X oth PETRI NETS 35. 2014 Tunis Sonstige (DE-588)1052190049 oth Lecture notes in computer science 8489 (DE-604)BV014880109 8489 https://doi.org/10.1007/978-3-319-07734-5 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027409535&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027409535&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
spellingShingle | Application and theory of Petri nets and concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 ; proceedings Lecture notes in computer science Petri-Netz (DE-588)4045388-1 gnd Nebenläufigkeit (DE-588)4115352-2 gnd |
subject_GND | (DE-588)4045388-1 (DE-588)4115352-2 (DE-588)1071861417 |
title | Application and theory of Petri nets and concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 ; proceedings |
title_auth | Application and theory of Petri nets and concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 ; proceedings |
title_exact_search | Application and theory of Petri nets and concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 ; proceedings |
title_full | Application and theory of Petri nets and concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 ; proceedings Gianfranco Ciardo ... (eds.) |
title_fullStr | Application and theory of Petri nets and concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 ; proceedings Gianfranco Ciardo ... (eds.) |
title_full_unstemmed | Application and theory of Petri nets and concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 ; proceedings Gianfranco Ciardo ... (eds.) |
title_short | Application and theory of Petri nets and concurrency |
title_sort | application and theory of petri nets and concurrency 35th international conference petri nets 2014 tunis tunisia june 23 27 2014 proceedings |
title_sub | 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 ; proceedings |
topic | Petri-Netz (DE-588)4045388-1 gnd Nebenläufigkeit (DE-588)4115352-2 gnd |
topic_facet | Petri-Netz Nebenläufigkeit Konferenzschrift 2014 Tunis |
url | https://doi.org/10.1007/978-3-319-07734-5 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027409535&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=027409535&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV014880109 |
work_keys_str_mv | AT ciardogianfranco applicationandtheoryofpetrinetsandconcurrency35thinternationalconferencepetrinets2014tunistunisiajune23272014proceedings AT petrinetstunis applicationandtheoryofpetrinetsandconcurrency35thinternationalconferencepetrinets2014tunistunisiajune23272014proceedings |