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