Pages that link to "Item:Q3888539"
From MaRDI portal
The following pages link to Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets (Q3888539):
Displaying 36 items.
- Cycle time of a P-time event graph with affine-interdependent residence durations (Q481356) (← links)
- Performance evaluation of concurrent systems using Petri nets (Q789900) (← links)
- Cyclic scheduling for F.M.S.: Modelling and evolutionary solving approach (Q933521) (← links)
- Quantitative analysis of continuous weighted marked graphs (Q1026375) (← links)
- A connection between circular colorings and periodic schedules (Q1028150) (← links)
- Performance evaluation of systems of cyclic sequential processes with mutual exclusion using Petri nets (Q1071516) (← links)
- Quasi-linear production systems: Optimization of the transportation system (Q1079484) (← links)
- Performance evaluation of concurrent systems using conflict-free and persistent Petri nets (Q1108799) (← links)
- State equations and equivalent transformations for timed Petri nets (Q1280882) (← links)
- Time-based expressivity of time Petri nets for system specification (Q1285652) (← links)
- Petri nets for modeling of dynamic systems -- a survey (Q1317176) (← links)
- Upper and lower bounds for stochastic marked graphs (Q1321817) (← links)
- Timed Petri net: An expeditious tool for modelling and analysis of manufacturing systems (Q1324255) (← links)
- A brief survey and synthesis of the roles of time in Petri nets. (Q1597067) (← links)
- Analysis of discrete event systems by simulation of timed Petri net models (Q1861527) (← links)
- From max-plus algebra to nonexpansive mappings: A nonlinear theory for discrete event systems. (Q1870590) (← links)
- An upper bound on the cycle time of a stochastic marked graph using incomplete information on the transition firing time distributions (Q2389938) (← links)
- Dynamic analysis of repetitive decision-free discrete-event processes: The algebra of timed marked graphs and algorithmic issues (Q2639765) (← links)
- DISTRIBUTED SIMULATION OF HIGH-LEVEL ALGEBRAIC PETRI NETS WITH LIMITED CAPACITY PLACES (Q2744178) (← links)
- Timed Petri Nets: Probabilistic Selection Of Data Dependent Paths (Q3479509) (← links)
- Just-in-time control of time-varying discrete event dynamic systems in (max,<b>+</b>) algebra (Q3541184) (← links)
- Elasticity and Petri Nets (Q3599221) (← links)
- Performance evaluation of marked graphs by linear programming (Q3982050) (← links)
- A new methodology for analyzing distributed systems modeled by petri nets (Q4009710) (← links)
- Petri net models of flexible and automated manufacturing systems: a survey (Q4230288) (← links)
- Optimal synchronization of discrete event dynamic systems via timed marked graphs (Q4286563) (← links)
- Some open problems in the design and use of modern production systems (Q4299578) (← links)
- Automatic Code Generation for Simulating Information Systems (Q4420100) (← links)
- Modelling and analysis of wafer fabrication scheduling via generalized stochastic Petri net and simulated annealing (Q4474691) (← links)
- Design of real-time periodic control systems through synchronization and fixed priorities (Q4672781) (← links)
- POC net, a subclass of Petri nets, and its application to timed Petri nets (Q4696409) (← links)
- Some optimization problems for timed marked graphs (Q4763829) (← links)
- A formal notation and tool for the engineering of CORBA systems (Q4790903) (← links)
- A resource allocation problem on timed marked graphs: a decomposition approach (Q4883825) (← links)
- Timed event graph-based cyclic reconfigurable flow shop modelling and optimization (Q5444453) (← links)
- Spectral performance evaluation of parallel processing systems (Q5951021) (← links)