scientific article; zbMATH DE number 53942
From MaRDI portal
Publication:4004136
zbMATH Open0810.68014MaRDI QIDQ4004136FDOQ4004136
Authors: René David, Hassane Alla 
Publication date: 18 September 1992
Title of this publication is not available (Why is that?)
Recommendations
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)
Cited In (35)
- Failure models and throughput rate of transfer lines
- Title not available (Why is that?)
- Modelling reconfigurable manufacturing systems with coloured timed Petri nets
- Approximated timed reachability graphs for the robust control of discrete event systems
- An authorization model for workflows
- Petri net-based modelling of workflow systems: An overview
- Aggregation/disaggregation method for safety models.
- Title not available (Why is that?)
- An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems
- Trajectory encoding for systems with irregular observations
- Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized <scp>P</scp>etri Nets
- Estimation of the firing frequencies in discrete and continuous Petri nets models
- 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
- Reconfigurable timed graphs for the design of optimal scheduling in uncertain environments based on transition-timed Petri net
- Computational challenges in systems biology
- PARAMETERS ESTIMATION FOR TIMED AND CONTINUOUS PETRI NETS: APPLICATION TO THE IDENTIFICATION AND MONITORING OF HYBRID SYSTEMS
- Performance evaluation of Petri nets centralized implementation. The execution time controller
- Petri net languages and infinite subsets of \(\mathbb{N}^m\)
- The complementary-slackness class of hybrid systems
- Petri nets for modeling of dynamic systems -- a survey
- Cycle time of a P-time event graph with affine-interdependent residence durations
- Grafcet: behavioural issues and control synthesis
- Approximation of the asymptotic mean marking of SPNs with contPNs
- 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
- Fuzzy Petri Nets with Linear Orders for Intervals
- Modeling and proving Grafcets with transition systems
- Petri net models of flexible and automated manufacturing systems: a survey
- Some contributions with Petri nets for the modelling, analysis and control of HDS
- Petri nets for the design and operation of manufacturing systems
- Title not available (Why is that?)
- Earley’s Parsing Algorithm and k-Petri Net Controlled Grammars
- Petri net models for the semi-automatic construction of large scale biological networks
- Discrete, Continuous, and Hybrid Petri Nets
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4004136)
