skip to content
A concurrent logic programming encoding of Petri nets Preview this item
ClosePreview this item
Checking...

A concurrent logic programming encoding of Petri nets

Author: Andrew Davison
Publisher: Parkville, Vic. : Dept. of Computer Science, University of Melbourne, 1992.
Series: Technical report (University of Melbourne. Department of Computer Science), 92/22.
Edition/Format:   Print book : English : Rev
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Document Type: Book
All Authors / Contributors: Andrew Davison
OCLC Number: 38325585
Description: 14 pages : illustrations ; 30 cm.
Series Title: Technical report (University of Melbourne. Department of Computer Science), 92/22.
Responsibility: Andrew Davison.

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/38325585> # A concurrent logic programming encoding of Petri nets
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "38325585" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vra> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/42037894#Place/parkville_vic> ; # Parkville, Vic.
    schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
    schema:about <http://id.worldcat.org/fast/1059237> ; # Petri nets
    schema:about <http://dewey.info/class/005.133/e20/> ;
    schema:about <http://id.worldcat.org/fast/1052939> ; # Parallel programming (Computer science)
    schema:about <http://id.worldcat.org/fast/1049814> ; # PARLOG (Computer program language)
    schema:bookEdition "Rev." ;
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/42037894#Person/davison_andrew> ; # Andrew Davison
    schema:datePublished "1992" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/42037894> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/42037894#Series/technical_report_university_of_melbourne_department_of_computer_science> ; # Technical report (University of Melbourne. Department of Computer Science) ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/42037894#Series/technical_report_department_of_computer_science_the_university_of_melbourne> ; # Technical report / Department of Computer Science, the University of Melbourne ;
    schema:name "A concurrent logic programming encoding of Petri nets"@en ;
    schema:productID "38325585" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/38325585#PublicationEvent/parkville_vic_dept_of_computer_science_university_of_melbourne_1992> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/42037894#Agent/dept_of_computer_science_university_of_melbourne> ; # Dept. of Computer Science, University of Melbourne
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/38325585> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/42037894#Agent/dept_of_computer_science_university_of_melbourne> # Dept. of Computer Science, University of Melbourne
    a bgn:Agent ;
    schema:name "Dept. of Computer Science, University of Melbourne" ;
    .

<http://experiment.worldcat.org/entity/work/data/42037894#Person/davison_andrew> # Andrew Davison
    a schema:Person ;
    schema:familyName "Davison" ;
    schema:givenName "Andrew" ;
    schema:name "Andrew Davison" ;
    .

<http://experiment.worldcat.org/entity/work/data/42037894#Place/parkville_vic> # Parkville, Vic.
    a schema:Place ;
    schema:name "Parkville, Vic." ;
    .

<http://experiment.worldcat.org/entity/work/data/42037894#Series/technical_report_department_of_computer_science_the_university_of_melbourne> # Technical report / Department of Computer Science, the University of Melbourne ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/38325585> ; # A concurrent logic programming encoding of Petri nets
    schema:name "Technical report / Department of Computer Science, the University of Melbourne ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/42037894#Series/technical_report_university_of_melbourne_department_of_computer_science> # Technical report (University of Melbourne. Department of Computer Science) ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/38325585> ; # A concurrent logic programming encoding of Petri nets
    schema:name "Technical report (University of Melbourne. Department of Computer Science) ;" ;
    .

<http://id.worldcat.org/fast/1002056> # Logic programming
    a schema:Intangible ;
    schema:name "Logic programming"@en ;
    .

<http://id.worldcat.org/fast/1049814> # PARLOG (Computer program language)
    a schema:Intangible ;
    schema:name "PARLOG (Computer program language)"@en ;
    .

<http://id.worldcat.org/fast/1052939> # Parallel programming (Computer science)
    a schema:Intangible ;
    schema:name "Parallel programming (Computer science)"@en ;
    .

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


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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