# Petri Nets in System Modeling

**Type:** Topics  
**Canonical URL:** https://scholariq.org/topics/petri-nets-in-system-modeling/

## Facts

| Field | Value |
| --- | --- |
| Description | This cluster of papers focuses on the modeling, analysis, and control of Petri nets in various systems, with an emphasis on deadlock prevention, supervisory control, fault diagnosis, and diagnosability analysis in the context of discrete-event systems and flexible manufacturing systems. It also covers topics such as formal methods, stochastic Petri nets, and concurrency modeling. |
| Domain | Physical Sciences |
| Field | Computer Science |
| OpenAlex ID | t11125 |
| Works | 26 |

## Topic papers all

Showing 15 of 26.

- [Modeling and Control of Logical Discrete Event Systems](https://scholariq.org/papers/modeling-and-control-of-logical-discrete-event-systems/)
- [Deadlock control methods in automated manufacturing systems](https://scholariq.org/papers/deadlock-control-methods-in-automated-manufacturing-systems/)
- [Event-based feedback control for deadlock avoidance in flexible production systems](https://scholariq.org/papers/event-based-feedback-control-for-deadlock-avoidance-in-flexible-production/)
- [Modular Supervisory Control of Large Scale Discrete Event Systems](https://scholariq.org/papers/modular-supervisory-control-of-large-scale-discrete-event-systems/)
- [Formulas for calculating supremal controllable and normal sublanguages](https://scholariq.org/papers/formulas-for-calculating-supremal-controllable-and-normal-sublanguages/)
- [Adaptive clock synchronization in sensor networks](https://scholariq.org/papers/adaptive-clock-synchronization-in-sensor-networks/)
- [On-line fault detection in discrete event systems by Petri nets and integer linear programming](https://scholariq.org/papers/on-line-fault-detection-in-discrete-event-systems-by-petri-nets-and-integer/)
- [Predicates and predicate transformers for supervisory control of discrete event dynamical systems](https://scholariq.org/papers/predicates-and-predicate-transformers-for-supervisory-control-of-discrete-event/)
- [Synthesis of supervisory controllers for hybrid systems based on approximating automata](https://scholariq.org/papers/synthesis-of-supervisory-controllers-for-hybrid-systems-based-on-approximating/)
- [Synthesis and implementation of local modular supervisory control for a manufacturing cell](https://scholariq.org/papers/synthesis-and-implementation-of-local-modular-supervisory-control-for-a/)
- [Event-based controller to avoid deadlock and collisions in zone-control AGVS](https://scholariq.org/papers/event-based-controller-to-avoid-deadlock-and-collisions-in-zone-control-agvs/)
- [Decentralized Diagnosis by Petri Nets and Integer Linear Programming](https://scholariq.org/papers/decentralized-diagnosis-by-petri-nets-and-integer-linear-programming/)
- [Probabilistic adaptive direct optimism control in Time Warp](https://scholariq.org/papers/probabilistic-adaptive-direct-optimism-control-in-time-warp/)
- [Modular control of composed systems](https://scholariq.org/papers/modular-control-of-composed-systems/)
- [On-line verification of current-state opacity by Petri nets and integer linear programming](https://scholariq.org/papers/on-line-verification-of-current-state-opacity-by-petri-nets-and-integer-linear/)

## Topic primary papers

Showing 15 of 19.

- [Modeling and Control of Logical Discrete Event Systems](https://scholariq.org/papers/modeling-and-control-of-logical-discrete-event-systems/)
- [Deadlock control methods in automated manufacturing systems](https://scholariq.org/papers/deadlock-control-methods-in-automated-manufacturing-systems/)
- [Event-based feedback control for deadlock avoidance in flexible production systems](https://scholariq.org/papers/event-based-feedback-control-for-deadlock-avoidance-in-flexible-production/)
- [Modular Supervisory Control of Large Scale Discrete Event Systems](https://scholariq.org/papers/modular-supervisory-control-of-large-scale-discrete-event-systems/)
- [Formulas for calculating supremal controllable and normal sublanguages](https://scholariq.org/papers/formulas-for-calculating-supremal-controllable-and-normal-sublanguages/)
- [On-line fault detection in discrete event systems by Petri nets and integer linear programming](https://scholariq.org/papers/on-line-fault-detection-in-discrete-event-systems-by-petri-nets-and-integer/)
- [Predicates and predicate transformers for supervisory control of discrete event dynamical systems](https://scholariq.org/papers/predicates-and-predicate-transformers-for-supervisory-control-of-discrete-event/)
- [Synthesis of supervisory controllers for hybrid systems based on approximating automata](https://scholariq.org/papers/synthesis-of-supervisory-controllers-for-hybrid-systems-based-on-approximating/)
- [Synthesis and implementation of local modular supervisory control for a manufacturing cell](https://scholariq.org/papers/synthesis-and-implementation-of-local-modular-supervisory-control-for-a/)
- [Event-based controller to avoid deadlock and collisions in zone-control AGVS](https://scholariq.org/papers/event-based-controller-to-avoid-deadlock-and-collisions-in-zone-control-agvs/)
- [Decentralized Diagnosis by Petri Nets and Integer Linear Programming](https://scholariq.org/papers/decentralized-diagnosis-by-petri-nets-and-integer-linear-programming/)
- [Modular control of composed systems](https://scholariq.org/papers/modular-control-of-composed-systems/)
- [On-line verification of current-state opacity by Petri nets and integer linear programming](https://scholariq.org/papers/on-line-verification-of-current-state-opacity-by-petri-nets-and-integer-linear/)
- [Real time identification of discrete event systems using Petri nets](https://scholariq.org/papers/real-time-identification-of-discrete-event-systems-using-petri-nets/)
- [Multitasking Supervisory Control of Discrete-Event Systems](https://scholariq.org/papers/multitasking-supervisory-control-of-discrete-event-systems/)

---
Source: ScholarIQ — public research metadata, principally OpenAlex. See https://scholariq.org/sources/ for provenance and https://scholariq.org/methodology/ for what these figures mean.