skip to content
Application and theory of Petri nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings Preview this item
ClosePreview this item
Checking...

Application and theory of Petri nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings

Publisher: Berlin ; New York : Springer, 2002.
Series: Lecture notes in computer science, 2360.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN 2002, held in Adelaide, Australia, in June 2002. The 18 regular papers and one tool presentation presented together with six invited paper were carefully reviewed and selected from 45 submissions. All current issues on research and development of Petri nets are addressed, in particular  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Print version:
International Conference on Applications and Theory of Petri Nets (23rd : 2002 : Adelaide, S.A.).
Application and theory of Petri nets 2002.
Berlin ; New York : Springer, 2002
(OCoLC)50052893
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
ISBN: 9783540480686 3540480684
OCLC Number: 262691439
Notes: "International Conference on Application and Theory of Petri Nets"--Preface.
Description: 1 online resource (x, 444 pages) : illustrations.
Contents: Invited Papers --
Making Work Flow: On the Application of Petri Nets to Business Process Management --
Model Validation --
A Theoretical Issue? --
The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming --
The Challenge of Object Orientation for the Analysis of Concurrent Systems --
Abstract Cyclic Communicating Processes: A Logical View --
Is the Die Cast for the Token Game? --
Regular Papers --
Quasi-Static Scheduling of Independent Tasks for Reactive Systems --
Data Decision Diagrams for Petri Net Analysis --
Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes --
Real-Time Synchronised Petri Nets --
Computing a Finite Prefix of a Time Petri Net --
Verification of a Revised WAP Wireless Transaction Protocol --
Characterizing Liveness of Petri Nets in Terms of Siphons --
Petri Nets, Situations, and Automata --
Reproducibility of the Empty Marking --
Modeling and Analysis of Multi-class Threshold-Based Queues with Hysteresis Using Stochastic Petri Nets --
Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification --
Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets --
Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method --
Regular Event Structures and Finite Petri Nets: The Conflict-Free Case --
A Formal Service Specification for the Internet Open Trading Protocol --
Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm --
Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow --
Translating TPAL Specifications into Timed-Arc Petri Nets --
Tool Presentation --
Maria: Modular Reachability Analyser for Algebraic System Nets.
Series Title: Lecture notes in computer science, 2360.
Other Titles: ICATPN 2002
Responsibility: Javier Esparza, Charles Lakos (eds.).

Abstract:

These are the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN 2002. The papers address concurrent systems analysis, model validation,  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/262691439> # Application and theory of Petri nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "262691439" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/891842434#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/891842434#Topic/informatique> ; # Informatique
    schema:about <http://id.worldcat.org/fast/1059237> ; # Petri nets
    schema:about <http://dewey.info/class/511.3/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/891842434#Topic/petri_nets> ; # Petri nets
    schema:about <http://experiment.worldcat.org/entity/work/data/891842434#Topic/petri_reseaux_de> ; # Pétri, Réseaux de
    schema:alternateName "ICATPN 2002" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/891842434#Meeting/international_conference_on_applications_and_theory_of_petri_nets_23rd_2002_adelaide_s_a> ; # International Conference on Applications and Theory of Petri Nets (23rd : 2002 : Adelaide, S.A.)
    schema:datePublished "2002" ;
    schema:description "Invited Papers -- Making Work Flow: On the Application of Petri Nets to Business Process Management -- Model Validation -- A Theoretical Issue? -- The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming -- The Challenge of Object Orientation for the Analysis of Concurrent Systems -- Abstract Cyclic Communicating Processes: A Logical View -- Is the Die Cast for the Token Game? -- Regular Papers -- Quasi-Static Scheduling of Independent Tasks for Reactive Systems -- Data Decision Diagrams for Petri Net Analysis -- Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes -- Real-Time Synchronised Petri Nets -- Computing a Finite Prefix of a Time Petri Net -- Verification of a Revised WAP Wireless Transaction Protocol -- Characterizing Liveness of Petri Nets in Terms of Siphons -- Petri Nets, Situations, and Automata -- Reproducibility of the Empty Marking -- Modeling and Analysis of Multi-class Threshold-Based Queues with Hysteresis Using Stochastic Petri Nets -- Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification -- Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets -- Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method -- Regular Event Structures and Finite Petri Nets: The Conflict-Free Case -- A Formal Service Specification for the Internet Open Trading Protocol -- Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm -- Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow -- Translating TPAL Specifications into Timed-Arc Petri Nets -- Tool Presentation -- Maria: Modular Reachability Analyser for Algebraic System Nets."@en ;
    schema:description "This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN 2002, held in Adelaide, Australia, in June 2002. The 18 regular papers and one tool presentation presented together with six invited paper were carefully reviewed and selected from 45 submissions. All current issues on research and development of Petri nets are addressed, in particular concurrent systems analysis, model validation, business process management, reactive systems, workflow processes, wireless transaction protocols."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/891842434> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/50052893> ;
    schema:name "Application and theory of Petri nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings"@en ;
    schema:productID "262691439" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/262691439#PublicationEvent/berlin_new_york_springer_2002> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/891842434#Agent/springer> ; # Springer
    schema:url <http://www.myilibrary.com?id=134880> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-43787-1> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/3540480684> ;
    schema:url <http://site.ebrary.com/id/10229089> ;
    schema:url <http://link.springer.de/link/service/series/0558/tocs/t2360.htm> ;
    schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=2360> ;
    schema:url <http://dx.doi.org/10.1007/3-540-48068-4> ;
    schema:workExample <http://worldcat.org/isbn/9783540480686> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/262691439> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/891842434#Meeting/international_conference_on_applications_and_theory_of_petri_nets_23rd_2002_adelaide_s_a> # International Conference on Applications and Theory of Petri Nets (23rd : 2002 : Adelaide, S.A.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/891842434#Place/adelaide_s_a> ; # Adelaide, S.A.)
    schema:name "International Conference on Applications and Theory of Petri Nets (23rd : 2002 : Adelaide, S.A.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/891842434#Place/adelaide_s_a> # Adelaide, S.A.)
    a schema:Place ;
    schema:name "Adelaide, S.A.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/891842434#Topic/petri_reseaux_de> # Pétri, Réseaux de
    a schema:Intangible ;
    schema:name "Pétri, Réseaux de"@fr ;
    .

<http://id.worldcat.org/fast/1059237> # Petri nets
    a schema:Intangible ;
    schema:name "Petri nets"@en ;
    .

<http://worldcat.org/isbn/9783540480686>
    a schema:ProductModel ;
    schema:isbn "3540480684" ;
    schema:isbn "9783540480686" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/262691439> ; # Application and theory of Petri nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/50052893>
    a schema:CreativeWork ;
    rdfs:label "Application and theory of Petri nets 2002." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/262691439> ; # Application and theory of Petri nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/262691439>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/262691439> ; # Application and theory of Petri nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings
    schema:dateModified "2016-05-24" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.