Analysing signal net systems:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin
Professoren des Inst. für Informatik
2002
|
| Schriftenreihe: | Informatik-Berichte
162 |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturverz. S. 119 - 124 |
| Beschreibung: | 128 S. graph. Darst. : 30 cm |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV017201582 | ||
| 003 | DE-604 | ||
| 005 | 20030721 | ||
| 007 | t | ||
| 008 | 030603s2002 gw d||| |||| 00||| eng d | ||
| 016 | 7 | |a 967582598 |2 DE-101 | |
| 035 | |a (OCoLC)637607375 | ||
| 035 | |a (DE-599)BVBBV017201582 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-11 | ||
| 100 | 1 | |a Starke, Peter H. |d 1937- |e Verfasser |0 (DE-588)13587758X |4 aut | |
| 245 | 1 | 0 | |a Analysing signal net systems |c Peter H. Starke ; Stephan Roch. [Humboldt-Universität zu Berlin. Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle] |
| 264 | 1 | |a Berlin |b Professoren des Inst. für Informatik |c 2002 | |
| 300 | |a 128 S. |b graph. Darst. : 30 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Informatik-Berichte |v 162 | |
| 500 | |a Literaturverz. S. 119 - 124 | ||
| 700 | 1 | |a Roch, Stephan |e Verfasser |4 aut | |
| 830 | 0 | |a Informatik-Berichte |v 162 |w (DE-604)BV009708923 |9 162 | |
| 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=010365972&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-010365972 | |
Datensatz im Suchindex
| _version_ | 1807772375221010432 |
|---|---|
| adam_text |
CONTENTS
I.
PRELIMINARIES
1
1.
BASIC
DEFINITIONS
3
2.
TIME
CONSTRAINTS
ON
ARCS
8
3.
COLOURS
11
II.
DYNAMIC
PROPERTIES
13
4.
ANALYSIS
15
5.
REACHABILITY
GRAPHS
18
6.
BOUNDEDNESS
19
7.
DIAMOND
REDUCTION
21
8.
STUBBORN
SETS
27
9.
SYMMETRIES
37
10.
CONFLICTS
44
III.
MODEL
CHECKING
47
11.
COMPUTATION
TREE
LOGIC
49
12.
EXTENDED
COMPUTATION
TREE
LOGIC
53
13.
TIMED
COMPUTATION
TREE
LOGIC
61
IV.
STRUCTURAL
PROPERTIES
65
14.
STATIC
DEADLOCKS
AND
TRAPS
67
15.
FREE
CHOICE
AND
EXTENDED
SIMPLE
PROPERTIES
72
16.
COMPOSITION
79
V.
INVARIANTS
87
17.
STATE
INVARIANTS
89
18.
PLACE
INVARIANTS 91
19.
TRANSITION
INVARIANTS
AND
STEP
INVARIANTS
93
APPENDIX
99
SESA
TOOL
DESCRIPTION 101
REFERENCES
119
INDEX
125 |
| any_adam_object | 1 |
| author | Starke, Peter H. 1937- Roch, Stephan |
| author_GND | (DE-588)13587758X |
| author_facet | Starke, Peter H. 1937- Roch, Stephan |
| author_role | aut aut |
| author_sort | Starke, Peter H. 1937- |
| author_variant | p h s ph phs s r sr |
| building | Verbundindex |
| bvnumber | BV017201582 |
| ctrlnum | (OCoLC)637607375 (DE-599)BVBBV017201582 |
| format | Book |
| 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">BV017201582</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030721</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">030603s2002 gw d||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">967582598</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)637607375</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017201582</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Starke, Peter H.</subfield><subfield code="d">1937-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)13587758X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Analysing signal net systems</subfield><subfield code="c">Peter H. Starke ; Stephan Roch. [Humboldt-Universität zu Berlin. Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Professoren des Inst. für Informatik</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">128 S.</subfield><subfield code="b">graph. Darst. : 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">Informatik-Berichte</subfield><subfield code="v">162</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 119 - 124</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Roch, Stephan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Informatik-Berichte</subfield><subfield code="v">162</subfield><subfield code="w">(DE-604)BV009708923</subfield><subfield code="9">162</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=010365972&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010365972</subfield></datafield></record></collection> |
| id | DE-604.BV017201582 |
| illustrated | Illustrated |
| indexdate | 2024-08-19T00:08:01Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010365972 |
| oclc_num | 637607375 |
| open_access_boolean | |
| owner | DE-12 DE-11 |
| owner_facet | DE-12 DE-11 |
| physical | 128 S. graph. Darst. : 30 cm |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Professoren des Inst. für Informatik |
| record_format | marc |
| series | Informatik-Berichte |
| series2 | Informatik-Berichte |
| spelling | Starke, Peter H. 1937- Verfasser (DE-588)13587758X aut Analysing signal net systems Peter H. Starke ; Stephan Roch. [Humboldt-Universität zu Berlin. Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle] Berlin Professoren des Inst. für Informatik 2002 128 S. graph. Darst. : 30 cm txt rdacontent n rdamedia nc rdacarrier Informatik-Berichte 162 Literaturverz. S. 119 - 124 Roch, Stephan Verfasser aut Informatik-Berichte 162 (DE-604)BV009708923 162 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010365972&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Starke, Peter H. 1937- Roch, Stephan Analysing signal net systems Informatik-Berichte |
| title | Analysing signal net systems |
| title_auth | Analysing signal net systems |
| title_exact_search | Analysing signal net systems |
| title_full | Analysing signal net systems Peter H. Starke ; Stephan Roch. [Humboldt-Universität zu Berlin. Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle] |
| title_fullStr | Analysing signal net systems Peter H. Starke ; Stephan Roch. [Humboldt-Universität zu Berlin. Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle] |
| title_full_unstemmed | Analysing signal net systems Peter H. Starke ; Stephan Roch. [Humboldt-Universität zu Berlin. Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle] |
| title_short | Analysing signal net systems |
| title_sort | analysing signal net systems |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010365972&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV009708923 |
| work_keys_str_mv | AT starkepeterh analysingsignalnetsystems AT rochstephan analysingsignalnetsystems |