Keyword Connections

petri net

Journals

1

1 ISA transactions

Research Groups

0

No Research Group Connected

Bibliographies

18

1 Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors.

2 Extended Petri net models for fault diagnosis for substation automation

3 Menghitung Kapasitas Runway Menggunakan Petri Net Dan Aljabar Max-Plus

4 A new method for converting extended version of petri nets to fuzzy extended markup language

5 Estimation of parameters of MRSA-05, based on Petri nets

6 Formal Verification for Task Description Languages. A Petri Net Approach.

7 Deadlock detection-oriented unfolding of unbounded Petri nets

8 Robust deadlock avoidance control for AMSs with assembly operations embedded in flexible routes using Petri nets

9 Information Propagation Formalized Representation of Micro-blog Network Based on Petri Nets.

10 A measure of mental workload during multitasking: Using performance-based Timed Petri Nets

11 petri nets for fault diagnosis of large po

12 modeling a heterogeneous embedded system in coloured petri nets

13 complexity quantification for overhead transmission line emergency repair scheme via a graph entropy method improved with petri net and ahp weighting method

14 model to counter the threats in the data transmission system plc-based technology with the use of petri nets

15 the executable invocation policy of web services composition with petri net

16 o potencial das redes de petri em modelagem e análise de processos de negócio the potencial of petri nets in modeling and analysis of workflow

17 Extended Petri net models for fault diagnosis for substation automation

18 GENERALIZED T-INVARIANTS OF PETRI NETS AND CONTROL OF DEDS