Availability: An algebraic approach to timed petri nets with applications to communication networks

An algebraic approach to timed petri nets with applications to communication networks: extended version

Saved in:

Bibliographic Details
Main Authors:	Lingnau, Pascal (Author), Gabriel, Karsten (Author), Modica, Tony (Author)
Format:	Book
Language:	English
Published:	Berlin Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik 2012
Series:	Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin 2012,02
Subjects:	Telekommunikationsnetz Zeitbewertetes Petri-Netz
Links:	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
Physical Description:	91 S. graph. Darst. 30 cm
DOI:	10.14279/depositonce-10197

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV040398659
003	DE-604
005	20240103
007	t\|
008	120831s2012 xx 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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025251889

Record in the Search Index

_version_	1819336855269670912
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>02057nam 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 xx 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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025251889</subfield></datafield></record></collection>
id	DE-604.BV040398659
illustrated	Illustrated
indexdate	2024-12-20T16:14: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
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

Availability

‌

Order via interlibrary loan Read online (freely available)
Table of Contents