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

DOI10.1007/s10626-019-00287-9zbMath1441.93159OpenAlexW2961711902WikidataQ90668218 ScholiaQ90668218MaRDI QIDQ2177765

Jorge Júlvez, Stephen G. Oliver

Publication date: 6 May 2020

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

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

zbMATH Keywords

Petri netsperformance analysisdynamic systemsuncertain parametersflexible netsmodeling formalisms

Mathematics Subject Classification ID

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

Uses Software

• Bio-PEPA
• CPLEX
• Gurobi
• Pyomo

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fault detection for discrete event systems using Petri nets with unobservable transitions
• On fluidization of discrete event models: Observation and control of continuous Petri nets
• Model predictive control. Classical, robust and stochastic
• 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
• Stochastic Timed Automata
• Stochastic Process Algebras
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Pyomo -- optimization modeling in Python

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