Overview

Full Product Details

Author:   Marco Ajmone Marsan
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   1993 ed.
Volume:   691
Dimensions:   Width: 15.50cm , Height: 3.10cm , Length: 23.50cm
Weight:   1.860kg
ISBN:  

9783540568636

ISBN 10:   3540568638
Pages:   598
Publication Date:   07 June 1993
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Modeling and enactment of workflow systems.- Interleaving functional and performance structural analysis of net models.- FSPNs: Fluid stochastic Petri nets.- Taking advantages of temporal redundancy in High Level Petri Nets implementations.- A subset of Lotos with the computational power of Place/Transition-nets.- An efficient algorithm for finding structural deadlocks in colored Petri nets.- Synthesis of net systems.- Hierarchies in colored GSPNs.- Variable reasoning and analysis about uncertainty with fuzzy Petri nets.- Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency.- Transient analysis of deterministic and stochastic Petri nets.- Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs.- Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems.- Shortest paths in reachability graphs.- Construction of S-invariants and S-components for refined Petri boxes.- Compositional liveness properties of EN-systems.- Analysis of place/transition nets with timed arcs and its application to batch process control.- On well-formed nets and optimizations in enabling tests.- Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net.- Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model.- Marking optimization of stochastic timed event graphs.- A client-server protocol for the composition of Petri nets.- Analysis of dynamic load balancing strategies using a combination of stochastic petri nets and queueing networks.- Liveness and home states in equal conflict systems.- Bridging the gap between place- and Floyd-invariants with applications to preemptive scheduling.- Interval timed coloured petri nets and their analysis.- Integration of specification for modeling and specification for system design.- New priority-lists for scheduling in timed Petri nets.- A unified approach for reasoning about conflict-free Petri nets.- A colored Petri Net model for a naval command and control system.- Petri Net based specifications of services in an Intelligent Network-Experiences gained from a test case application.- On net modeling of industrial size concurrent systems.- Analysis of the TMS320C40 communication channels using timed Petri Nets.- Protocol optimization for a packet-switched bus in case of burst traffic by means of GSPN.- Petri Nets modeling in pipelined microprocessor design.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions