Petri nets and abstract data types:
Abstract: "Petri Nets gain a great deal of modelling flexibility when using freely structured "individual" tokens (instead of "black dots"). Any kind of data structure and structured objects can be represented this way, together with a formal description of their dynamic cha...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
München
1989
|
| Schriftenreihe: | Technische Universität <München>: TUM
8904 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Petri Nets gain a great deal of modelling flexibility when using freely structured "individual" tokens (instead of "black dots"). Any kind of data structure and structured objects can be represented this way, together with a formal description of their dynamic change. Algebraic specifications turned out adequate and flexible for dealing with structured objects. We will use this formalism to construct Petri Nets with individual tokens and to formulate corresponding analysis techniques This calculus makes a couple of issues for such nets tractable as usual in algebriac specifications, e.g. the relationship between syntactical and semantical objects, the note of initial algebras, the canonical extension of assignments to arbitrary terms, etc. Place- and transition-invariants are a useful analysis tool for conventional Petri nets. We derive a corresponding calculus for nets with individual tokens, based on simple term substitution. |
| Beschreibung: | I, 48 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009258236 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940313s1989 |||| 00||| eng d | ||
| 035 | |a (OCoLC)22536428 | ||
| 035 | |a (DE-599)BVBBV009258236 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Reisig, Wolfgang |d 1950- |e Verfasser |0 (DE-588)120078422 |4 aut | |
| 245 | 1 | 0 | |a Petri nets and abstract data types |
| 264 | 1 | |a München |c 1989 | |
| 300 | |a I, 48 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <München>: TUM |v 8904 | |
| 520 | 3 | |a Abstract: "Petri Nets gain a great deal of modelling flexibility when using freely structured "individual" tokens (instead of "black dots"). Any kind of data structure and structured objects can be represented this way, together with a formal description of their dynamic change. Algebraic specifications turned out adequate and flexible for dealing with structured objects. We will use this formalism to construct Petri Nets with individual tokens and to formulate corresponding analysis techniques | |
| 520 | 3 | |a This calculus makes a couple of issues for such nets tractable as usual in algebriac specifications, e.g. the relationship between syntactical and semantical objects, the note of initial algebras, the canonical extension of assignments to arbitrary terms, etc. Place- and transition-invariants are a useful analysis tool for conventional Petri nets. We derive a corresponding calculus for nets with individual tokens, based on simple term substitution. | |
| 650 | 4 | |a Abstract data types (Computer science) | |
| 650 | 4 | |a Petri nets | |
| 830 | 0 | |a Technische Universität <München>: TUM |v 8904 |w (DE-604)BV006185376 |9 8904 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006160296 | ||
Datensatz im Suchindex
| _version_ | 1804123705528287232 |
|---|---|
| any_adam_object | |
| author | Reisig, Wolfgang 1950- |
| author_GND | (DE-588)120078422 |
| author_facet | Reisig, Wolfgang 1950- |
| author_role | aut |
| author_sort | Reisig, Wolfgang 1950- |
| author_variant | w r wr |
| building | Verbundindex |
| bvnumber | BV009258236 |
| ctrlnum | (OCoLC)22536428 (DE-599)BVBBV009258236 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01859nam a2200313 cb4500</leader><controlfield tag="001">BV009258236</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940313s1989 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22536428</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009258236</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-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Reisig, Wolfgang</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120078422</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Petri nets and abstract data types</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">I, 48 S.</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">Technische Universität <München>: TUM</subfield><subfield code="v">8904</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Petri Nets gain a great deal of modelling flexibility when using freely structured "individual" tokens (instead of "black dots"). Any kind of data structure and structured objects can be represented this way, together with a formal description of their dynamic change. Algebraic specifications turned out adequate and flexible for dealing with structured objects. We will use this formalism to construct Petri Nets with individual tokens and to formulate corresponding analysis techniques</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">This calculus makes a couple of issues for such nets tractable as usual in algebriac specifications, e.g. the relationship between syntactical and semantical objects, the note of initial algebras, the canonical extension of assignments to arbitrary terms, etc. Place- and transition-invariants are a useful analysis tool for conventional Petri nets. We derive a corresponding calculus for nets with individual tokens, based on simple term substitution.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Abstract data types (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Petri nets</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Technische Universität <München>: TUM</subfield><subfield code="v">8904</subfield><subfield code="w">(DE-604)BV006185376</subfield><subfield code="9">8904</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006160296</subfield></datafield></record></collection> |
| id | DE-604.BV009258236 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:34:01Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006160296 |
| oclc_num | 22536428 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | I, 48 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| record_format | marc |
| series | Technische Universität <München>: TUM |
| series2 | Technische Universität <München>: TUM |
| spelling | Reisig, Wolfgang 1950- Verfasser (DE-588)120078422 aut Petri nets and abstract data types München 1989 I, 48 S. txt rdacontent n rdamedia nc rdacarrier Technische Universität <München>: TUM 8904 Abstract: "Petri Nets gain a great deal of modelling flexibility when using freely structured "individual" tokens (instead of "black dots"). Any kind of data structure and structured objects can be represented this way, together with a formal description of their dynamic change. Algebraic specifications turned out adequate and flexible for dealing with structured objects. We will use this formalism to construct Petri Nets with individual tokens and to formulate corresponding analysis techniques This calculus makes a couple of issues for such nets tractable as usual in algebriac specifications, e.g. the relationship between syntactical and semantical objects, the note of initial algebras, the canonical extension of assignments to arbitrary terms, etc. Place- and transition-invariants are a useful analysis tool for conventional Petri nets. We derive a corresponding calculus for nets with individual tokens, based on simple term substitution. Abstract data types (Computer science) Petri nets Technische Universität <München>: TUM 8904 (DE-604)BV006185376 8904 |
| spellingShingle | Reisig, Wolfgang 1950- Petri nets and abstract data types Technische Universität <München>: TUM Abstract data types (Computer science) Petri nets |
| title | Petri nets and abstract data types |
| title_auth | Petri nets and abstract data types |
| title_exact_search | Petri nets and abstract data types |
| title_full | Petri nets and abstract data types |
| title_fullStr | Petri nets and abstract data types |
| title_full_unstemmed | Petri nets and abstract data types |
| title_short | Petri nets and abstract data types |
| title_sort | petri nets and abstract data types |
| topic | Abstract data types (Computer science) Petri nets |
| topic_facet | Abstract data types (Computer science) Petri nets |
| volume_link | (DE-604)BV006185376 |
| work_keys_str_mv | AT reisigwolfgang petrinetsandabstractdatatypes |