High-level Petri nets: theory and application
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Berlin u.a.
Springer
1991
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | IX, 724 S. graph. Darst. |
| ISBN: | 354054125X 038754125X |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004665189 | ||
| 003 | DE-604 | ||
| 005 | 20220302 | ||
| 007 | t | ||
| 008 | 920109s1991 d||| |||| 00||| eng d | ||
| 020 | |a 354054125X |9 3-540-54125-X | ||
| 020 | |a 038754125X |9 0-387-54125-X | ||
| 035 | |a (OCoLC)23732561 | ||
| 035 | |a (DE-599)BVBBV004665189 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-91 |a DE-473 |a DE-703 |a DE-739 |a DE-384 |a DE-20 |a DE-29T |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 084 | |a QH 450 |0 (DE-625)141593: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 084 | |a DAT 516f |2 stub | ||
| 245 | 1 | 0 | |a High-level Petri nets |b theory and application |c K. Jensen ... (eds.) |
| 246 | 1 | 3 | |a High level Petri nets |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1991 | |
| 300 | |a IX, 724 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Petri nets | |
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Jensen, Kurt |e Sonstige |4 oth | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002865942&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002865942 | ||
Record in the Search Index
| _version_ | 1804118783874301952 |
|---|---|
| adam_text | K Jensen G Rozenberg (Eds )
High-level
Petri Nets
Theory and Application
Springer-Verlag
Berlin Heidelberg New York
London Paris Tokyo
Hong Kong Barcelona
Budapest
Predicate / Transition Nets
H J Genrich
W Brauer, W Reisig and G Rozenberg (eds ): Petri nets: central models and their properties
Advances in Petri nets 1986, part I Lecture Notes in
Computer Science, vol 254 Springer, Berlin Heidelberg New York 1987, pp 207-247
Abstract: The paper deals with conceptual, mathematical and practical aspects of
developing a net theoretic system model The model presented is based on common
techniques of modelling static systems as structured sets of individuals (relational
structures) These structures are dynamised by allowing some relations between
individuals to be changed by the processes of the modelled system
Keywords: Predicate/transition nets (PrT-nets); higher-level Petri nets; variable rela-
tional structures; logical and linear-algebraic system invariants
Contents
1 Introduction
2 Predicate/Transition Nets
2 1 The Language for Structures
2 2 The Basic Form of PrT-Nets
2 3 The CE-Semantics of PrT-Nets
2 4 The Symbolic Transition Rule
3 Extensions of the Basic Form of PrT-Nets
3 1 Many-sorted Structures
3 2 More General Places
3 3 More General Arcs
3 4 Multi-Sets and the Weak Transition Rule
3 5 Place Projections
3 6 Structures as Parameters
3 7 Other Formalisms for Structures
4 Logical Invariants of PrT-Nets
4 1 Dead Transitions and Universal Invariants
4 2 Existential Invariants and Skolem Places
5 Linear Algebraic Analysis of PrT-Nets
5 1 Some Basic Mathematics
5 2 The Representation of Linear Transformations
5 3 The Compression of Matrices
5 4 Structured Colours and Individual Variables
5 5 Computing 5-invariants
5 6 Two Examples
Conclusion, References
Table of Contents
Section A: Predicate / Transition Nets
and Coloured Petri Nets
1 Predicate / Transition Nets 3
H J Genrich
2 Coloured Petri Nets: A High Level Language for System Design
and Analysis 44
K Jensen
Section B: High-level Nets and Abstract Data Types
3 Many-sorted High-level Nets 123
J Billington
4 Petri Nets and Algebraic Specifications 137
W Reisig
5 Types and Modules for Net Specifications 171
B Kramer and H W Schmidt
6 OBJSA Nets: A Class of High-level Nets Having Objects
as Domains 189
E Battiston, F De Cindio and G Mauri
Section C: Hierarchical High-level Nets
7 Hierarchies in Coloured Petri Nets 215
P Huber, K Jensen and R M Shapiro
Section D: Analysis by Means of Invariants
8 Analysing Nets by the Invariant Method 247
G Memmi and J Vautherin
VII
9 Linear Invariants in Commutative High Level Nets 284
J M Couvreur and J Martinez
10 Generalized Inverses and the Calculation of Symbolic
Invariants for Coloured Petri Nets 303
M Silva, J Martinez, P Ladet and H Alia
Section E: Analysis by Means of Reachability Graphs
11 Reachability Trees for High-level Petri Nets 319
P Huber, A M Jensen, L O Jepsen and K Jensen
12 Parameterized Reachability Trees for Predicate/Transition Nets 351
M Lindqvist
13 On Well-Formed Coloured Nets and Their Symbolic
Reachability Graph 373
G Chiola, C Dutheillet, G Franceschinis and S Haddad
Section F: Analysis by Means of Transformations
14 A Reduction Theory for Coloured Nets 399
S Haddad
15 Equivalence Transformations of PrT-Nets 426
H J Genrich
Section G: Analysis of Stochastic Nets
16 Stochastic High-level Petri Nets and Applications 459
C Lin and D C Marinescu
17 Regular Stochastic Petri Nets 470
C Dutheillet and S Haddad
18 Automated Construction of Compound Markov Chains from
Generalized Stochastic High-level Petri Nets 494
J A Carrasco
19 Stochastic Well-Formed Coloured Nets and Multiprocessor
Modelling Applications 504
G Chiola, C Dutheillet, G Franceschinis and S Haddad
VIII
Section H: Applications of High-level Nets
20 An Example of Modelling and Evaluation of a Concurrent Program
Using Coloured Stochastic Petri Nets: Lamport s Fast Mutual
Exclusion Algorithm 533
G Balbo, S C Bruell, P Chen and G Chiola
21 PROTEAN: A High-level Petri Net Tool for the Specification
and Verification of Communication Protocols 560
J Billington, G R Wheeler and M C Wilbur-Ham
22 Specification and Properties
of a Cache Coherence Protocol Model 576
C Girault, C Chatelain and S Haddad
23 Use of Reentrant Nets in Modular Analysis of Colored Nets 596
G Chehaibar
24 Modeling, Validation and Software Implementation of Production
Systems Using High Level Petri Nets 618
J Martinez, P Muro and M Silva
25 PROTOB: An Object Oriented Methodology for Developing
Discrete Event Dynamic Systems 624
M Baldassari and G Bruno
26 An Integrated Software Development Methodology Based on
Hierarchical Colored Petri Nets 649
V Pinci and R M Shapiro
27 Validation of a VLSI Chip Using
Hierarchical Colored Petri Nets 667
R M Shapiro
Section I: Computer Tools for High-level Nets
28 Computer Tools for High-level Petri Nets 691
F Feldbrugge and K Jensen
Appendix
Petri Net Activities 719
Contributing Authors 721
IX
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV004665189 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 |
| callnumber-search | QA267 |
| callnumber-sort | QA 3267 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | QH 450 ST 130 ST 132 |
| classification_tum | DAT 516f |
| ctrlnum | (OCoLC)23732561 (DE-599)BVBBV004665189 |
| 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 Wirtschaftswissenschaften |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01605nam a2200433 c 4500</leader><controlfield tag="001">BV004665189</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220302 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920109s1991 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354054125X</subfield><subfield code="9">3-540-54125-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">038754125X</subfield><subfield code="9">0-387-54125-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)23732561</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004665189</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="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</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">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 450</subfield><subfield code="0">(DE-625)141593:</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="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">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">High-level Petri nets</subfield><subfield code="b">theory and application</subfield><subfield code="c">K. Jensen ... (eds.)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">High level Petri nets</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 724 S.</subfield><subfield code="b">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="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-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">Jensen, Kurt</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS 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=002865942&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002865942</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV004665189 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:15:47Z |
| institution | BVB |
| isbn | 354054125X 038754125X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002865942 |
| oclc_num | 23732561 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-91 DE-BY-TUM DE-473 DE-BY-UBG DE-703 DE-739 DE-384 DE-20 DE-29T DE-706 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-91 DE-BY-TUM DE-473 DE-BY-UBG DE-703 DE-739 DE-384 DE-20 DE-29T DE-706 DE-634 DE-83 DE-11 DE-188 |
| physical | IX, 724 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Springer |
| record_format | marc |
| spelling | High-level Petri nets theory and application K. Jensen ... (eds.) High level Petri nets Berlin u.a. Springer 1991 IX, 724 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturangaben Petri nets Petri-Netz (DE-588)4045388-1 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Petri-Netz (DE-588)4045388-1 s DE-604 Jensen, Kurt Sonstige oth HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002865942&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | High-level Petri nets theory and application Petri nets Petri-Netz (DE-588)4045388-1 gnd |
| subject_GND | (DE-588)4045388-1 (DE-588)4143413-4 |
| title | High-level Petri nets theory and application |
| title_alt | High level Petri nets |
| title_auth | High-level Petri nets theory and application |
| title_exact_search | High-level Petri nets theory and application |
| title_full | High-level Petri nets theory and application K. Jensen ... (eds.) |
| title_fullStr | High-level Petri nets theory and application K. Jensen ... (eds.) |
| title_full_unstemmed | High-level Petri nets theory and application K. Jensen ... (eds.) |
| title_short | High-level Petri nets |
| title_sort | high level petri nets theory and application |
| title_sub | theory and application |
| topic | Petri nets Petri-Netz (DE-588)4045388-1 gnd |
| topic_facet | Petri nets Petri-Netz Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002865942&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT jensenkurt highlevelpetrinetstheoryandapplication AT jensenkurt highlevelpetrinets |