Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th PNPM 1999: Zaragoza, Spain
- Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999. IEEE Computer Society 1999, ISBN 0-7695-0331-4
- William H. Sanders:
Integrated frameworks for multi-level and multi-formalism modeling. 2-9 - Boudewijn R. Haverkort
, Alexander Bell, Henrik C. Bohnenkamp:
On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets. 12-21 - Gianfranco Ciardo, Andrew S. Miner:
A data structure for the efficient Kronecker solution of GSPNs. 22-31 - Carlos J. Perez-Jimenez, Javier Campos:
On state space decomposition for the numerical analysis of stochastic Petri nets. 32-41 - Reinhard German, Armin Heindl:
Performance evaluation of IEEE 802.11 wireless LANs with stochastic Petri nets. 44-53 - Marco Ajmone Marsan, Michela Meo, Matteo Sereno:
GSPN analysis of dual-band mobile telephony networks. 54-63 - Reinhard German, Miklós Telek:
Formal relation of Markov renewal theory and supplementary variables in the analysis of stochastic Petri nets. 64-73 - Marco Gribaudo, Matteo Sereno, Andrea Bobbio:
Fluid stochastic Petri nets: An extended formalism to include non-Markovian models. 74-81 - Andrea Bobbio, Sachin Garg, Marco Gribaudo, András Horváth, Matteo Sereno, Miklós Telek:
Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets. 82-91 - Wlodzimierz M. Zuberek:
Stepwise refinements of net models and their place invariants. 92-101 - Fernando García-Vallés, José Manuel Colom:
Implicit places in net systems. 104-113 - Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro:
Clarifying the priority specification of GSPN: Detached priorities. 114-123 - Daniel D. Deavours, William H. Sanders:
An efficient well-specified check. 124-133 - Peter Kemper:
A mapping of autonomous net condition event systems to GSPNs. 136-145 - Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale:
Exploiting Petri nets to support fault tree based dependability analysis. 146-155 - Stéphane Gaubert, Jean Mairesse:
Asymptotic analysis of heaps of pieces and application to timed Petri nets. 158-169 - Sébastien Lahaye, Jean-Louis Boimond, Laurent Hardouin:
Optimal control of (min, +) linear time-varying systems. 170-178 - Edouard Wagneur, Isabel Demongodin:
On the rational use of Petri nets, automata and the max algebra for the optimal control of DEDS. 179-186 - Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero Gómez:
On non-decidability of reachability for timed-arc Petri nets. 188-196 - Marc Boyer, Michel Diaz:
Non equivalence between time Petri nets and time stream Petri nets. 198-207 - Brigitte Pradin-Chezalviel, Robert Valette, Luis Allan Künzle:
Scenario durations characterization of t-timed Petri nets using linear logic. 208-217 - Xuandong Li, Johan Lilius:
Checking time Petri nets for linear duration properties. 218-227
a service of 
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-05-10 18:46 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:
