Pages that link to "Item:Q4506745"
From MaRDI portal
The following pages link to Modeling and analysis of timed Petri nets using heaps of pieces (Q4506745):
Displayed 36 items.
- A MAX-plus model of ribosome dynamics during mRNA translation (Q289493) (← links)
- Determinization of timed Petri nets behaviors (Q312642) (← links)
- Networked conflicting timed event graphs representation in (Max,+) algebra (Q351734) (← links)
- Analytic evaluation of the cycle time on networked conflicting timed event graphs in the (Max,+) algebra (Q513811) (← links)
- Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton (Q703577) (← links)
- Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring (Q764364) (← links)
- Supervisory control of \((\max,+)\) automata: a behavioral approach (Q843993) (← links)
- Model approximation for batch flow shop scheduling with fixed batch sizes (Q896496) (← links)
- Backward coupling in bounded free-choice nets under Markovian and non-Markovian assumptions (Q964840) (← links)
- Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics (Q2063100) (← links)
- A contribution to the determinization of max-plus automata (Q2177784) (← links)
- Towards a tropical automaton product minimizing global completion times (Q2204142) (← links)
- Extremal throughputs in free-choice nets (Q2256881) (← links)
- State estimation of max-plus automata with unobservable events (Q2280664) (← links)
- New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems (Q2348373) (← links)
- Compositions of (max,+) automata (Q2348374) (← links)
- Application of an optimization problem in max-plus algebra to scheduling problems (Q2433798) (← links)
- A central limit theorem for stochastic recursive sequences of topical operators (Q2467606) (← links)
- Initial-state detectability and initial-state opacity of unambiguous weighted automata (Q2664211) (← links)
- Asymptotic height optimization for topical IFS, Tetris heaps, and the finiteness conjecture (Q2758958) (← links)
- Supervisory control of (max,+) automata: extensions towards applications (Q2799292) (← links)
- Coinduction in Concurrent Timed Systems (Q2919457) (← links)
- Series which are both max-plus and min-plus rational are unambiguous (Q3374753) (← links)
- Transferring progress control policies in scheduling problems for a class of repetitive discrete event systems (Q3550804) (← links)
- Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net (Q3648819) (← links)
- Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras (Q5026795) (← links)
- Analysis of P-time event graphs in (max,+) and (min,+) semirings (Q5028000) (← links)
- Modelling and feedback control for a class of Petri Nets with shared resources subject to strict time constraints using Max-plus algebra (Q5029166) (← links)
- Comparison of max-plus automata and joint spectral radius of tropical matrices (Q5111233) (← links)
- The Shortest Identities for Max-Plus Automata with Two States. (Q5111263) (← links)
- (Q5111268) (← links)
- Généralisation Max-Plus des bornes de Lageweg, Lenstra et Rinnooy Kan (Q5479832) (← links)
- REACHABILITY PROBLEMS FOR PRODUCTS OF MATRICES IN SEMIRINGS (Q5483458) (← links)
- Asymptotic behavior in a heap model with two pieces (Q5958319) (← links)
- Direct and dual laws for automata with multiplicities (Q5958727) (← links)
- Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata (Q6154973) (← links)