Coloured Petri Nets: modelling and validation of concurrent systems
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Ausgabe: | 1. Aufl. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 384 S. Ill., graph. Darst. 242 mm x 193 mm |
| ISBN: | 9783642002830 9783642002847 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035414885 | ||
| 003 | DE-604 | ||
| 005 | 20091103 | ||
| 007 | t| | ||
| 008 | 090403s2009 gw ad|| |||| 00||| eng d | ||
| 015 | |a 09,N07,0086 |2 dnb | ||
| 016 | 7 | |a 992291429 |2 DE-101 | |
| 020 | |a 9783642002830 |c GB. : ca. EUR 58.80 (freier Pr.), ca. sfr 91.50 (freier Pr.) |9 978-3-642-00283-0 | ||
| 020 | |a 9783642002847 |9 978-3-642-00284-7 | ||
| 024 | 3 | |a 9783642002830 | |
| 028 | 5 | 2 | |a 10980361 |
| 035 | |a (OCoLC)310400927 | ||
| 035 | |a (DE-599)DNB992291429 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-20 |a DE-703 |a DE-824 |a DE-898 |a DE-11 |a DE-29T |a DE-83 |a DE-384 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 511.3 |2 22 | |
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Jensen, Kurt |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Coloured Petri Nets |b modelling and validation of concurrent systems |c Kurt Jensen ; Lars M. Kristensen |
| 250 | |a 1. Aufl. | ||
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a XI, 384 S. |b Ill., graph. Darst. |c 242 mm x 193 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Gefärbtes Petri-Netz | |
| 650 | 4 | |a Petri nets | |
| 650 | 0 | 7 | |a Gefärbtes Petri-Netz |0 (DE-588)4297173-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Gefärbtes Petri-Netz |0 (DE-588)4297173-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kristensen, Lars M. |e Verfasser |4 aut | |
| 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=017335404&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017335404 | |
Datensatz im Suchindex
| _version_ | 1826212255814909952 |
|---|---|
| adam_text |
CONTENTS
INTRODUCTION TO MODELLING AND VALIDATION
I
1.1
MODELLING AND SYSTEM DEVELOPMENT 1
1.2 COLOURED PETRI NETS 3
1.3 ABSTRACTION AND VISUALISATION 5
1.4 FORMAL MODELLING AND VERIFICATION 6
1.5 CPN TOOLS 8
1.6 INDUSTRIAL APPLICATIONS 11
NON-HIERARCHICAL COLOURED PETRI NETS
13
2.1
A SIMPLE EXAMPLE PROTOCOL 13
2.2 NET STRUCTURE AND INSCRIPTIONS 14
2.3 ENABLING AND OCCURRENCE OF TRANSITIONS 17
2.4 SECOND MODEL OF
THE
PROTOCOL 24
2.5 CONCURRENCY AND CONFLICT 29
2.6 GUARDS 34
2.7 INTERACTIVE AND AUTOMATIC SIMULATION 35
CPN ML PROGRAMMING
43
3.1 FUNCTIONAL PROGRAMMING 43
3.2 COLOUR SETS 45
3.3 EXPRESSIONS AND TYPES 56
3.4 FUNCTIONS 60
3.5 RECURSION AND LISTS 65
3.6 PATTERNS 70
3.7 COMPUTATION OF ENABLED BINDING ELEMENTS 73
FORMAL DEFINITION OF NON-HIERARCHICAL COLOURED PETRI NETS
79
4.1
MULTISETS 80
4.2 NET STRUCTURE AND INSCRIPTIONS 83
4.3 ENABLING AND OCCURRENCE OF STEPS 87
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/992291429
DIGITALISIERT DURCH
X CONTENTS
5 HIERARCHICAL COLOURED PETRI NETS
95
5.1
MODULES AND INTERFACES 95
5.2 MODULE INSTANCES AND HIERARCHY 100
5.3 INSTANCE FOLDING AND MODULE PARAMETERISATION 105
5.4 MODEL PARAMETERISATION 112
5.5 FUSION SETS 116
5.6 UNFOLDING HIERARCHICAL CPN MODELS 124
6 FORMAL DEFINITION OF HIERARCHICAL COLOURED PETRI NETS
127
6.1
MODULES 127
6.2 MODULE COMPOSITION 131
6.3 INSTANCES AND COMPOUND PLACES 136
6.4 ENABLING AND OCCURRENCE OF STEPS 141
7 STATE SPACES AND BEHAVIOURAL PROPERTIES
151
7.1
PROTOCOL FOR STATE SPACE ANALYSIS 152
7.2 STATE SPACES 153
7.3 STRONGLY-CONNECTED-COMPONENT GRAPHS 160
7.4 BEHAVIOURAL PROPERTIES 163
7.5 ERROR DIAGNOSTICS AND COUNTEREXAMPLES 180
7.6 LIMITATIONS OF STATE SPACES 185
8 ADVANCED STATE SPACE METHODS
189
8.1
STATE SPACE REDUCTION METHODS 189
8.2 SWEEP-LINE METHOD 191
8.3 SYMMETRY METHOD 194
8.4 EQUIVALENCE METHOD 198
9 FORMAL DEFINITION OF STATE SPACES AND BEHAVIOURAL PROPERTIES
203
9.1
DIRECTED GRAPHS 203
9.2 STATE SPACES 209
9.3 REACHABILITY PROPERTIES 211
9.4 BASIC BOUNDEDNESS PROPERTIES 213
9.5 GENERALISED BOUNDEDNESS PROPERTIES 216
9.6 HOME PROPERTIES 219
9.7 LIVENESS PROPERTIES 222
9.8 FAIRNESS PROPERTIES 227
10 TIMED COLOURED PETRI NETS
231
10.1 FIRST TIMED MODEL OF THE PROTOCOL 232
10.2 SECOND TIMED MODEL OF THE PROTOCOL 243
10.3 STATE SPACE ANALYSIS OF TIMED MODELS 247
10.4 TIME EQUIVALENCE METHOD 252
CONTENTS XI
11 FORMAL DEFINITION OF TIMED COLOURED PETRI NETS
257
11.1
TIMED MULTISETS 257
11.2 NET STRUCTURE AND INSCRIPTIONS 264
11.3 ENABLING AND OCCURRENCE OF STEPS 265
12 SIMULATION-BASED PERFORMANCE ANALYSIS
273
12.1
TIMED PROTOCOL FOR PERFORMANCE ANALYSIS 274
12.2 DATA COLLECTION FROM THE OCCURRING BINDING ELEMENTS 278
12.3
DATA COLLECTION FROM THE MARKINGS REACHED 281
12.4 COLLECTING DATA FROM THE FINAL MARKING 286
12.5 SIMULATION OUTPUT 287
12.6 CONDUCTING SIMULATION EXPERIMENTS 291
12.7 MODEL PARAMETERS AND CONFIGURATIONS 295
13 BEHAVIOURAL VISUALISATION
303
13.1 MESSAGE SEQUENCE CHARTS 304
13.2 SYSTEM-SPECIFIC INTERACTION GRAPHICS 308
14 EXAMPLES OF INDUSTRIAL APPLICATIONS
313
14.1
PROTOCOL DESIGN AT ERICSSON TELEBIT 314
14.2 REQUIREMENTS ENGINEERING AT SYSTEMATIC 329
14.3 EMBEDDED-SYSTEM DESIGN AT BANG AND OLUFSEN 338
14.4
SCHEDULING TOOL FOR AUSTRALIAN DEFENCE FORCES 350
15 TEACHING COLOURED PETRI NETS
363
15.1
COURSE CONTEXT AND AIMS 363
15.2 INTENDED LEARNING OUTCOMES 364
15.3 TEACHING AND ASSESSMENT METHODS 367
15.4 EXAMPLE OF A STUDENT PROJECT FROM THE COURSE 370
15.5 EXPERIENCES FROM TEACHING THE CPN COURSE 372
REFERENCES
375
INDEX
381 |
| any_adam_object | 1 |
| author | Jensen, Kurt Kristensen, Lars M. |
| author_facet | Jensen, Kurt Kristensen, Lars M. |
| author_role | aut aut |
| author_sort | Jensen, Kurt |
| author_variant | k j kj l m k lm lmk |
| building | Verbundindex |
| bvnumber | BV035414885 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 |
| callnumber-search | QA267 |
| callnumber-sort | QA 3267 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 132 |
| ctrlnum | (OCoLC)310400927 (DE-599)DNB992291429 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| edition | 1. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV035414885</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20091103</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090403s2009 gw ad|| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N07,0086</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">992291429</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642002830</subfield><subfield code="c">GB. : ca. EUR 58.80 (freier Pr.), ca. sfr 91.50 (freier Pr.)</subfield><subfield code="9">978-3-642-00283-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642002847</subfield><subfield code="9">978-3-642-00284-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642002830</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">10980361</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)310400927</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB992291429</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-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</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">004</subfield><subfield code="2">sdnb</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">modelling and validation of concurrent systems</subfield><subfield code="c">Kurt Jensen ; Lars M. Kristensen</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 384 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">242 mm x 193 mm</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="650" ind1=" " ind2="4"><subfield code="a">Gefärbtes Petri-Netz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Petri nets</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Gefärbtes Petri-Netz</subfield><subfield code="0">(DE-588)4297173-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Gefärbtes Petri-Netz</subfield><subfield code="0">(DE-588)4297173-1</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">Kristensen, Lars M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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=017335404&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-017335404</subfield></datafield></record></collection> |
| id | DE-604.BV035414885 |
| illustrated | Illustrated |
| indexdate | 2025-03-10T13:02:02Z |
| institution | BVB |
| isbn | 9783642002830 9783642002847 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017335404 |
| oclc_num | 310400927 |
| open_access_boolean | |
| owner | DE-20 DE-703 DE-824 DE-898 DE-BY-UBR DE-11 DE-29T DE-83 DE-384 |
| owner_facet | DE-20 DE-703 DE-824 DE-898 DE-BY-UBR DE-11 DE-29T DE-83 DE-384 |
| physical | XI, 384 S. Ill., graph. Darst. 242 mm x 193 mm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| spelling | Jensen, Kurt Verfasser aut Coloured Petri Nets modelling and validation of concurrent systems Kurt Jensen ; Lars M. Kristensen 1. Aufl. Berlin [u.a.] Springer 2009 XI, 384 S. Ill., graph. Darst. 242 mm x 193 mm txt rdacontent n rdamedia nc rdacarrier Gefärbtes Petri-Netz Petri nets Gefärbtes Petri-Netz (DE-588)4297173-1 gnd rswk-swf Gefärbtes Petri-Netz (DE-588)4297173-1 s DE-604 Kristensen, Lars M. Verfasser aut DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017335404&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Jensen, Kurt Kristensen, Lars M. Coloured Petri Nets modelling and validation of concurrent systems Gefärbtes Petri-Netz Petri nets Gefärbtes Petri-Netz (DE-588)4297173-1 gnd |
| subject_GND | (DE-588)4297173-1 |
| title | Coloured Petri Nets modelling and validation of concurrent systems |
| title_auth | Coloured Petri Nets modelling and validation of concurrent systems |
| title_exact_search | Coloured Petri Nets modelling and validation of concurrent systems |
| title_full | Coloured Petri Nets modelling and validation of concurrent systems Kurt Jensen ; Lars M. Kristensen |
| title_fullStr | Coloured Petri Nets modelling and validation of concurrent systems Kurt Jensen ; Lars M. Kristensen |
| title_full_unstemmed | Coloured Petri Nets modelling and validation of concurrent systems Kurt Jensen ; Lars M. Kristensen |
| title_short | Coloured Petri Nets |
| title_sort | coloured petri nets modelling and validation of concurrent systems |
| title_sub | modelling and validation of concurrent systems |
| topic | Gefärbtes Petri-Netz Petri nets Gefärbtes Petri-Netz (DE-588)4297173-1 gnd |
| topic_facet | Gefärbtes Petri-Netz Petri nets |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017335404&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT jensenkurt colouredpetrinetsmodellingandvalidationofconcurrentsystems AT kristensenlarsm colouredpetrinetsmodellingandvalidationofconcurrentsystems |