An algebraic approach to timed petri nets with applications to communication networks: extended version
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin
Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik
2012
|
| Schriftenreihe: | Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
2012,02 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis |
| Beschreibung: | 91 S. graph. Darst. 30 cm |
| DOI: | 10.14279/depositonce-10197 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040398659 | ||
| 003 | DE-604 | ||
| 005 | 20240103 | ||
| 007 | t | ||
| 008 | 120831s2012 d||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)824315358 | ||
| 035 | |a (DE-599)BVBBV040398659 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 045 | |a 018375573 | ||
| 049 | |a DE-83 | ||
| 082 | 0 | |a 004.60151135 | |
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 100 | 1 | |a Lingnau, Pascal |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a An algebraic approach to timed petri nets with applications to communication networks |b extended version |c Pascal Lingnau ; Karsten Gabriel ; Tony Modica |
| 264 | 1 | |a Berlin |b Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik |c 2012 | |
| 300 | |a 91 S. |b graph. Darst. |c 30 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin |v 2012,02 | |
| 650 | 0 | 7 | |a Telekommunikationsnetz |0 (DE-588)4133586-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zeitbewertetes Petri-Netz |0 (DE-588)4545188-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Zeitbewertetes Petri-Netz |0 (DE-588)4545188-6 |D s |
| 689 | 0 | 1 | |a Telekommunikationsnetz |0 (DE-588)4133586-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gabriel, Karsten |e Verfasser |4 aut | |
| 700 | 1 | |a Modica, Tony |e Verfasser |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |o 10.14279/depositonce-10197 |w (DE-604)BV048418805 |
| 810 | 2 | |a Technische Universität Berlin |t Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik |v 2012,02 |w (DE-604)BV014139937 |9 2012,02 | |
| 856 | 4 | 1 | |u https://doi.org/10.14279/depositonce-10197 |x Resolving-System |z kostenfrei |3 Volltext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025251889&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-025251889 | ||
Datensatz im Suchindex
| _version_ | 1804149447065600000 |
|---|---|
| adam_text | IMAGE 1
C O N T E N T S
1 I N T R O D U C T I O N 1
1.1 AIMS 2
1.2 STRUCTURE OF THE PAPER 3
2 R E L A T E D W O R K 4
2.1 COLOURED PETRI NETS 4
2.2 OTHER TOOLS 4
2.3 TIME PETRI NETS 5
2.4 DETERMINISTIC TIMED PETRI NETS 5
2.5 P T I NETS 5
3 C A S E S T U D I E S 5
3.1 NETWORK INFRASTRUCTURE 6
3.2 PRODUCTION LINE 7
4 P / T N E T S A N D S Y S T E M S 9
4.1 P / T NETS 10
4.2 CATEGORY OF P / T NETS 11
4.3 CATEGORY OF P / T SYSTEMS 12
4.4 STRUCTURING TECHNIQUES 13
4.5 PROCESSES OF P / T NETS 14
5 T I M E D P / T N E T S 1 6
5.1 REQUIREMENTS 16
5.1.1 MODEL TIME 17
5.1.2 TIME DURATION 17
5.1.3 MARKING 18
5.1.4 FIRING BEHAVIOUR 18
5.1.5 NET STRUCTURE 18
5.2 FIRING BEHAVIOUR 20
5.2.1 TIMED MARKING, SELECTION AND STATE 20
5.2.2 ACTIVATION AND FIRING 26
5.3 APPLICATION TO CASE STUDIES 28
5.3.1 NETWORK INFRASTRUCTURE 28
5.3.2 PRODUCTION LINE 35
6 C A T E G O R I E S O F T I M E D N E T C L A S S E S 3 8
6.1 CATEGORY OF TIMED P / T NETS 39
6.2 CATEGORY OF TIMED P / T SYSTEMS 43
6.3 CATEGORY OF TIMED P / T STATES 46
6.4 FUNCTORIAL RELATIONS OF TIMED NET CLASSES 48
6.5 FUNCTORIAL RELATIONS T O UNTIMED NET CLASSES 52
7 S T R U C T U R I N G T E C H N I Q U E S FOR T I M E D P / T N E T S
5 6
7.1 UNION OF TIMED P / T NETS 57
7.2 FUSION OF TIMED P / T NETS 60
7.3 RESTRICTION OF TIMED P / T NETS 62
HTTP://D-NB.INFO/1027728685
IMAGE 2
7.4 .M-ADHESIVE CATEGORY OF TIMED P / T NETS 64
8 C O N C L U S I O N 6 6
8.1 OUTLOOK AND FUTURE WORK 67
A C A T E G O R I C A L F U N D A M E N T A L S 7 2
B D E T A I L E D P R O O F S 7 4
B . L PROOF OF FACT 6.3 (CATEGORY TPTNETS) 74
B.2 PROOF OF FACT 6.12 (CATEGORY TPTSYS) 75
B.3 PROOF OF FACT 6.17 (CATEGORY TPTSTATES) 75
B.4 LEMMA: DELAY OF SUMS WITH SINGLE PLACE 76
B.5 PROOF OF LEMMA 6.6 (DELAY OF SUMS) 78
B.6 PROOF OF LEMMA 6.7 (DELAY OF DIFFERENCES) 78
B.7 PROOF OF THEOREM 6.14 (TIMED P/T-SYSTEM MORPHISMS PRESERVE FIRING
STEPS) . 78 B.8 PROOF OF THEOREM 6.19 (TIMED P / T - S T A T E MORPHISMS
PRESERVE FIRING STEPS) . . 80 B.9 PROOF OF FACT 7.2 (GLUING OF TIMED P /
T NETS IS PUSHOUT) 81
B.10 PROOF OF FACT 7.15 (MONOMORPHISMS AND ISOMORPHISMS OF TIMED P / T
NETS) . 82 B . L L PROOF OF FACT 7.16 (CLOSURE-PROPERTIES OF TIME-STRICT
INJECTIVE MORPHISMS) . 84 B.12 PROOF OF THEOREM 7.17 (TIMED P / T NETS
ARE .M-ADHESIVE) 85
|
| any_adam_object | 1 |
| author | Lingnau, Pascal Gabriel, Karsten Modica, Tony |
| author_facet | Lingnau, Pascal Gabriel, Karsten Modica, Tony |
| author_role | aut aut aut |
| author_sort | Lingnau, Pascal |
| author_variant | p l pl k g kg t m tm |
| building | Verbundindex |
| bvnumber | BV040398659 |
| classification_rvk | ST 132 |
| collection | ebook |
| ctrlnum | (OCoLC)824315358 (DE-599)BVBBV040398659 |
| dewey-full | 004.60151135 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.60151135 |
| dewey-search | 004.60151135 |
| dewey-sort | 14.60151135 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.14279/depositonce-10197 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02056nam a2200433 cb4500</leader><controlfield tag="001">BV040398659</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240103 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120831s2012 d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)824315358</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040398659</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="045" ind1=" " ind2=" "><subfield code="a">018375573</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.60151135</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 132</subfield><subfield code="0">(DE-625)143589:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lingnau, Pascal</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An algebraic approach to timed petri nets with applications to communication networks</subfield><subfield code="b">extended version</subfield><subfield code="c">Pascal Lingnau ; Karsten Gabriel ; Tony Modica</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">91 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">30 cm</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">Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin</subfield><subfield code="v">2012,02</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Telekommunikationsnetz</subfield><subfield code="0">(DE-588)4133586-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zeitbewertetes Petri-Netz</subfield><subfield code="0">(DE-588)4545188-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Zeitbewertetes Petri-Netz</subfield><subfield code="0">(DE-588)4545188-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Telekommunikationsnetz</subfield><subfield code="0">(DE-588)4133586-7</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">Gabriel, Karsten</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Modica, Tony</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="o">10.14279/depositonce-10197</subfield><subfield code="w">(DE-604)BV048418805</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Technische Universität Berlin</subfield><subfield code="t">Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik</subfield><subfield code="v">2012,02</subfield><subfield code="w">(DE-604)BV014139937</subfield><subfield code="9">2012,02</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.14279/depositonce-10197</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=025251889&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025251889</subfield></datafield></record></collection> |
| id | DE-604.BV040398659 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:23:10Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025251889 |
| oclc_num | 824315358 |
| open_access_boolean | 1 |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | 91 S. graph. Darst. 30 cm |
| psigel | ebook |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik |
| record_format | marc |
| series2 | Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin |
| spelling | Lingnau, Pascal Verfasser aut An algebraic approach to timed petri nets with applications to communication networks extended version Pascal Lingnau ; Karsten Gabriel ; Tony Modica Berlin Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik 2012 91 S. graph. Darst. 30 cm txt rdacontent n rdamedia nc rdacarrier Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin 2012,02 Telekommunikationsnetz (DE-588)4133586-7 gnd rswk-swf Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd rswk-swf Zeitbewertetes Petri-Netz (DE-588)4545188-6 s Telekommunikationsnetz (DE-588)4133586-7 s DE-604 Gabriel, Karsten Verfasser aut Modica, Tony Verfasser aut Erscheint auch als Online-Ausgabe 10.14279/depositonce-10197 (DE-604)BV048418805 Technische Universität Berlin Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik 2012,02 (DE-604)BV014139937 2012,02 https://doi.org/10.14279/depositonce-10197 Resolving-System kostenfrei Volltext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025251889&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Lingnau, Pascal Gabriel, Karsten Modica, Tony An algebraic approach to timed petri nets with applications to communication networks extended version Telekommunikationsnetz (DE-588)4133586-7 gnd Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd |
| subject_GND | (DE-588)4133586-7 (DE-588)4545188-6 |
| title | An algebraic approach to timed petri nets with applications to communication networks extended version |
| title_auth | An algebraic approach to timed petri nets with applications to communication networks extended version |
| title_exact_search | An algebraic approach to timed petri nets with applications to communication networks extended version |
| title_full | An algebraic approach to timed petri nets with applications to communication networks extended version Pascal Lingnau ; Karsten Gabriel ; Tony Modica |
| title_fullStr | An algebraic approach to timed petri nets with applications to communication networks extended version Pascal Lingnau ; Karsten Gabriel ; Tony Modica |
| title_full_unstemmed | An algebraic approach to timed petri nets with applications to communication networks extended version Pascal Lingnau ; Karsten Gabriel ; Tony Modica |
| title_short | An algebraic approach to timed petri nets with applications to communication networks |
| title_sort | an algebraic approach to timed petri nets with applications to communication networks extended version |
| title_sub | extended version |
| topic | Telekommunikationsnetz (DE-588)4133586-7 gnd Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd |
| topic_facet | Telekommunikationsnetz Zeitbewertetes Petri-Netz |
| url | https://doi.org/10.14279/depositonce-10197 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025251889&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014139937 |
| work_keys_str_mv | AT lingnaupascal analgebraicapproachtotimedpetrinetswithapplicationstocommunicationnetworksextendedversion AT gabrielkarsten analgebraicapproachtotimedpetrinetswithapplicationstocommunicationnetworksextendedversion AT modicatony analgebraicapproachtotimedpetrinetswithapplicationstocommunicationnetworksextendedversion |