default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th PNPM 1993: Toulouse, France
- Proceedings of the 5th International Workshop on Petri Nets and Performance Models, PNPM 1993, Toulouse, France, October 19-22, 1993. IEEE Computer Society 1993, ISBN 0-8186-4250-5
- Raymond Marie, Alain Jean-Marie:
Quantitative evaluation of discrete event systems: Models, performances and techniques. 2-11 - Falko Bause:
Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems. 14-23 - Youcef Atamna:
Definition of the model-"Stochastic timed well formed coloured nets". 24-33 - R. Hilal, P. Ladet:
A reactive real-time systems modelling and programming aid tool based on the synchronous Petri nets formalism. 34-43 - Hanifa Boucheneb, U. Alger, Gérard Berthelot:
Towards a simplified building of time Petri Nets reachability graph. 46-47 - Valentín Valero Ruiz, David de Frutos-Escrig
, Fernando Cuartero Gómez:
Decidability of the strict reachability problem for TPN's with rational and real durations. 56-65 - Giovanni Chiola:
On the structural and behavioural characterization of P/T nets. 66-75 - Claude Dutheillet, Serge Haddad:
Conflict sets in colored Petri nets. 76-85 - Ulrich Herzog:
Constructive modelling and design basic research within the European QMIPS-project. 88-95 - Matteo Sereno, Gianfranco Balbo:
Computational algorithms for product form solution stochastic Petri nets. 98-107 - J. L. Coleman:
Algorithms for product-form stochastic Petri nets-A new approach. 108-116 - Richard J. Boucherie:
A characterization of independence for competing Markov chains with applications to stochastic Petri nets. 117-126 - Giovanni Chiola, Cosimo Anglano, Javier Campos, José Manuel Colom, Manuel Silva Suárez:
Operational analysis of timed Petri nets and application to the computation of performance bounds. 128-137 - Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva Suárez:
A general iterative technique for approximate throughput computation of stochastic marked graphs. 138-147 - Giuliana Franceschinis, Richard R. Muntz:
Computing bounds for the performance indices of quasi-lumpable stochastic well-formed nets. 148-157 - Gianfranco Ciardo, Christoph Lindemann:
Analysis of deterministic and stochastic Petri nets. 160-169 - Gianfranco Ciardo, Reinhard German, Christoph Lindemann:
A characterization of the stochastic process underlying a stochastic Petri net. 170-179 - Varsha Mainkar, Hoon Choi, Kishor S. Trivedi:
Sensitivity analysis of Markov regenerative stochastic Petri nets. 180-181 - Ernst Schmitter:
The implications of industrial systems' complexity on methodologies for system design and evaluation. 192-201 - D. Abbati, Stefano Caselli, Gianni Conte, Francesco Zanichelli:
Synthesis of GSPN models for workload mapping on concurrent architectures. 204-215 - Peter Buchholz:
Aggregation and reduction techniques for hierarchical GCSPNs. 216-225 - Cosimo Anglano, Susanna Donatelli, Rossano Gaeta:
Parallel architectures with regular structure: A case study in modelling using stochastic well-formed coloured Petri nets. 226-235 - Jürgen Dunkel:
Fast simulation of rare events in stochastic Petri nets. 238-247 - Alex Blakemore, Satish K. Tripathi:
Automated time scale decomposition and analysis of stochastic Petri nets. 248-257 - Manish Malhotra, Kishor S. Trivedi:
A methodology for formal expression of hierarchy in model solution. 258-267 - Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki:
On scalable net modeling of OLTP. 270-279 - Henning Clausen, Peter Ryberg Jensen:
Validation and performance analysis of network algorithms by coloured Petri nets. 280-289 - Belhassen Mazigh, Julien Gresser, François Simon:
GSPN modelling methods for performance and dependability evaluation of a real-life flexible manufacturing system. 290-299
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-21 01:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
