Coloured Petri nets basic concepts, analysis methods, and practical use 1
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1997
|
| Ausgabe: | 2. ed., 2. corr. reprint. |
| Schriftenreihe: | EATCS monographs on theoretical computer science
|
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV011388608 | ||
| 003 | DE-604 | ||
| 005 | 20230324 | ||
| 007 | t| | ||
| 008 | 970617s1997 gw ad|| |||| 00||| eng d | ||
| 020 | |a 3540609431 |9 3-540-60943-1 | ||
| 020 | |a 0387555978 |9 0-387-55597-8 | ||
| 035 | |a (OCoLC)632548811 | ||
| 035 | |a (DE-599)BVBBV011388608 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-29T |a DE-824 |a DE-355 |a DE-521 |a DE-522 |a DE-526 |a DE-83 |a DE-523 | ||
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 100 | 1 | |a Jensen, Kurt |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Coloured Petri nets |b basic concepts, analysis methods, and practical use |n 1 |c Kurt Jensen |
| 250 | |a 2. ed., 2. corr. reprint. | ||
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1997 | |
| 300 | |a XII, 234 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a EATCS monographs on theoretical computer science | |
| 500 | |a Literaturverz. S. [221] - 229 | ||
| 773 | 0 | 8 | |w (DE-604)BV005619464 |g 1 |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007654553&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007654553 | |
Datensatz im Suchindex
| _version_ | 1819703331968253952 |
|---|---|
| adam_text | Table
of
Contents
1
Informai Introduction
to Coloured
Petri
Nets
.............. 1
1.1
Introduction to Place/Transition Nets
......................... 2
1.2
Introduction to Coloured
Petri
Nets
.......................... 8
1.3
Example of CP-nets: Distributed Data Base
..................... 21
1.4
Net Inscriptions in
CPN
ML
................................. 26
1.5
Construction of
CPN
Models
................................ 32
1.6
Drawing of
CPN
Diagrams
.................................. 41
1.7
Some Important Advantages of CP-nets
........................ 50
Bibliographical Remarks
........................................ 52
Exercises
..................................................... 55
2
Formal Definition of Coloured
Petri
Nets
.................. 65
2.1
Multi-sets
................................................ 66
2.2
Structure of Non-Hierarchical CP-nets
........................ 69
2.3
Behaviour of Non-Hierarchical CP-nets
........................ 73
2.4
Equivalent Place/Transition Nets
............................. 78
Bibliographical Remarks
........................................ 85
Exercises
..................................................... 85
3
Hierarchical Coloured
Petri
Nets
.......................... 89
3.1
Introduction to Hierarchical CP-nets
.......................... 90
3.2
Example of Hierarchical CP-nets: Telephones
................... 99
3.3
Structure of Hierarchical CP-nets
............................. 106
3.4
Behaviour of Hierarchical CP-nets
............................ 113
3.5
Equivalent Non-Hierarchical CP-nets
.......................... 115
Bibliographical Remarks
........................................ 119
Exercises
..................................................... 119
4
Dynamic and Static Properties of Coloured
Petri
Nets
....... 123
4.1
Static Properties
.......................................... 124
4.2
Boundedness Properties
.................................... 127
4.3
Home Properties
.......................................... 131
4.4
Liveness Properties
........................................ 132
4.5
Fairness Properties
........................................ 135
Bibliographical Remarks
........................................ 138
Exercises
..................................................... 138
ХП
Table of
Contents
5
Formal Analysis of Coloured
Petri
Nets
.................... 141
5.1
Occurrence Graphs
........................................ 142
5.2
Place and Transition Invariants
.............................. 147
5.3
Reduction Rules
........................................... 150
5.4
Performance Analysis
...................................... 152
Bibliographical Remarks
........................................ 152
Exercises
..................................................... 153
6
Computer Tools for Coloured
Petri
Nets
................... 155
6.1
Editing of CP-nets
......................................... 156
6.2
Simulation of CP-nets
...................................... 176
6.3
Computer Tools for Formal Analysis
......................... 194
Bibliographical Remarks
........................................ 202
Exercises
..................................................... 202
7
Industrial Applications of Coloured
Petri
Nets
............. 205
7.1
Communication Protocol
................................... 206
7.2
Hardware Chip
........................................... 209
7.3
Radar Surveillance
........................................ 213
7.4
Electronic Funds Transfer
.................................. 217
7.5
General Observations About
CPN
Applications
.................. 218
Bibliographical Remarks
........................................ 219
References
.................................................. 221
Index
....................................................... 231
|
| any_adam_object | 1 |
| author | Jensen, Kurt |
| author_facet | Jensen, Kurt |
| author_role | aut |
| author_sort | Jensen, Kurt |
| author_variant | k j kj |
| building | Verbundindex |
| bvnumber | BV011388608 |
| classification_rvk | ST 132 ST 130 |
| ctrlnum | (OCoLC)632548811 (DE-599)BVBBV011388608 |
| discipline | Informatik |
| edition | 2. ed., 2. corr. reprint. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01412nam a2200361 cc4500</leader><controlfield tag="001">BV011388608</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230324 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">970617s1997 gw ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540609431</subfield><subfield code="9">3-540-60943-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387555978</subfield><subfield code="9">0-387-55597-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)632548811</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011388608</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-29T</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-523</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="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Jensen, Kurt</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Coloured Petri nets</subfield><subfield code="b">basic concepts, analysis methods, and practical use</subfield><subfield code="n">1</subfield><subfield code="c">Kurt Jensen</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed., 2. corr. reprint.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 234 S.</subfield><subfield code="b">Ill., 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">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="0" ind2=" "><subfield code="a">EATCS monographs on theoretical computer science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [221] - 229</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV005619464</subfield><subfield code="g">1</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</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=007654553&sequence=000002&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-007654553</subfield></datafield></record></collection> |
| id | DE-604.BV011388608 |
| illustrated | Illustrated |
| indexdate | 2024-12-23T14:31:58Z |
| institution | BVB |
| isbn | 3540609431 0387555978 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007654553 |
| oclc_num | 632548811 |
| open_access_boolean | |
| owner | DE-29T DE-824 DE-355 DE-BY-UBR DE-521 DE-522 DE-526 DE-83 DE-523 |
| owner_facet | DE-29T DE-824 DE-355 DE-BY-UBR DE-521 DE-522 DE-526 DE-83 DE-523 |
| physical | XII, 234 S. Ill., graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Springer |
| record_format | marc |
| series2 | EATCS monographs on theoretical computer science |
| spellingShingle | Jensen, Kurt Coloured Petri nets basic concepts, analysis methods, and practical use |
| title | Coloured Petri nets basic concepts, analysis methods, and practical use |
| title_auth | Coloured Petri nets basic concepts, analysis methods, and practical use |
| title_exact_search | Coloured Petri nets basic concepts, analysis methods, and practical use |
| title_full | Coloured Petri nets basic concepts, analysis methods, and practical use 1 Kurt Jensen |
| title_fullStr | Coloured Petri nets basic concepts, analysis methods, and practical use 1 Kurt Jensen |
| title_full_unstemmed | Coloured Petri nets basic concepts, analysis methods, and practical use 1 Kurt Jensen |
| title_short | Coloured Petri nets |
| title_sort | coloured petri nets basic concepts analysis methods and practical use |
| title_sub | basic concepts, analysis methods, and practical use |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007654553&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV005619464 |
| work_keys_str_mv | AT jensenkurt colouredpetrinetsbasicconceptsanalysismethodsandpracticaluse1 |