INA
From MaRDI portal
Software:41859
No author found.
Related Items (18)
Mathematical programming approach to the Petri nets reachability problem ⋮ A compositional framework to the specification of service protocols controllability and substitutability ⋮ A new generic timed Petri net model for design and performance analysis of a dual kanban FMS ⋮ Comment on “A Deadlock Prevention Approach for Flexible Manufacturing Systems with Uncontrollable Transitions in Their <scp>P</scp>etri Net Models” ⋮ Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks ⋮ Recursive solution of number of reachable states of a simple subclass of FMS ⋮ Petri net representation of multi-valued logical regulatory graphs ⋮ On deadlock control for a class of generalised Petri net models of flexible manufacturing systems ⋮ Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems ⋮ Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions ⋮ The fundamental closed-form solution of control-related states ofkth order S3PR system with left-side non-sharing resource places of Petri nets ⋮ Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming ⋮ Modeling of the U1 snRNP assembly pathway in alternative splicing in human cells using Petri nets ⋮ Computation of strict minimal siphons in a class of Petri nets based on problem decomposition ⋮ Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments ⋮ A COTS-based approach for estimating performance and energy consumption of embedded real-time systems ⋮ Petri net based scheduling ⋮ A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
This page was built for software: INA
