scientific article
From MaRDI portal
Publication:4004136
zbMath0810.68014MaRDI QIDQ4004136
Publication date: 18 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (31)
Estimation of the firing frequencies in discrete and continuous Petri nets models ⋮ An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems ⋮ Earley’s Parsing Algorithm and k-Petri Net Controlled Grammars ⋮ Trajectory encoding for systems with irregular observations ⋮ Fuzzy Petri Nets with Linear Orders for Intervals ⋮ Approximation of the asymptotic mean marking of SPNs with contPNs ⋮ Petri nets for the design and operation of manufacturing systems ⋮ An authorization model for workflows ⋮ Reconfigurable timed graphs for the design of optimal scheduling in uncertain environments based on transition-timed Petri net ⋮ About the stochastic and continuous Petri nets equivalence in the long run ⋮ Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs ⋮ An extended Earley's algorithm for Petri net controlled grammars without \(\lambda\) rules and cyclic rules ⋮ Control design of timed continuous Petri nets via model predictive constant control ⋮ Computational challenges in systems biology ⋮ Petri net languages and infinite subsets of \(\mathbb{N}^m\) ⋮ Cycle time of a P-time event graph with affine-interdependent residence durations ⋮ Some contributions with Petri nets for the modelling, analysis and control of HDS ⋮ Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized <scp>P</scp>etri Nets ⋮ Petri net models for the semi-automatic construction of large scale biological networks ⋮ Performance evaluation of Petri nets centralized implementation. The execution time controller ⋮ Unnamed Item ⋮ Aggregation/disaggregation method for safety models. ⋮ PARAMETERS ESTIMATION FOR TIMED AND CONTINUOUS PETRI NETS: APPLICATION TO THE IDENTIFICATION AND MONITORING OF HYBRID SYSTEMS ⋮ Failure models and throughput rate of transfer lines ⋮ Modelling reconfigurable manufacturing systems with coloured timed Petri nets ⋮ Petri net-based modelling of workflow systems: An overview ⋮ Grafcet: behavioural issues and control synthesis ⋮ The complementary-slackness class of hybrid systems ⋮ Approximated timed reachability graphs for the robust control of discrete event systems ⋮ Petri net models of flexible and automated manufacturing systems: a survey ⋮ Petri nets for modeling of dynamic systems -- a survey
This page was built for publication:
