A taste of categorical Petri nets:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Berlin
Techn. Univ. Berlin, Fachbereich 13, Informatik
[1996]
|
| Series: | Technische Universität <Berlin> / Fachbereich Informatik: Bericht
[19]96,9 |
| Subjects: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007288306&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Abstract: | Abstract: "This report aims at providing introductory concepts for a categorical approach for the study of Petri Nets. After motivating why a categorical approach for studying petri nets might be desirable, we show that 'classical' place/transition Nets, usually seen as bipartite directed graphs, can be naturally given a monoid structure. Upon this idea we construct a category with place/transition Nets as objects and a suitable notion of place/transition Net morphisms as morphisms. We also verify the existence of ubiquitous categorical constructions in order to verify issues concerning cocompleteness. In the end, the usual notion of semantics of place/transition Nets by a marking graph construction is shown to be nothing else than an adjoint situation between two suitable functors. Further points of interest are pointed out in the bibliographic notes." |
| Physical Description: | 38 Bl. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010898048 | ||
| 003 | DE-604 | ||
| 005 | 19960920 | ||
| 007 | t| | ||
| 008 | 960805s1996 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 948016345 |2 DE-101 | |
| 035 | |a (OCoLC)35916556 | ||
| 035 | |a (DE-599)BVBBV010898048 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-83 | ||
| 100 | 1 | |a Ermel, Claudia |e Verfasser |0 (DE-588)114558914 |4 aut | |
| 245 | 1 | 0 | |a A taste of categorical Petri nets |c Claudia Ermel ; Alfio Martini |
| 264 | 1 | |a Berlin |b Techn. Univ. Berlin, Fachbereich 13, Informatik |c [1996] | |
| 300 | |a 38 Bl. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <Berlin> / Fachbereich Informatik: Bericht |v [19]96,9 | |
| 520 | 3 | |a Abstract: "This report aims at providing introductory concepts for a categorical approach for the study of Petri Nets. After motivating why a categorical approach for studying petri nets might be desirable, we show that 'classical' place/transition Nets, usually seen as bipartite directed graphs, can be naturally given a monoid structure. Upon this idea we construct a category with place/transition Nets as objects and a suitable notion of place/transition Net morphisms as morphisms. We also verify the existence of ubiquitous categorical constructions in order to verify issues concerning cocompleteness. In the end, the usual notion of semantics of place/transition Nets by a marking graph construction is shown to be nothing else than an adjoint situation between two suitable functors. Further points of interest are pointed out in the bibliographic notes." | |
| 650 | 4 | |a Categories (Mathematics) | |
| 650 | 4 | |a Morphisms (Mathematics) | |
| 650 | 4 | |a Petri nets | |
| 700 | 1 | |a Martini, Alfio |e Verfasser |4 aut | |
| 810 | 2 | |a Fachbereich Informatik: Bericht |t Technische Universität <Berlin> |v [19]96,9 |w (DE-604)BV000001083 |9 1996,9 | |
| 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=007288306&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007288306 | |
Record in the Search Index
| _version_ | 1818953218729705472 |
|---|---|
| any_adam_object | 1 |
| author | Ermel, Claudia Martini, Alfio |
| author_GND | (DE-588)114558914 |
| author_facet | Ermel, Claudia Martini, Alfio |
| author_role | aut aut |
| author_sort | Ermel, Claudia |
| author_variant | c e ce a m am |
| building | Verbundindex |
| bvnumber | BV010898048 |
| ctrlnum | (OCoLC)35916556 (DE-599)BVBBV010898048 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02288nam a2200361 cb4500</leader><controlfield tag="001">BV010898048</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960920 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960805s1996 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">948016345</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)35916556</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010898048</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">ger</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-83</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ermel, Claudia</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)114558914</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A taste of categorical Petri nets</subfield><subfield code="c">Claudia Ermel ; Alfio Martini</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Techn. Univ. Berlin, Fachbereich 13, Informatik</subfield><subfield code="c">[1996]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">38 Bl.</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="490" ind1="1" ind2=" "><subfield code="a">Technische Universität <Berlin> / Fachbereich Informatik: Bericht</subfield><subfield code="v">[19]96,9</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "This report aims at providing introductory concepts for a categorical approach for the study of Petri Nets. After motivating why a categorical approach for studying petri nets might be desirable, we show that 'classical' place/transition Nets, usually seen as bipartite directed graphs, can be naturally given a monoid structure. Upon this idea we construct a category with place/transition Nets as objects and a suitable notion of place/transition Net morphisms as morphisms. We also verify the existence of ubiquitous categorical constructions in order to verify issues concerning cocompleteness. In the end, the usual notion of semantics of place/transition Nets by a marking graph construction is shown to be nothing else than an adjoint situation between two suitable functors. Further points of interest are pointed out in the bibliographic notes."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Categories (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Morphisms (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Petri nets</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Martini, Alfio</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Fachbereich Informatik: Bericht</subfield><subfield code="t">Technische Universität <Berlin></subfield><subfield code="v">[19]96,9</subfield><subfield code="w">(DE-604)BV000001083</subfield><subfield code="9">1996,9</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=007288306&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-007288306</subfield></datafield></record></collection> |
| id | DE-604.BV010898048 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T10:02:47Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007288306 |
| oclc_num | 35916556 |
| open_access_boolean | |
| owner | DE-12 DE-83 |
| owner_facet | DE-12 DE-83 |
| physical | 38 Bl. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Techn. Univ. Berlin, Fachbereich 13, Informatik |
| record_format | marc |
| series2 | Technische Universität <Berlin> / Fachbereich Informatik: Bericht |
| spelling | Ermel, Claudia Verfasser (DE-588)114558914 aut A taste of categorical Petri nets Claudia Ermel ; Alfio Martini Berlin Techn. Univ. Berlin, Fachbereich 13, Informatik [1996] 38 Bl. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Technische Universität <Berlin> / Fachbereich Informatik: Bericht [19]96,9 Abstract: "This report aims at providing introductory concepts for a categorical approach for the study of Petri Nets. After motivating why a categorical approach for studying petri nets might be desirable, we show that 'classical' place/transition Nets, usually seen as bipartite directed graphs, can be naturally given a monoid structure. Upon this idea we construct a category with place/transition Nets as objects and a suitable notion of place/transition Net morphisms as morphisms. We also verify the existence of ubiquitous categorical constructions in order to verify issues concerning cocompleteness. In the end, the usual notion of semantics of place/transition Nets by a marking graph construction is shown to be nothing else than an adjoint situation between two suitable functors. Further points of interest are pointed out in the bibliographic notes." Categories (Mathematics) Morphisms (Mathematics) Petri nets Martini, Alfio Verfasser aut Fachbereich Informatik: Bericht Technische Universität <Berlin> [19]96,9 (DE-604)BV000001083 1996,9 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007288306&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Ermel, Claudia Martini, Alfio A taste of categorical Petri nets Categories (Mathematics) Morphisms (Mathematics) Petri nets |
| title | A taste of categorical Petri nets |
| title_auth | A taste of categorical Petri nets |
| title_exact_search | A taste of categorical Petri nets |
| title_full | A taste of categorical Petri nets Claudia Ermel ; Alfio Martini |
| title_fullStr | A taste of categorical Petri nets Claudia Ermel ; Alfio Martini |
| title_full_unstemmed | A taste of categorical Petri nets Claudia Ermel ; Alfio Martini |
| title_short | A taste of categorical Petri nets |
| title_sort | a taste of categorical petri nets |
| topic | Categories (Mathematics) Morphisms (Mathematics) Petri nets |
| topic_facet | Categories (Mathematics) Morphisms (Mathematics) Petri nets |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007288306&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000001083 |
| work_keys_str_mv | AT ermelclaudia atasteofcategoricalpetrinets AT martinialfio atasteofcategoricalpetrinets |