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
Database:WorldCat
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 online

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 {u2014} 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. 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).

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/petri_nets> ; # Petri nets
    schema:about <http://experiment.worldcat.org/entity/work/data/102843424#Topic/control_engineering> ; # Control Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/102843424#Topic/ingenierie> ; # Ingénierie
    schema:about <http://experiment.worldcat.org/entity/work/data/102843424#Topic/systems_theory> ; # Systems theory
    schema:about <http://experiment.worldcat.org/entity/work/data/102843424#Topic/parallel_processing_electronic_computers> ; # Parallel processing (Electronic computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/102843424#Topic/structural_control_engineering> ; # Structural control (Engineering)
    schema:about <http://experiment.worldcat.org/entity/work/data/102843424#Topic/engineering> ; # Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/102843424#Topic/discrete_time_systems> ; # Discrete-time systems
    schema:about <http://dewey.info/class/629.8/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/102843424#Topic/systems_theory_control> ; # Systems Theory, Control
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/102843424#Person/karatkevich_andrei> ; # Andrei Karatkevich
    schema:datePublished "2007" ;
    schema:description "Main Notions, Problems and Methods -- Reduced Reachability Graphs -- Decomposition for Analysis -- Analysis by Solving Logical Equations {u2014} Calculation of Siphons and Traps -- Verification of Detailed System Descriptions -- Conclusion."@en ;
    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: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://www.myilibrary.com?id=95160&ref=toc> ;
    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#Person/karatkevich_andrei> # Andrei Karatkevich
    a schema:Person ;
    schema:familyName "Karatkevich" ;
    schema:givenName "Andrei" ;
    schema:name "Andrei Karatkevich" ;
    .

<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://experiment.worldcat.org/entity/work/data/102843424#Topic/control_engineering> # Control Engineering
    a schema:Intangible ;
    schema:name "Control Engineering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/102843424#Topic/discrete_time_systems> # Discrete-time systems
    a schema:Intangible ;
    schema:name "Discrete-time systems"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/102843424#Topic/parallel_processing_electronic_computers> # Parallel processing (Electronic computers)
    a schema:Intangible ;
    schema:name "Parallel processing (Electronic computers)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/102843424#Topic/structural_control_engineering> # Structural control (Engineering)
    a schema:Intangible ;
    schema:name "Structural control (Engineering)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/102843424#Topic/systems_theory_control> # Systems Theory, Control
    a schema:Intangible ;
    schema:name "Systems Theory, Control"@en ;
    .

<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.