Publication:4247289
From MaRDI portal
zbMath0926.68086MaRDI QIDQ4247289
José-Manuel Colom, Enrique Teruel, Manuel Silva
Publication date: 5 December 1999
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Unnamed Item, Analyzing Reachability for Some Petri Nets With Fast Growing Markings, Petri Net Reductions for Counting Markings, Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques, Individuals, populations and fluid approximations: a Petri net based perspective, Projection approaches to process mining using region-based techniques, A Petri net based approach for multi-robot path planning, Structure and behavior preservation by Petri-net-based refinements in system design, On fluidization of discrete event models: Observation and control of continuous Petri nets, Fluid computation of passage-time distributions in large Markov models, Accelerating the computation of dead and concurrent places using reductions, Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement, Mathematical programming approach to the Petri nets reachability problem, Verification of bounded Petri nets using integer programming, Tracking control of join-free timed continuous Petri net systems under infinite servers semantics, A note on regular Petri nets, Observability of continuous Petri nets with infinite server semantics, Fluid approximation of Petri net models with relatively small populations, Steady-state performance evaluation of continuous mono-T-semiflow Petri nets, On liveness and boundedness of asymmetric choice nets, On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming, Current-state opacity modelling and verification in partially observed Petri nets, Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond, On the combination of polyhedral abstraction and SMT-based model checking for Petri nets, Flexible nets: a modeling formalism for dynamic systems with uncertain parameters, Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling, Path planning for robotic teams based on LTL specifications and Petri net models, On the fluidization of Petri nets and marking homothecy, Hybrid and hybrid adaptive Petri nets: on the computation of a reachability graph, A Petri net model for membrane systems with dynamic structure, Unnamed Item, Charlie – An Extensible Petri Net Analysis Tool, Structural Analysis for Stochastic Process Algebra Models, Continuous Petri Nets: Expressive Power and Decidability Issues