Search results
From MaRDI portal
- 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 Noninterference...10 bytes (17 words) - 00:00, 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 2020-01-24...10 bytes (16 words) - 02:02, 13 December 2023
- Consistency in Distributed Monitoring of Petri Net Models 2023-09-04 Paper The Diagnosability of Petri Net Models Using Minimal Explanations 2017-08-25 Paper...10 bytes (16 words) - 19:03, 12 December 2023
- transition systems 2019-12-18 Paper Simultaneous Petri Net Synthesis 2019-02-08 Paper Solving recursive net equations 2019-01-10 Paper Sufficient conditions...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
- 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
- Supervisory Control for Opacity 2017-08-25 Paper Petri net synthesis 2015-12-16 Paper Petri Net Distributability 2015-12-07 Paper Enforcing opacity of...10 bytes (16 words) - 03:23, 9 December 2023
- Petri net solvable transition systems 2019-12-18 Paper A geometric characterisation of event/state separation 2019-12-18 Paper Simultaneous Petri Net Synthesis...10 bytes (16 words) - 18:37, 24 September 2023
- parameterized complexity of \(d\)-restricted Boolean net synthesis 2022-12-22 Paper A New Property of Choice-Free Petri Net Systems 2022-09-01 Paper https://portal...10 bytes (16 words) - 23:45, 24 September 2023
- 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
- Factorisation of Petri net solvable transition systems 2019-12-18 Paper Simultaneous Petri Net Synthesis 2019-02-08 Paper Bounded choice-free Petri net synthesis:...10 bytes (16 words) - 10:10, 6 October 2023
- Date of Publication Type Math-Net.Ru Video Library: Creating a Collection of Scientific Talks 2016-09-28 Paper Math-Net.Ru as a Digital Archive of the...10 bytes (19 words) - 13:27, 24 September 2023
- 1944-01-01 Paper The Contact Net of Quadrics 1943-01-01 Paper Notes on a Net of Quadric Surfaces: (V) The Pentahedral Net 1942-01-01 Paper A type of periodicity...10 bytes (19 words) - 16:37, 6 October 2023
- complexity of synthesizing elementary net systems relative to natural parameters 2020-03-13 Paper Elementary net synthesis remains NP-complete even for...10 bytes (16 words) - 23:45, 24 September 2023
- Paper Stochastic coloured Petri net (SCPN) models of traditional and flexible kanban systems 2000-08-21 Paper Petri net models of flexible and automated...10 bytes (18 words) - 13:25, 6 October 2023
- diagnosis algorithm of fuzzy Petri net using inner-reasoning-path 2019-11-13 Paper Research on Workflow Model Based on Petri Net with Reset Arcs 2015-03-24 Paper...10 bytes (17 words) - 14:31, 24 September 2023
- of Petri net languages 2001-09-03 Paper On capacity of labeled Petri net languages 2000-05-15 Paper A complexity characteristic of Petri net languages...10 bytes (19 words) - 14:32, 24 September 2023
- Scheduling manufacturing systems with blocking: a Petri net approach 2010-11-07 Paper A Petri net based algorithm for minimizing total tardiness in flexible...10 bytes (16 words) - 09:55, 6 October 2023
- Scheduling manufacturing systems with blocking: a Petri net approach 2010-11-07 Paper A Petri net based algorithm for minimizing total tardiness in flexible...10 bytes (16 words) - 09:55, 6 October 2023
- Publication Type On Surfaces Possessing a Net of Plane Isothermally-Conjugate Curves 1932-01-01 Paper On surfaces possessing a net of plane isothermally-conjugate...10 bytes (18 words) - 12:56, 6 October 2023
