On behaviour equivalence of two classes of safe Petri nets: persistent and conflict free nets
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | German |
Veröffentlicht: |
Hamburg
Bibliothek des Fachbereichs Informatik, Univ.
1995
|
Schriftenreihe: | Universität <Hamburg> / Fachbereich Informatik: Bericht
175 |
Beschreibung: | 15 S. graph. Darst. |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV010378048 | ||
003 | DE-604 | ||
005 | 19950926 | ||
007 | t | ||
008 | 950904s1995 gw d||| t||| 00||| ger d | ||
016 | 7 | |a 945221053 |2 DE-101 | |
035 | |a (OCoLC)75616358 | ||
035 | |a (DE-599)BVBBV010378048 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a ger | |
044 | |a gw |c DE | ||
049 | |a DE-29T |a DE-12 | ||
088 | |a FBI HH B 95 175 | ||
100 | 1 | |a Kovalyov, Andrei |e Verfasser |4 aut | |
245 | 1 | 0 | |a On behaviour equivalence of two classes of safe Petri nets |b persistent and conflict free nets |c Andrei Kovalyov |
264 | 1 | |a Hamburg |b Bibliothek des Fachbereichs Informatik, Univ. |c 1995 | |
300 | |a 15 S. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Universität <Hamburg> / Fachbereich Informatik: Bericht |v 175 | |
810 | 2 | |a Fachbereich Informatik: Bericht |t Universität <Hamburg> |v 175 |w (DE-604)BV000001174 |9 175 | |
999 | |a oai:aleph.bib-bvb.de:BVB01-006909138 |
Datensatz im Suchindex
_version_ | 1804124802405892096 |
---|---|
any_adam_object | |
author | Kovalyov, Andrei |
author_facet | Kovalyov, Andrei |
author_role | aut |
author_sort | Kovalyov, Andrei |
author_variant | a k ak |
building | Verbundindex |
bvnumber | BV010378048 |
ctrlnum | (OCoLC)75616358 (DE-599)BVBBV010378048 |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01026nam a2200301 cb4500</leader><controlfield tag="001">BV010378048</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950926 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950904s1995 gw d||| t||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">945221053</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75616358</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010378048</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-29T</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">FBI HH B 95 175</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kovalyov, Andrei</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">On behaviour equivalence of two classes of safe Petri nets</subfield><subfield code="b">persistent and conflict free nets</subfield><subfield code="c">Andrei Kovalyov</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hamburg</subfield><subfield code="b">Bibliothek des Fachbereichs Informatik, Univ.</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">15 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="490" ind1="1" ind2=" "><subfield code="a">Universität <Hamburg> / Fachbereich Informatik: Bericht</subfield><subfield code="v">175</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Fachbereich Informatik: Bericht</subfield><subfield code="t">Universität <Hamburg></subfield><subfield code="v">175</subfield><subfield code="w">(DE-604)BV000001174</subfield><subfield code="9">175</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006909138</subfield></datafield></record></collection> |
id | DE-604.BV010378048 |
illustrated | Illustrated |
indexdate | 2024-07-09T17:51:27Z |
institution | BVB |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006909138 |
oclc_num | 75616358 |
open_access_boolean | |
owner | DE-29T DE-12 |
owner_facet | DE-29T DE-12 |
physical | 15 S. graph. Darst. |
publishDate | 1995 |
publishDateSearch | 1995 |
publishDateSort | 1995 |
publisher | Bibliothek des Fachbereichs Informatik, Univ. |
record_format | marc |
series2 | Universität <Hamburg> / Fachbereich Informatik: Bericht |
spelling | Kovalyov, Andrei Verfasser aut On behaviour equivalence of two classes of safe Petri nets persistent and conflict free nets Andrei Kovalyov Hamburg Bibliothek des Fachbereichs Informatik, Univ. 1995 15 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Universität <Hamburg> / Fachbereich Informatik: Bericht 175 Fachbereich Informatik: Bericht Universität <Hamburg> 175 (DE-604)BV000001174 175 |
spellingShingle | Kovalyov, Andrei On behaviour equivalence of two classes of safe Petri nets persistent and conflict free nets |
title | On behaviour equivalence of two classes of safe Petri nets persistent and conflict free nets |
title_auth | On behaviour equivalence of two classes of safe Petri nets persistent and conflict free nets |
title_exact_search | On behaviour equivalence of two classes of safe Petri nets persistent and conflict free nets |
title_full | On behaviour equivalence of two classes of safe Petri nets persistent and conflict free nets Andrei Kovalyov |
title_fullStr | On behaviour equivalence of two classes of safe Petri nets persistent and conflict free nets Andrei Kovalyov |
title_full_unstemmed | On behaviour equivalence of two classes of safe Petri nets persistent and conflict free nets Andrei Kovalyov |
title_short | On behaviour equivalence of two classes of safe Petri nets |
title_sort | on behaviour equivalence of two classes of safe petri nets persistent and conflict free nets |
title_sub | persistent and conflict free nets |
volume_link | (DE-604)BV000001174 |
work_keys_str_mv | AT kovalyovandrei onbehaviourequivalenceoftwoclassesofsafepetrinetspersistentandconflictfreenets |