skip to content
Dynamic analysis of Petri net-based discrete systems Preview this item
ClosePreview this item
Checking...

Dynamic analysis of Petri net-based discrete systems

Author: Andrei Karatkevich
Publisher: Berlin ; New York : Springer, 2007.
Series: Lecture notes in control and information sciences, 356.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution of an object-oriented p- gram can be considered as parallel functioning of the co-operating objects; all modern operating systems are multitasking, and the software tends to be multithread; many complex calculation tasks are solved in distributed way. But designers of the  Read more...
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

Genre/Form: Electronic books
Additional Physical Format: Print version:
Karatkevich, Andrei.
Dynamic analysis of Petri net-based discrete systems.
Berlin ; New York : Springer, 2007
(DLC) 2007923719
(OCoLC)127107439
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Andrei Karatkevich
ISBN: 9783540715603 3540715606 9783540714644 3540714642
OCLC Number: 185026799
Description: 1 online resource (xiii, 166 pages) : illustrations.
Contents: Main Notions, Problems and Methods --
Reduced Reachability Graphs --
Decomposition for Analysis --
Analysis by Solving Logical Equations --
Calculation of Siphons and Traps --
Verification of Detailed System Descriptions --
Conclusion.
Series Title: Lecture notes in control and information sciences, 356.
Responsibility: Andrei Karatkevich.
More information:

Abstract:

Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. Usually a system of several objects is to be controlled, and then the control  Read more...

Reviews

Editorial reviews

Publisher Synopsis

From the reviews:"The book `Dynamic Analysis of Petri Net-Based Discrete Systems' is dedicated to the behavioral properties analysis of parallel discrete systems using the partial state space Read more...

 
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/185026799> # Dynamic analysis of Petri net-based discrete systems
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "185026799" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/102843424#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/102843424#Topic/ingenierie> ; # Ingénierie
    schema:about <http://id.worldcat.org/fast/1059237> ; # Petri nets
    schema:about <http://id.worldcat.org/fast/1052928> ; # Parallel processing (Electronic computers)
    schema:about <http://id.worldcat.org/fast/894973> ; # Discrete-time systems
    schema:about <http://dewey.info/class/629.8/e22/> ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://viaf.org/viaf/70111562> ; # Andrei Karatkevich
    schema:datePublished "2007" ;
    schema:description "Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution of an object-oriented p- gram can be considered as parallel functioning of the co-operating objects; all modern operating systems are multitasking, and the software tends to be multithread; many complex calculation tasks are solved in distributed way. But designers of the control systems probably have to face parallelism in more evident and direct way. Controllers rarely deal with just one controlled object. Usually a system of several objects is to be controlled, and then the control algorithm naturally turns to be parallel. So, classical and very deeply investigated model of discrete device, Finite State Machine, is not expressive enough for the design of control devices and systems. Theoretically in most of cases behavior of a controller can be described by an FSM, but usually it is not convenient; such FSM description would be much more complex, than a parallel specification (even as a network of several communicating FSMs)."@en ;
    schema:description "Main Notions, Problems and Methods -- Reduced Reachability Graphs -- Decomposition for Analysis -- Analysis by Solving Logical Equations -- Calculation of Siphons and Traps -- Verification of Detailed System Descriptions -- Conclusion."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/102843424> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/102843424#Series/lecture_notes_in_control_and_information_sciences> ; # Lecture notes in control and information sciences ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/127107439> ;
    schema:name "Dynamic analysis of Petri net-based discrete systems"@en ;
    schema:productID "185026799" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/185026799#PublicationEvent/berlin_new_york_springer_2007> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/102843424#Agent/springer> ; # Springer
    schema:url <http://www.myilibrary.com?id=95160> ;
    schema:url <http://dx.doi.org/10.1007/978-3-540-71560-3> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-71464-4> ;
    schema:url <http://www.myilibrary.com?id=95160&ref=toc> ;
    schema:url <http://rd.springer.com/openurl?genre=book&isbn=978-3-540-71464-4> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-71464-4> ;
    schema:url <http://link.springer.com/10.1007/978-3-540-71560-3> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-71464-4> ;
    schema:url <http://www.springerlink.com/content/l32312731078/> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/9783540715603> ;
    schema:url <http://catdir.loc.gov/catdir/toc/fy0715/2007923719.html> ;
    schema:url <http://site.ebrary.com/id/10187702> ;
    schema:workExample <http://worldcat.org/isbn/9783540714644> ;
    schema:workExample <http://worldcat.org/isbn/9783540715603> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/185026799> ;
    .


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/102843424#Series/lecture_notes_in_control_and_information_sciences> # Lecture notes in control and information sciences ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/185026799> ; # Dynamic analysis of Petri net-based discrete systems
    schema:name "Lecture notes in control and information sciences ;" ;
    .

<http://id.worldcat.org/fast/1052928> # Parallel processing (Electronic computers)
    a schema:Intangible ;
    schema:name "Parallel processing (Electronic computers)"@en ;
    .

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

<http://id.worldcat.org/fast/894973> # Discrete-time systems
    a schema:Intangible ;
    schema:name "Discrete-time systems"@en ;
    .

<http://viaf.org/viaf/70111562> # Andrei Karatkevich
    a schema:Person ;
    schema:familyName "Karatkevich" ;
    schema:givenName "Andrei" ;
    schema:name "Andrei Karatkevich" ;
    .

<http://worldcat.org/isbn/9783540714644>
    a schema:ProductModel ;
    schema:isbn "3540714642" ;
    schema:isbn "9783540714644" ;
    .

<http://worldcat.org/isbn/9783540715603>
    a schema:ProductModel ;
    schema:isbn "3540715606" ;
    schema:isbn "9783540715603" ;
    .

<http://www.worldcat.org/oclc/127107439>
    a schema:CreativeWork ;
    rdfs:label "Dynamic analysis of Petri net-based discrete systems." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/185026799> ; # Dynamic analysis of Petri net-based discrete systems
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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