Search results
From MaRDI portal
- non-interference in labeled and bounded Petri net systems 2022-04-08 Paper Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems 2022-02-24 Paper...10 bytes (17 words) - 00:00, 12 December 2023
- Paper Sensor-based stage Petri net modelling of PLC logic programs for discrete-event control design 2003-01-01 Paper A Petri net approach to investigating...10 bytes (17 words) - 00:52, 12 December 2023
- Paper On the Equivalence of Observation Structures for Petri Net Generators 2017-05-03 Paper Petri net controllers for generalized mutual exclusion constraints...10 bytes (17 words) - 11:37, 11 December 2023
- Global Consistency in Distributed Monitoring of Petri Net Models 2023-09-04 Paper The Diagnosability of Petri Net Models Using Minimal Explanations 2017-08-25...10 bytes (16 words) - 19:03, 12 December 2023
- 2021-06-14 Paper How Petri net theory serves Petri net model checking: a survey 2021-06-14 Paper Synthesis for Various Petri Net Classes with Union/Find...10 bytes (16 words) - 02:02, 13 December 2023
- composable high level Petri nets 2022-08-16 Paper Properties of Plain, Pure, and Safe Petri Nets 2021-06-14 Paper Target-oriented Petri Net Synthesis 2021-05-20...10 bytes (17 words) - 11:15, 9 December 2023
- Publication Date of Publication Type Petri net model and performance evaluation of an autonomous decentralized network system 2001-07-15 Paper https://portal...10 bytes (16 words) - 14:32, 13 December 2023
- Discovery using Petri Net Synthesis 2018-01-19 Paper Petri Nets with Structured Data 2017-07-28 Paper Petri net synthesis 2015-12-16 Paper Petri Nets with Structured...10 bytes (16 words) - 17:23, 11 December 2023
- Publication Date of Publication Type Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems 2005-12-22 Paper...10 bytes (16 words) - 22:10, 12 December 2023
- Approach Based on Integer Linear Programming for Labeled Petri Nets 2021-05-28 Paper Optimal Petri net supervisor synthesis for forbidden state problems using...10 bytes (16 words) - 12:37, 28 January 2024
- methodology for analyzing distributed systems modeled by petri nets 1992-09-27 Paper Extended colored Petri net: An efficient tool for analyzing concurrent systems...10 bytes (18 words) - 10:21, 13 December 2023
- methodology for analyzing distributed systems modeled by petri nets 1992-09-27 Paper Extended colored Petri net: An efficient tool for analyzing concurrent systems...10 bytes (18 words) - 10:21, 13 December 2023
- Simultaneous Petri Net Synthesis 2019-02-08 Paper Bounded choice-free Petri net synthesis: algorithmic issues 2018-10-09 Paper Over-approximative Petri net synthesis...10 bytes (16 words) - 18:37, 24 September 2023
- https://portal.mardi4nfdi.de/entity/Q4983758 2021-04-26 Paper Optimal Petri net supervisor synthesis for forbidden state problems using marking mask 2021-03-16...10 bytes (16 words) - 14:51, 11 December 2023
- Paper Supervisory Control for Opacity 2017-08-25 Paper Petri net synthesis 2015-12-16 Paper Petri Net Distributability 2015-12-07 Paper Enforcing opacity...10 bytes (16 words) - 03:23, 9 December 2023
- Observation Structures for Petri Net Generators 2017-05-03 Paper Leader-follower formation via complex Laplacian 2017-04-19 Paper Petri net controllers for generalized...10 bytes (17 words) - 11:10, 8 December 2023
- Building reduced Petri net models of discrete manufacturing systems 2006-02-06 Paper Modelling of batch production systems using Petri nets with dynamic...10 bytes (18 words) - 02:09, 13 December 2023
- Publication Type Arc-typed Petri Nets 2019-05-02 Paper Mutex needs fairness 2016-05-26 Paper The ePNK: An Extensible Petri Net Tool for PNML 2011-06-29 Paper...10 bytes (17 words) - 18:21, 9 December 2023
- Publication Type Algebraic characterization of petri net pomset semantics 2023-05-17 Paper Relabelling LTS for Petri net synthesis via solving separation problems...10 bytes (16 words) - 12:27, 6 October 2023
- Transitions in Bounded Petri Nets 2018-05-03 Paper Conditions for Petri Net Solvable Binary Words 2017-06-20 Paper Characterising Petri Net Solvable Binary Words...10 bytes (16 words) - 23:45, 24 September 2023