The following pages link to (Q4247289):
Displayed 34 items.
- Individuals, populations and fluid approximations: a Petri net based perspective (Q313335) (← links)
- Projection approaches to process mining using region-based techniques (Q408692) (← links)
- A Petri net based approach for multi-robot path planning (Q481351) (← links)
- Structure and behavior preservation by Petri-net-based refinements in system design (Q703482) (← links)
- On fluidization of discrete event models: Observation and control of continuous Petri nets (Q763410) (← links)
- Fluid computation of passage-time distributions in large Markov models (Q764294) (← links)
- Accelerating the computation of dead and concurrent places using reductions (Q832013) (← links)
- Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement (Q838995) (← links)
- Mathematical programming approach to the Petri nets reachability problem (Q856211) (← links)
- Verification of bounded Petri nets using integer programming (Q878111) (← links)
- Tracking control of join-free timed continuous Petri net systems under infinite servers semantics (Q939014) (← links)
- A note on regular Petri nets (Q975419) (← links)
- Observability of continuous Petri nets with infinite server semantics (Q988778) (← links)
- Fluid approximation of Petri net models with relatively small populations (Q1677193) (← links)
- Steady-state performance evaluation of continuous mono-T-semiflow Petri nets (Q1776410) (← links)
- On liveness and boundedness of asymmetric choice nets (Q1884933) (← links)
- On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming (Q1937479) (← links)
- Current-state opacity modelling and verification in partially observed Petri nets (Q1987252) (← links)
- Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond (Q2032839) (← links)
- On the combination of polyhedral abstraction and SMT-based model checking for Petri nets (Q2117166) (← links)
- Flexible nets: a modeling formalism for dynamic systems with uncertain parameters (Q2177765) (← links)
- Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling (Q2177767) (← links)
- Path planning for robotic teams based on LTL specifications and Petri net models (Q2177780) (← links)
- On the fluidization of Petri nets and marking homothecy (Q2252988) (← links)
- Hybrid and hybrid adaptive Petri nets: on the computation of a reachability graph (Q2344577) (← links)
- A Petri net model for membrane systems with dynamic structure (Q2655493) (← links)
- (Q2842877) (← links)
- Charlie – An Extensible Petri Net Analysis Tool (Q2941151) (← links)
- Structural Analysis for Stochastic Process Algebra Models (Q3067461) (← links)
- Continuous Petri Nets: Expressive Power and Decidability Issues (Q3510807) (← links)
- Analyzing Reachability for Some Petri Nets With Fast Growing Markings (Q4982096) (← links)
- (Q5009439) (← links)
- Petri Net Reductions for Counting Markings (Q5883572) (← links)
- Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques (Q6160740) (← links)