Automatically assigned DDC number: 0040151135

Manually assigned DDC number: 0040151135

Number of references: 16

Title: Transactions and Zero-Safe Nets

Author:

Author:

Subject: Roberto Bruni,Ugo Montanari Transactions and Zero-Safe Nets

Description: When employing Petri nets to model distributed systems, one must be aware that the basic activities of each component can vary in duration and can involve smaller internal activities, i.e., that transitions are conceptually refined into transactions. We present an approach to the modeling of transactions based on zero-safe nets. They extend ordinary pt nets with a simple mechanism for transition synchronization. We show that the net theory developed under the two most diffused semantic interpretations (collective token and individual token philosophies) can be uniformly adapted to zero-safe nets. In particular, we show that each zero-safe net has associated two pt nets which represent the abstract counterparts of the modeled system according to the two philosophies. We show several applications of the framework, a distributed interpreter for zs nets based on classical net unfolding (here extended with a commit rule) and discuss some extensions to other net flavours.

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2000-08-01

Pubyear: 2001

Format: ps

Identifier: http://citeseer.ist.psu.edu/322602.html

Source: http://www.di.unipi.it/~bruni/publications/uapnzs.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/129523.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="1378"   Title="An   Event   Structure   Semantics   for   {P/T}   Contextual   Nets:   Asymmetric   Event   Structures,">

            <identifier   Org="ISBN:1852332018"   Paper_ID="/129523.html"   Extracted="1852332018"   DDC="629.45"   Normalized_DDC="62945"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540205373"   Paper_ID="/129523.html"   Extracted="3540205373"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540430679"   Paper_ID="/129523.html"   Extracted="3540430679"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354043190X"   Paper_ID="/129523.html"   Extracted="354043190X"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540647813"   Paper_ID="/129523.html"   Extracted="3540647813"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540657193"   Paper_ID="/129523.html"   Extracted="3540657193"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540672036"   Paper_ID="/129523.html"   Extracted="3540672036"   DDC="511/.5"   Normalized_DDC="5115"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540677151"   Paper_ID="/129523.html"   Extracted="3540677151"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540678972"   Paper_ID="/129523.html"   Extracted="3540678972"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540892869"   Paper_ID="/129523.html"   Extracted="3540892869"   />

            <identifier   Org="ISBN:981024021X"   Paper_ID="/129523.html"   Extracted="981024021X"   DDC="511.5"   Normalized_DDC="5115"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:9812389652"   Paper_ID="/129523.html"   Extracted="9812389652"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/512203.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Tile   Logic   for   Synchronized   Rewriting   of   Concurrent   Systems,">

            <identifier   Org="ISBN:0792379683"   Paper_ID="/512203.html"   Extracted="0792379683"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1402006071"   Paper_ID="/512203.html"   Extracted="1402006071"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540223452"   Paper_ID="/512203.html"   Extracted="3540223452"   DDC="006.333"   Normalized_DDC="006333"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540249362"   Paper_ID="/512203.html"   Extracted="3540249362"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540430679"   Paper_ID="/512203.html"   Extracted="3540430679"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540657185"   Paper_ID="/512203.html"   Extracted="3540657185"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540676937"   Paper_ID="/512203.html"   Extracted="3540676937"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540678972"   Paper_ID="/512203.html"   Extracted="3540678972"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540719407"   Paper_ID="/512203.html"   Extracted="3540719407"   />

            <identifier   Org="ISBN:354077565X"   Paper_ID="/512203.html"   Extracted="354077565X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:354093653X"   Paper_ID="/512203.html"   Extracted="354093653X"   DDC="530.0148"   Normalized_DDC="5300148"   Normalized_Weight="0.1"   />

      </rec>

      <rec   ID="/507775.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="1538"   Title="A   Comparison   of   {Petri}   Net   Semantics   under   the   Collective   Token   Philosophy,">

            <identifier   Org="ISBN:3540430679"   Paper_ID="/507775.html"   Extracted="3540430679"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540653880"   Paper_ID="/507775.html"   Extracted="3540653880"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540676937"   Paper_ID="/507775.html"   Extracted="3540676937"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540677151"   Paper_ID="/507775.html"   Extracted="3540677151"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/236803.html"   Type="article"   CiteSeer_Book="Electronic   Notes   in   Theoretical   Computer   Science"   CiteSeer_Volume="29"   Title="Functorial   semantics   for   Petri   nets   under   the   individual   token   philosophy,">

            <identifier   Org="ISBN:3540205373"   Paper_ID="/236803.html"   Extracted="3540205373"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540430679"   Paper_ID="/236803.html"   Extracted="3540430679"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540676937"   Paper_ID="/236803.html"   Extracted="3540676937"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:9812389652"   Paper_ID="/236803.html"   Extracted="9812389652"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/145035.html"   Type="inproceedings"   CiteSeer_Book="Workshop   on   Algebraic   Development   Techniques"   CiteSeer_Volume=""   Title="Zero-safe   nets:   The   individual   token   approach,">

            <identifier   Org="ISBN:3540430679"   Paper_ID="/145035.html"   Extracted="3540430679"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540642994"   Paper_ID="/145035.html"   Extracted="3540642994"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540676937"   Paper_ID="/145035.html"   Extracted="3540676937"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540686762"   Paper_ID="/145035.html"   Extracted="3540686762"   />

      </rec>

      <rec   ID="/206877.html"   Type="article"   CiteSeer_Book="Information   and   Computation"   CiteSeer_Volume="156"   Title="Zero-Safe   Nets:   Comparing   the   Collective   and   Individual   Token   Approaches,">

            <identifier   Org="ISBN:1402081405"   Paper_ID="/206877.html"   Extracted="1402081405"   DDC="004.01"   Normalized_DDC="00401"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540205381"   Paper_ID="/206877.html"   Extracted="3540205381"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540221646"   Paper_ID="/206877.html"   Extracted="3540221646"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540222618"   Paper_ID="/206877.html"   Extracted="3540222618"   DDC="511.3/5"   Normalized_DDC="51135"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540283099"   Paper_ID="/206877.html"   Extracted="3540283099"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540430679"   Paper_ID="/206877.html"   Extracted="3540430679"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540440437"   Paper_ID="/206877.html"   Extracted="3540440437"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354044310X"   Paper_ID="/206877.html"   Extracted="354044310X"   DDC="511/.5"   Normalized_DDC="5115"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540676937"   Paper_ID="/206877.html"   Extracted="3540676937"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540678239"   Paper_ID="/206877.html"   Extracted="3540678239"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540686762"   Paper_ID="/206877.html"   Extracted="3540686762"   />

            <identifier   Org="ISBN:3540921877"   Paper_ID="/206877.html"   Extracted="3540921877"   />

            <identifier   Org="ISBN:9812389652"   Paper_ID="/206877.html"   Extracted="9812389652"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/303750.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="1825"   Title="Executing   Transactions   in   Zero-Safe   Nets,">

            <identifier   Org="ISBN:3540222618"   Paper_ID="/303750.html"   Extracted="3540222618"   DDC="511.3/5"   Normalized_DDC="51135"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540430679"   Paper_ID="/303750.html"   Extracted="3540430679"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540676937"   Paper_ID="/303750.html"   Extracted="3540676937"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540678239"   Paper_ID="/303750.html"   Extracted="3540678239"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540735488"   Paper_ID="/303750.html"   Extracted="3540735488"   />

            <identifier   Org="ISBN:9812389652"   Paper_ID="/303750.html"   Extracted="9812389652"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/233800.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Zero-safe   nets:   Composing   nets   via   transition   synchronization,">

            <identifier   Org="ISBN:3540430679"   Paper_ID="/233800.html"   Extracted="3540430679"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540676937"   Paper_ID="/233800.html"   Extracted="3540676937"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/315622.html"   Type="inproceedings"   CiteSeer_Book="Automata   Languages   and   Programming"   CiteSeer_Volume=""   Title="Algebraic   Models   for   Contextual   Nets,">

            <identifier   Org="ISBN:3540430679"   Paper_ID="/315622.html"   Extracted="3540430679"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540677151"   Paper_ID="/315622.html"   Extracted="3540677151"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540686762"   Paper_ID="/315622.html"   Extracted="3540686762"   />

            <identifier   Org="ISBN:9812389652"   Paper_ID="/315622.html"   Extracted="9812389652"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/172835.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="1337"   Title="A   Uniform   Approach   to   {Petri}   Nets,">

            <identifier   Org="ISBN:3540249362"   Paper_ID="/172835.html"   Extracted="3540249362"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540430679"   Paper_ID="/172835.html"   Extracted="3540430679"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:354043190X"   Paper_ID="/172835.html"   Extracted="354043190X"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:354063746X"   Paper_ID="/172835.html"   Extracted="354063746X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540643036"   Paper_ID="/172835.html"   Extracted="3540643036"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540662464"   Paper_ID="/172835.html"   Extracted="3540662464"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:9812389652"   Paper_ID="/172835.html"   Extracted="9812389652"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/61807.html"   Type="article"   CiteSeer_Book="Theoretical   Computer   Science"   CiteSeer_Volume="153"   Title="Process   versus   Unfolding   Semantics   for   Place/Transition   Petri   Nets,">

            <identifier   Org="ISBN:3540205373"   Paper_ID="/61807.html"   Extracted="3540205373"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540249362"   Paper_ID="/61807.html"   Extracted="3540249362"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540425225"   Paper_ID="/61807.html"   Extracted="3540425225"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540430679"   Paper_ID="/61807.html"   Extracted="3540430679"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540631410"   Paper_ID="/61807.html"   Extracted="3540631410"   />

            <identifier   Org="ISBN:354063746X"   Paper_ID="/61807.html"   Extracted="354063746X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540642994"   Paper_ID="/61807.html"   Extracted="3540642994"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540647813"   Paper_ID="/61807.html"   Extracted="3540647813"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540653066"   Paper_ID="/61807.html"   Extracted="3540653066"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540653880"   Paper_ID="/61807.html"   Extracted="3540653880"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540657193"   Paper_ID="/61807.html"   Extracted="3540657193"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540676937"   Paper_ID="/61807.html"   Extracted="3540676937"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540678972"   Paper_ID="/61807.html"   Extracted="3540678972"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540686762"   Paper_ID="/61807.html"   Extracted="3540686762"   />

            <identifier   Org="ISBN:3540708804"   Paper_ID="/61807.html"   Extracted="3540708804"   />

            <identifier   Org="ISBN:9812389652"   Paper_ID="/61807.html"   Extracted="9812389652"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/22571.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="1337"   Title="Representation   Theorems   for   {Petri}   Nets,">

            <identifier   Org="ISBN:3540202161"   Paper_ID="/22571.html"   Extracted="3540202161"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540205373"   Paper_ID="/22571.html"   Extracted="3540205373"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540208135"   Paper_ID="/22571.html"   Extracted="3540208135"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540430679"   Paper_ID="/22571.html"   Extracted="3540430679"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354063746X"   Paper_ID="/22571.html"   Extracted="354063746X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540642994"   Paper_ID="/22571.html"   Extracted="3540642994"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540653880"   Paper_ID="/22571.html"   Extracted="3540653880"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540686762"   Paper_ID="/22571.html"   Extracted="3540686762"   />

            <identifier   Org="ISBN:9812389652"   Paper_ID="/22571.html"   Extracted="9812389652"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:9812568891"   Paper_ID="/22571.html"   Extracted="9812568891"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.1111111111111111"   />

      </rec>

      <rec   ID="/26238.html"   Type="article"   CiteSeer_Book="Acta   Informatica"   CiteSeer_Volume="32"   Title="Contextual   Nets,">

            <identifier   Org="ISBN:0262193612"   Paper_ID="/26238.html"   Extracted="0262193612"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1852332018"   Paper_ID="/26238.html"   Extracted="1852332018"   DDC="629.45"   Normalized_DDC="62945"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540202161"   Paper_ID="/26238.html"   Extracted="3540202161"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540205373"   Paper_ID="/26238.html"   Extracted="3540205373"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540222618"   Paper_ID="/26238.html"   Extracted="3540222618"   DDC="511.3/5"   Normalized_DDC="51135"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540249362"   Paper_ID="/26238.html"   Extracted="3540249362"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540403345"   Paper_ID="/26238.html"   Extracted="3540403345"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540429859"   Paper_ID="/26238.html"   Extracted="3540429859"   DDC="004.015118"   Normalized_DDC="004015118"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540430679"   Paper_ID="/26238.html"   Extracted="3540430679"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540584315"   Paper_ID="/26238.html"   Extracted="3540584315"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540586016"   Paper_ID="/26238.html"   Extracted="3540586016"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540591559"   Paper_ID="/26238.html"   Extracted="3540591559"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540613633"   Paper_ID="/26238.html"   Extracted="3540613633"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540631410"   Paper_ID="/26238.html"   Extracted="3540631410"   />

            <identifier   Org="ISBN:3540643001"   Paper_ID="/26238.html"   Extracted="3540643001"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540647813"   Paper_ID="/26238.html"   Extracted="3540647813"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540662464"   Paper_ID="/26238.html"   Extracted="3540662464"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540677151"   Paper_ID="/26238.html"   Extracted="3540677151"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540678972"   Paper_ID="/26238.html"   Extracted="3540678972"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540892869"   Paper_ID="/26238.html"   Extracted="3540892869"   />

      </rec>

      <rec   ID="/659211.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Reachability   in   Petri   nets   with   inhibitor   arcs,">

            <identifier   Org="ISBN:3540430679"   Paper_ID="/659211.html"   Extracted="3540430679"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540647813"   Paper_ID="/659211.html"   Extracted="3540647813"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540661328"   Paper_ID="/659211.html"   Extracted="3540661328"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540671412"   Paper_ID="/659211.html"   Extracted="3540671412"   DDC="004.01511"   Normalized_DDC="00401511"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540676937"   Paper_ID="/659211.html"   Extracted="3540676937"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540854703"   Paper_ID="/659211.html"   Extracted="3540854703"   DDC="004.0151135"   Normalized_DDC="0040151135"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3642005950"   Paper_ID="/659211.html"   Extracted="3642005950"   />

      </rec>

      <rec   ID="/106190.html"   Type="article"   CiteSeer_Book="Theoretical   Computer   Science"   CiteSeer_Volume="170"   Title="An   axiomatization   of   the   algebra   of   {Petri}   net   concatenable   processes,">

            <identifier   Org="ISBN:3540202161"   Paper_ID="/106190.html"   Extracted="3540202161"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540430679"   Paper_ID="/106190.html"   Extracted="3540430679"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354063746X"   Paper_ID="/106190.html"   Extracted="354063746X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540642994"   Paper_ID="/106190.html"   Extracted="3540642994"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540647813"   Paper_ID="/106190.html"   Extracted="3540647813"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540653066"   Paper_ID="/106190.html"   Extracted="3540653066"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540653880"   Paper_ID="/106190.html"   Extracted="3540653880"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540662464"   Paper_ID="/106190.html"   Extracted="3540662464"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540664122"   Paper_ID="/106190.html"   Extracted="3540664122"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540677151"   Paper_ID="/106190.html"   Extracted="3540677151"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540799796"   Paper_ID="/106190.html"   Extracted="3540799796"   />

            <identifier   Org="ISBN:981024021X"   Paper_ID="/106190.html"   Extracted="981024021X"   DDC="511.5"   Normalized_DDC="5115"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/125883.html"   Type="article"   CiteSeer_Book="Mathematical   Structures   in   Computer   Science"   CiteSeer_Volume="8"   Title="An   Axiomatization   of   the   Category   of   Petri   Net   Computations,">

            <identifier   Org="ISBN:3540202161"   Paper_ID="/125883.html"   Extracted="3540202161"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540205373"   Paper_ID="/125883.html"   Extracted="3540205373"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540430679"   Paper_ID="/125883.html"   Extracted="3540430679"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:354063746X"   Paper_ID="/125883.html"   Extracted="354063746X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540653066"   Paper_ID="/125883.html"   Extracted="3540653066"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540653880"   Paper_ID="/125883.html"   Extracted="3540653880"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540677151"   Paper_ID="/125883.html"   Extracted="3540677151"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540799796"   Paper_ID="/125883.html"   Extracted="3540799796"   />

            <identifier   Org="ISBN:9812389652"   Paper_ID="/125883.html"   Extracted="9812389652"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.125"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Transactions   and   Zero-Safe   Nets">

            <identifier   Org="ISBN:3540222618"   Paper_ID="SELF"   Extracted="3540222618"   DDC="511.3/5"   Normalized_DDC="51135"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540235647"   Paper_ID="SELF"   Extracted="3540235647"   DDC="004.3/6"   Normalized_DDC="00436"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540253270"   Paper_ID="SELF"   Extracted="3540253270"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540408010"   Paper_ID="SELF"   Extracted="3540408010"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540430679"   Paper_ID="SELF"   Extracted="3540430679"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540440437"   Paper_ID="SELF"   Extracted="3540440437"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540686762"   Paper_ID="SELF"   Extracted="3540686762"   />

      </rec>

</references_metadata>

www.000webhost.com