INA

swMATH30145MaRDI QIDQ41859FDOQ41859

Author name not available (Why is that?)

Official website: https://www2.informatik.hu-berlin.de/lehrstuehle/automaten/ina/

Cited In (22)

• The fundamental closed-form solution of control-related states ofkth order S3PR system with left-side non-sharing resource places of Petri nets
• Petri net based scheduling
• Computation of strict minimal siphons in a class of Petri nets based on problem decomposition
• Petri net representation of multi-valued logical regulatory graphs
• Comment on “A Deadlock Prevention Approach for Flexible Manufacturing Systems with Uncontrollable Transitions in Their <scp>P</scp>etri Net Models”
• Mathematical programming approach to the Petri nets reachability problem
• A new generic timed Petri net model for design and performance analysis of a dual kanban FMS
• Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems
• Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks
• Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming
• SoftExplorer
• ExSpect
• SNOOPY
• A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
• SysML
• Modeling of the U1 snRNP assembly pathway in alternative splicing in human cells using Petri nets
• A COTS-based approach for estimating performance and energy consumption of embedded real-time systems
• A compositional framework to the specification of service protocols controllability and substitutability
• Elementary-siphon-based control policy for flexible manufacturing systems with partial observability and controllability of transitions
• On deadlock control for a class of generalised Petri net models of flexible manufacturing systems
• Recursive solution of number of reachable states of a simple subclass of FMS
• Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments

This page was built for software: INA