Eintrag weiter verarbeiten
Online-Ressource

Transactions on Petri Nets and Other Models of Concurrency VII

Gespeichert in:

Personen und Körperschaften: Jensen, Kurt (VerfasserIn), Aalst, Wil M. P. (Sonstige), Balbo, Gianfranco (Sonstige), Koutny, Maciej (Sonstige), Wolf, Karsten (Sonstige)
Titel: Transactions on Petri Nets and Other Models of Concurrency VII/ edited by Kurt Jensen, Wil M. P. Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2013
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 7480
Schlagwörter:
Logic design
Computer Science
Computer science
Software engineering
Konferenzschrift
Druckausg.: Transactions on petri nets and other models of concurrency ; 7, Berlin : Springer, 2013, XII, 422 S.
Druckausg.:: #
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
LEADER 06284cam a22011412 4500
001 0-876351585
003 DE-627
005 20240122104936.0
007 cr uuu---uuuuu
008 130503s2013 gw |||||o 00| ||eng c
020 |a 9783642381430  |9 978-3-642-38143-0 
024 7 |a 10.1007/978-3-642-38143-0  |2 doi 
035 |a (DE-627)876351585 
035 |a (DE-576)38184403X 
035 |a (DE-599)BSZ38184403X 
035 |a (OCoLC)846968585 
035 |a (ZBM)1263.68020 
035 |a (ZBM)1263.68020 
035 |a (DE-He213)978-3-642-38143-0 
035 |a (EBP)04054821X 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE  |c XA-DE-BE 
050 0 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
084 |a *68-06  |2 msc 
084 |a 68Q85  |2 msc 
084 |a 00B15  |2 msc 
084 |a 54.10  |2 bkl 
100 1 |a Jensen, Kurt  |d 1950-  |0 (DE-588)1122310188  |0 (DE-627)875634311  |0 (DE-576)481239510  |4 aut 
245 1 0 |a Transactions on Petri Nets and Other Models of Concurrency VII  |c edited by Kurt Jensen, Wil M. P. Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf 
264 1 |a Berlin, Heidelberg  |b Springer  |c 2013 
300 |a Online-Ressource (XVI, 423 p. 250 illus, digital) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v 7480 
490 0 |a SpringerLink  |a Bücher 
500 |a Literaturangaben 
505 8 0 |a In Memoriam: Carl Adam Petri -- Strategies for Modeling Complex Processes Using Colored Petri Nets -- Applications of Coloured Petri Nets for Functional Validation of Protocol Designs -- Business Process Modeling Using Petri Nets -- Structure Theory of Petri Nets -- Causality in Extensions of Petri Nets -- External Behaviour of Systems of State Machines with Variables -- The Synthesis Problem -- Models from Scenarios -- Discovering Petri Nets from Event Logs. 
520 |a 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 7th volume of ToPNoC contains revised material from the 5th International Summer School “Advanced Course on Petri Nets”, held in September 2010 in Rostock, Germany. The nine papers cover a diverse range of topics including modeling, verification, partial order semantics, and synthesis of Petri nets. In compliance with their origin as course material, the papers are written in survey or tutorial style and give a comprehensive overview of the state of the art in their respective areas 
650 0 |a Logic design 
650 0 |a Computer Science 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Logic design 
650 0 |a Computer science 
650 0 |a Software engineering 
650 4 |a Computer Science 
650 4 |a Computer science 
650 4 |a Logic design 
650 4 |a Software engineering 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4045388-1  |0 (DE-627)104168536  |0 (DE-576)209065176  |a Petri-Netz  |2 gnd 
689 0 |5 (DE-627) 
700 1 |a Aalst, Wil M. P.  |4 oth 
700 1 |a Balbo, Gianfranco  |0 (DE-627)1233892150  |0 (DE-576)163892156  |4 oth 
700 1 |a Koutny, Maciej  |4 oth 
700 1 |a Wolf, Karsten  |4 oth 
776 1 |z 9783642381423 
776 0 8 |i Druckausg.:  |a # 
776 0 8 |i Druckausg.  |t Transactions on petri nets and other models of concurrency ; 7  |d Berlin : Springer, 2013  |h XII, 422 S.  |w (DE-627)1461079985  |w (DE-576)391079980  |z 9783642381423 
830 0 |a Lecture notes in computer science  |v 7480  |9 748000  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349  |7 ns 
856 4 0 |u https://doi.org/10.1007/978-3-642-38143-0  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 0 |u http://swbplus.bsz-bw.de/bsz38184403xcov.htm  |m V:DE-576  |q image/jpeg  |x Verlag  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-38143-0  |x Verlag  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz38184403xcov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20140212102419  |3 Cover 
856 4 2 |u https://zbmath.org/?q=an:1263.68020  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
856 4 2 |u http://deposit.d-nb.de/cgi-bin/dokserv?id=4293231&prov=M&dok_var=1&dok_ext=htm  |m X: MVB  |q text/html  |v 2013-05-01  |x Verlag  |3 Inhaltstext 
889 |w (DE-627)745003044 
912 |a ZDB-2-LNC  |b 2013 
912 |a ZDB-2-SCS  |b 2013 
912 |a ZDB-2-SEB 
912 |a ZDB-2-SXCS  |b 2013 
912 |a ZDB-2-SEB  |b 2013 
935 |i Blocktest 
935 |h GBV  |i ExPruef 
936 b k |a 54.10  |j Theoretische Informatik  |0 (DE-627)106418815 
951 |a BO 
900 |a Balbo, G. 
900 |a Jensen, K. 
950 |a Petrinetz 
950 |a Netz 
950 |a Gerichteter Graph 
951 |b XA-DK 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-38143-0  |9 DE-14 
852 |a DE-14  |x epn:3359534085  |z 2013-05-03T09:23:39Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-38143-0  |9 DE-15 
852 |a DE-15  |x epn:3359534115  |z 2013-05-03T09:23:39Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-38143-0  |9 DE-Ch1 
852 |a DE-Ch1  |x epn:3359534158  |z 2013-05-03T09:23:39Z 
976 |h Elektronischer Volltext - Campuslizenz 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-38143-0  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |x epn:3359534182  |z 2013-05-03T09:23:39Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-38143-0  |9 DE-520 
852 |a DE-520  |x epn:3359534212  |z 2013-05-03T09:23:39Z 
980 |a 876351585  |b 0  |k 876351585  |o 38184403X 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Transactions+on+Petri+Nets+and+Other+Models+of+Concurrency+VII&rft.date=2013&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Transactions+on+Petri+Nets+and+Other+Models+of+Concurrency+VII&rft.series=Lecture+notes+in+computer+science%2C+7480&rft.au=Jensen%2C+Kurt&rft.pub=Springer&rft.edition=&rft.isbn=364238143X
SOLR
_version_ 1792258502540918784
access_facet Electronic Resources
author Jensen, Kurt
author2 Aalst, Wil M. P., Balbo, Gianfranco, Koutny, Maciej, Wolf, Karsten
author2_role oth, oth, oth, oth
author2_variant w m p a wmp wmpa, g b gb, m k mk, k w kw
author_facet Jensen, Kurt, Aalst, Wil M. P., Balbo, Gianfranco, Koutny, Maciej, Wolf, Karsten
author_role aut
author_sort Jensen, Kurt 1950-
author_variant k j kj
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.758
callnumber-search QA76.758
callnumber-sort QA 276.758
callnumber-subject QA - Mathematics
collection ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
contents In Memoriam: Carl Adam Petri -- Strategies for Modeling Complex Processes Using Colored Petri Nets -- Applications of Coloured Petri Nets for Functional Validation of Protocol Designs -- Business Process Modeling Using Petri Nets -- Structure Theory of Petri Nets -- Causality in Extensions of Petri Nets -- External Behaviour of Systems of State Machines with Variables -- The Synthesis Problem -- Models from Scenarios -- Discovering Petri Nets from Event Logs., 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 7th volume of ToPNoC contains revised material from the 5th International Summer School “Advanced Course on Petri Nets”, held in September 2010 in Rostock, Germany. The nine papers cover a diverse range of topics including modeling, verification, partial order semantics, and synthesis of Petri nets. In compliance with their origin as course material, the papers are written in survey or tutorial style and give a comprehensive overview of the state of the art in their respective areas
ctrlnum (DE-627)876351585, (DE-576)38184403X, (DE-599)BSZ38184403X, (OCoLC)846968585, (ZBM)1263.68020, (DE-He213)978-3-642-38143-0, (EBP)04054821X
de15_date 2013-05-03T09:23:39Z
dech1_date 2013-05-03T09:23:39Z
doi_str_mv 10.1007/978-3-642-38143-0
facet_912a ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail Online
facet_local_del330 Petri-Netz
finc_class_facet Informatik, Mathematik
fincclass_txtF_mv science-computerscience
footnote Literaturangaben
format eBook, ConferenceProceedings
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent-conference
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
genre Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet Konferenzschrift
geogr_code not assigned
geogr_code_person Denmark
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 748000
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-876351585
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer, 2013
imprint_str_mv Berlin, Heidelberg: Springer, 2013
institution DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15
is_hierarchy_id 0-876351585
is_hierarchy_title Transactions on Petri Nets and Other Models of Concurrency VII
isbn 9783642381430
isbn_isn_mv 9783642381423
issn_isn_mv 1611-3349
kxp_id_str 876351585
language English
last_indexed 2024-02-29T18:21:41.121Z
local_heading_facet_dezwi2 Logic design, Computer Science, Computer science, Software engineering, Petri-Netz
marc024a_ct_mv 10.1007/978-3-642-38143-0
match_str jensen2013transactionsonpetrinetsandothermodelsofconcurrencyvii
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)7480
names_id_str_mv (DE-588)1122310188, (DE-627)875634311, (DE-576)481239510, (DE-627)1233892150, (DE-576)163892156
oclc_num 846968585
physical Online-Ressource (XVI, 423 p. 250 illus, digital)
publishDate 2013
publishDateSort 2013
publishPlace Berlin, Heidelberg
publisher Springer
record_format marcfinc
record_id 38184403X
recordtype marcfinc
rsn_id_str_mv (DE-15)3218842
rvk_facet No subject assigned
series Lecture notes in computer science, 7480
series2 Lecture Notes in Computer Science ; 7480, SpringerLink ; Bücher
source_id 0
spelling Jensen, Kurt 1950- (DE-588)1122310188 (DE-627)875634311 (DE-576)481239510 aut, Transactions on Petri Nets and Other Models of Concurrency VII edited by Kurt Jensen, Wil M. P. Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf, Berlin, Heidelberg Springer 2013, Online-Ressource (XVI, 423 p. 250 illus, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 7480, SpringerLink Bücher, Literaturangaben, In Memoriam: Carl Adam Petri -- Strategies for Modeling Complex Processes Using Colored Petri Nets -- Applications of Coloured Petri Nets for Functional Validation of Protocol Designs -- Business Process Modeling Using Petri Nets -- Structure Theory of Petri Nets -- Causality in Extensions of Petri Nets -- External Behaviour of Systems of State Machines with Variables -- The Synthesis Problem -- Models from Scenarios -- Discovering Petri Nets from Event Logs., 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 7th volume of ToPNoC contains revised material from the 5th International Summer School “Advanced Course on Petri Nets”, held in September 2010 in Rostock, Germany. The nine papers cover a diverse range of topics including modeling, verification, partial order semantics, and synthesis of Petri nets. In compliance with their origin as course material, the papers are written in survey or tutorial style and give a comprehensive overview of the state of the art in their respective areas, Logic design, Computer Science, Computer science, Software engineering, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4045388-1 (DE-627)104168536 (DE-576)209065176 Petri-Netz gnd, (DE-627), Aalst, Wil M. P. oth, Balbo, Gianfranco (DE-627)1233892150 (DE-576)163892156 oth, Koutny, Maciej oth, Wolf, Karsten oth, 9783642381423, Druckausg.: #, Druckausg. Transactions on petri nets and other models of concurrency ; 7 Berlin : Springer, 2013 XII, 422 S. (DE-627)1461079985 (DE-576)391079980 9783642381423, Lecture notes in computer science 7480 748000 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-38143-0 X:SPRINGER Verlag lizenzpflichtig Volltext, http://swbplus.bsz-bw.de/bsz38184403xcov.htm V:DE-576 image/jpeg Verlag Volltext, http://dx.doi.org/10.1007/978-3-642-38143-0 Verlag Volltext, https://swbplus.bsz-bw.de/bsz38184403xcov.jpg V:DE-576 X:springer image/jpeg 20140212102419 Cover, https://zbmath.org/?q=an:1263.68020 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext, http://deposit.d-nb.de/cgi-bin/dokserv?id=4293231&prov=M&dok_var=1&dok_ext=htm X: MVB text/html 2013-05-01 Verlag Inhaltstext, (DE-627)745003044, http://dx.doi.org/10.1007/978-3-642-38143-0 DE-14, DE-14 epn:3359534085 2013-05-03T09:23:39Z, http://dx.doi.org/10.1007/978-3-642-38143-0 DE-15, DE-15 epn:3359534115 2013-05-03T09:23:39Z, http://dx.doi.org/10.1007/978-3-642-38143-0 DE-Ch1, DE-Ch1 epn:3359534158 2013-05-03T09:23:39Z, http://dx.doi.org/10.1007/978-3-642-38143-0 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3359534182 2013-05-03T09:23:39Z, http://dx.doi.org/10.1007/978-3-642-38143-0 DE-520, DE-520 epn:3359534212 2013-05-03T09:23:39Z
spellingShingle Jensen, Kurt, Transactions on Petri Nets and Other Models of Concurrency VII, Lecture notes in computer science, 7480, In Memoriam: Carl Adam Petri -- Strategies for Modeling Complex Processes Using Colored Petri Nets -- Applications of Coloured Petri Nets for Functional Validation of Protocol Designs -- Business Process Modeling Using Petri Nets -- Structure Theory of Petri Nets -- Causality in Extensions of Petri Nets -- External Behaviour of Systems of State Machines with Variables -- The Synthesis Problem -- Models from Scenarios -- Discovering Petri Nets from Event Logs., 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 7th volume of ToPNoC contains revised material from the 5th International Summer School “Advanced Course on Petri Nets”, held in September 2010 in Rostock, Germany. The nine papers cover a diverse range of topics including modeling, verification, partial order semantics, and synthesis of Petri nets. In compliance with their origin as course material, the papers are written in survey or tutorial style and give a comprehensive overview of the state of the art in their respective areas, Logic design, Computer Science, Computer science, Software engineering, Konferenzschrift, Petri-Netz
swb_id_str 38184403X
title Transactions on Petri Nets and Other Models of Concurrency VII
title_auth Transactions on Petri Nets and Other Models of Concurrency VII
title_full Transactions on Petri Nets and Other Models of Concurrency VII edited by Kurt Jensen, Wil M. P. Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf
title_fullStr Transactions on Petri Nets and Other Models of Concurrency VII edited by Kurt Jensen, Wil M. P. Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf
title_full_unstemmed Transactions on Petri Nets and Other Models of Concurrency VII edited by Kurt Jensen, Wil M. P. Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf
title_in_hierarchy 7480. Transactions on Petri Nets and Other Models of Concurrency VII (2013)
title_short Transactions on Petri Nets and Other Models of Concurrency VII
title_sort transactions on petri nets and other models of concurrency vii
title_unstemmed Transactions on Petri Nets and Other Models of Concurrency VII
topic Logic design, Computer Science, Computer science, Software engineering, Konferenzschrift, Petri-Netz
topic_facet Logic design, Computer Science, Computer science, Software engineering, Konferenzschrift, Petri-Netz
url https://doi.org/10.1007/978-3-642-38143-0, http://swbplus.bsz-bw.de/bsz38184403xcov.htm, http://dx.doi.org/10.1007/978-3-642-38143-0, https://swbplus.bsz-bw.de/bsz38184403xcov.jpg, https://zbmath.org/?q=an:1263.68020, http://deposit.d-nb.de/cgi-bin/dokserv?id=4293231&prov=M&dok_var=1&dok_ext=htm