Search results
From MaRDI portal
- Publication Date of Publication Type Synthesis of nets with inhibitor arcs 2023-05-17 Paper A Distributed Implementation of Mobile Nets as Mobile Agents...10 bytes (16 words) - 02:52, 13 December 2023
- Publication Date of Publication Type Synthesis of nets with inhibitor arcs 2023-05-17 Paper On the specification of elementary reactive behaviour 2023-04-28...10 bytes (18 words) - 02:13, 10 December 2023
- of Publication Type On Interval Process Semantics of Petri Nets with Inhibitor Arcs 2015-08-27 Paper...10 bytes (16 words) - 11:38, 7 October 2023
- Publication Date of Publication Type Interval semantics for Petri nets with inhibitor arcs 2018-05-17 Paper...10 bytes (16 words) - 19:19, 24 September 2023
- Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs 2018-07-12 Paper...10 bytes (16 words) - 12:23, 24 September 2023
- Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs 2018-07-12 Paper On the enforcement of a class of nonlinear constraints...10 bytes (16 words) - 14:51, 11 December 2023
- mardi4nfdi.de/entity/Q4417933 2003-07-30 Paper Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions 1995-01-01 Paper https://portal...10 bytes (16 words) - 16:28, 6 October 2023
- partial orders 2018-06-22 Paper Interval semantics for Petri nets with inhibitor arcs 2018-05-17 Paper Alphabets of Acyclic Invariant Structures 2018-01-19...10 bytes (16 words) - 12:17, 8 December 2023
- mardi4nfdi.de/entity/Q2753748 2001-11-11 Paper Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions 1995-01-01 Paper...10 bytes (16 words) - 16:28, 6 October 2023
- Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs 2018-07-12 Paper Comments on “Feedback Control Logic for Forbidden-State...10 bytes (16 words) - 05:58, 25 September 2023
- Amount of Useful Space 2016-06-23 Paper Reachability in Petri Nets with Inhibitor Arcs 2015-03-23 Paper The Minimum Amount of Useful Space: New Results and...10 bytes (16 words) - 03:36, 13 December 2023
- Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs 2018-07-12 Paper Design of Regulatory Traffic Light Control Systems...10 bytes (17 words) - 00:52, 12 December 2023
- 2016-09-05 Paper Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs 2015-09-22 Paper Visual Design of Software Architecture and Evolution...10 bytes (16 words) - 13:49, 8 December 2023
- Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs 2018-07-12 Paper Cycle time analysis of dual-arm cluster tools for wafer...10 bytes (16 words) - 12:37, 28 January 2024
- Publication Type Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs 2013-08-16 Paper On complete caps different from ovaloids of the space...10 bytes (16 words) - 10:00, 24 September 2023
- Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs 2018-07-12 Paper Elementary-Siphon-Based Control Policy for Flexible...10 bytes (20 words) - 13:03, 7 October 2023
- Nets 2014-12-22 Paper Small Universal Non-deterministic Petri Nets with Inhibitor Arcs 2014-08-07 Paper Algebraical Characterisation of Interval-Timed Petri...10 bytes (16 words) - 16:08, 23 September 2023
- 2014-03-26 Paper Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs 2013-08-16 Paper Extending pnml Scope: A Framework to Combine Petri...10 bytes (17 words) - 02:26, 7 October 2023
- 2014-06-30 Paper Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs 2013-08-16 Paper Synthesis of Timing Parameters Satisfying Safety Properties...10 bytes (16 words) - 11:57, 7 October 2023
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS 2009-03-20 Paper On the Expressive Power of Global and Local Priority...10 bytes (16 words) - 04:10, 9 December 2023
