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>