Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets

DOI10.1109/TSE.1980.230492MaRDI QIDQ3888539zbMATH OpenOpenAlexWikidataFDO

Authors C. V. Ramamoorthy, Gary S. Ho

Publication date 1980

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tse.1980.230492

zbMATH Keywords

asynchronous concurrent systemsperformance evaluationPetri nets

Mathematics Subject Classification ID

Theory of operating systems (68N25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(36)

• Quantitative analysis of continuous weighted marked graphs
• A connection between circular colorings and periodic schedules
• Performance evaluation of systems of cyclic sequential processes with mutual exclusion using Petri nets
• Quasi-linear production systems: Optimization of the transportation system
• Performance evaluation of concurrent systems using conflict-free and persistent Petri nets
• State equations and equivalent transformations for timed Petri nets
• Time-based expressivity of time Petri nets for system specification
• Petri nets for modeling of dynamic systems -- a survey
• Upper and lower bounds for stochastic marked graphs
• Timed Petri net: An expeditious tool for modelling and analysis of manufacturing systems
• A brief survey and synthesis of the roles of time in Petri nets.
• Analysis of discrete event systems by simulation of timed Petri net models
• From max-plus algebra to nonexpansive mappings: A nonlinear theory for discrete event systems.
• An upper bound on the cycle time of a stochastic marked graph using incomplete information on the transition firing time distributions
• Dynamic analysis of repetitive decision-free discrete-event processes: The algebra of timed marked graphs and algorithmic issues
• DISTRIBUTED SIMULATION OF HIGH-LEVEL ALGEBRAIC PETRI NETS WITH LIMITED CAPACITY PLACES
• Timed Petri Nets: Probabilistic Selection Of Data Dependent Paths
• Just-in-time control of time-varying discrete event dynamic systems in (max,+) algebra
• Elasticity and Petri Nets
• Performance evaluation of marked graphs by linear programming
• A new methodology for analyzing distributed systems modeled by petri nets
• Petri net models of flexible and automated manufacturing systems: a survey
• Optimal synchronization of discrete event dynamic systems via timed marked graphs
• Some open problems in the design and use of modern production systems
• Automatic Code Generation for Simulating Information Systems
• Modelling and analysis of wafer fabrication scheduling via generalized stochastic Petri net and simulated annealing
• Design of real-time periodic control systems through synchronization and fixed priorities
• POC net, a subclass of Petri nets, and its application to timed Petri nets
• Some optimization problems for timed marked graphs
• A formal notation and tool for the engineering of CORBA systems
• Cycle time of a P-time event graph with affine-interdependent residence durations
• A resource allocation problem on timed marked graphs: a decomposition approach
• Timed event graph-based cyclic reconfigurable flow shop modelling and optimization
• Spectral performance evaluation of parallel processing systems
• Performance evaluation of concurrent systems using Petri nets
• Cyclic scheduling for F.M.S.: Modelling and evolutionary solving approach

This page was built for publication: Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3888539)