Flexible nets: a modeling formalism for dynamic systems with uncertain parameters

DOI10.1007/S10626-019-00287-9MaRDI QIDQ2177765zbMATH OpenOpenAlexWikidataFDO

Authors J. Júlvez, Stephen G. Oliver

Publication date 6 May 2020

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10626-019-00287-9

zbMATH Keywords

dynamic systemsflexible netsmodeling formalismsperformance analysisPetri netsuncertain parameters

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10) Observability (93B07) Networked control (93B70) Control/observation systems with incomplete information (93C41)

Recommendations

• \textit{fnyzer}: a Python package for the analysis of flexible nets
• Manufacturing system modeling using Petri nets
• Modeling formalisms for dynamic structure systems
• An approach to modelling and simulation of uncertain dynamical systems
• Modeling, analyzing and controlling hybrid systems by guarded flexible nets

Cites work

• A theory of timed automata
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
• Fault detection for discrete event systems using Petri nets with unobservable transitions
• scientific article; zbMATH DE number 3955422 (Why is no real title available?)
• scientific article; zbMATH DE number 1302046 (Why is no real title available?)
• scientific article; zbMATH DE number 763717 (Why is no real title available?)
• Model predictive control. Classical, robust and stochastic
• On fluidization of discrete event models: Observation and control of continuous Petri nets
• Pyomo -- optimization modeling in Python
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Stochastic process algebras
• Stochastic timed automata

Cited in

(2)

• \textit{fnyzer}: a Python package for the analysis of flexible nets
• \(\pi\)\textsc{HyFlow}: formalism, semantics, and applications

Describes a project that uses

Uses Software

• Bio-PEPA
• CPLEX
• Gurobi
• Pyomo

This page was built for publication: Flexible nets: a modeling formalism for dynamic systems with uncertain parameters

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2177765)