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
