The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "PNPM"( http://dblp.L3S.de/Venues/PNPM )

URL (DBLP): http://dblp.uni-trier.de/db/conf/pnpm

Publication years (Num. hits)
1985 (35) 1987 (20) 1989 (30) 1991 (33) 1993 (29) 1995 (34) 1997 (25) 1999 (23) 2001 (25) 2003 (15)
Publication types (Num. hits)
inproceedings(259) proceedings(10)
Venues (Conferences, Journals, ...)
PNPM(269)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 269 publication records. Showing 269 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Gianfranco Balbo, Steven C. Bruell, Matteo Sereno On the relations between BCMP queueing networks and product form solution stochastic petri nets. Search on Bibsonomy PNPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Clément Delamare, Yvon Gardan, Patrice Moreaux Performance evaluation with asynchronously decomposable SWN: implementation and case study. Search on Bibsonomy PNPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Simona Bernardi, Susanna Donatelli Building Petri net scenarios for dependable automation systems. Search on Bibsonomy PNPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Giuliana Franceschinis, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca SWN client-server composition operators in the OsMoSys framework. Search on Bibsonomy PNPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Falko Bause On non-ergodic infinite-state stochastic Petri nets. Search on Bibsonomy PNPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1 Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003 Search on Bibsonomy PNPM The full citation details ... 2003 DBLP  BibTeX  RDF
1Stefan Haar Distributed semi-Markov processes in stochastic T-timed Petri nets. Search on Bibsonomy PNPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Andrew S. Miner Computing response time distributions using stochastic Petri nets and matrix diagrams. Search on Bibsonomy PNPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Matteo Sereno Computational algorithms for product-form of competing Markov chains. Search on Bibsonomy PNPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Armin Heindl, Ernst W. Biersack Discrete-state and fluid stochastic petri net models for open-loop video-on-demand systems: a comparative case study. Search on Bibsonomy PNPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Kent Vander Velden, Jean Peccoud Modeling networks of molecular interactions in the living cell: structure, dynamics, and applications. Search on Bibsonomy PNPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic. Search on Bibsonomy PNPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Didier Lime, Olivier H. Roux State class timed automaton of a time Petri net. Search on Bibsonomy PNPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Reinhard German, Marco Gribaudo, Gábor Horváth 0002, Miklós Telek Stationary analysis of FSPNs with mutually dependent discrete and continuous parts. Search on Bibsonomy PNPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Giacomo Bucci, Luigi Sassoli, Enrico Vicario A discrete time model for performance evaluation and correctness verification of real time systems. Search on Bibsonomy PNPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Marco Ajmone Marsan, Marco Gribaudo, Michela Meo, Matteo Sereno On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet Accesses. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Simona Bernardi, Gianfranco Balbo Concurrent Generalized Petri Nets: Regenerative Conditions. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Peter Buchholz 0001, Peter Kemper Compact Representations of Probability Distributions in the Analysis of Superposed GSPNs. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Gianfranco Balbo, Steven C. Bruell, Matteo Sereno Embedded Processes in Generalized Stochastic Petri Nets. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Reinhard German, Boudewijn R. Haverkort (eds.) Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001 Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  BibTeX  RDF
1Peter Buchholz 0001 Equivalence and Aggregation of GSPNs with Labeled Transitions. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Lisa Wells, Søren Christensen, Lars Michael Kristensen, Kjeld Høyer Mortensen Simulation Based Performance Analysis of Web Servers. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jane Hillston, Laura Recalde, Marina Ribaudo, Manuel Silva Suárez A Comparison of the Expressiveness of SPA and Bounded SPN Models. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Bruno Tuffin, Louis-Marie Le Ny Modeling and Analysis of Threshold Queues with Hysteresis using Stochastic Petri Nets: the Monoclass Case. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Daniel D. Deavours, William H. Sanders Möbius: Framework and Atomic Models. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Marco Gribaudo, András Horváth Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Numerical Solution Techniques. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Rob Jones, Gianfranco Ciardo On Phased Delay Stochastic Petri Nets: Definition and an Application. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jörn Freiheit, Armin Zimmermann A Divide and Conquer Approach for the Performance Evaluation of Large Stochastic Petri Nets. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Nicolas Rivière, Brigitte Pradin-Chezalviel, Robert Valette Reachability and Temporal Conflicts in t-Time Petri Nets. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Giovanni Chiola, Rubén Carvajal-Schiaffino A Reachability Graph Construction Algorithm Based on Canonical Transition Firing Count Vectors. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Gianfranco Ciardo What a Structural World. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Giuliana Franceschinis, Claudio Bertoncello, Guido Bruno, Giorgio Lungo Vaschetti, Antonio Pigozzi SWN Models of a Contact Center: a Case Study. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High level Petri Net. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1András Horváth, Miklós Telek Time Domain Analysis of NMSPNs with Preemptive Repeat Identical Type Transitions. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Andrew S. Miner Efficient Solution of GSPNs using canonical Matrix Diagrams. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Graham Clark, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster The Möbius Modeling Tool. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Marc Boyer, Michel Diaz Multiple Enabledness of Transitions in Petri Nets with Time. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Hermenegilda Macià, Valentín Valero, David de Frutos-Escrig sPBC: A Markovian Extension of Finite Petri box calculus. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Dietmar Tutsch, Joachim Sokol Petri Net based Performance Evaluation of USAIA's Bandwidth Partitioning for the Wireless Cell Level. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Daniel D. Deavours, William H. Sanders The Möbius Execution Policy. Search on Bibsonomy PNPM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Marco Gribaudo, Matteo Sereno, Andrea Bobbio Fluid stochastic Petri nets: An extended formalism to include non-Markovian models. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Brigitte Pradin-Chezalviel, Robert Valette, Luis Allan Künzle Scenario durations characterization of t-timed Petri nets using linear logic. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1 Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999 Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  BibTeX  RDF
1Stéphane Gaubert, Jean Mairesse Asymptotic analysis of heaps of pieces and application to timed Petri nets. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Marco Ajmone Marsan, Michela Meo, Matteo Sereno GSPN analysis of dual-band mobile telephony networks. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale Exploiting Petri nets to support fault tree based dependability analysis. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Fernando García-Vallés, José Manuel Colom Implicit places in net systems. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero Gómez On non-decidability of reachability for timed-arc Petri nets. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Edouard Wagneur, Isabel Demongodin On the rational use of Petri nets, automata and the max algebra for the optimal control of DEDS. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Daniel D. Deavours, William H. Sanders An efficient well-specified check. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Boudewijn R. Haverkort, Alexander Bell, Henrik C. Bohnenkamp On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Andrea 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. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Xuandong Li, Johan Lilius Checking time Petri nets for linear duration properties. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Peter Kemper A mapping of autonomous net condition event systems to GSPNs. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Marc Boyer, Michel Diaz Non equivalence between time Petri nets and time stream Petri nets. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Sébastien Lahaye, Jean-Louis Boimond, Laurent Hardouin Optimal control of (min, +) linear time-varying systems. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Wlodzimierz M. Zuberek Stepwise refinements of net models and their place invariants. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro Clarifying the priority specification of GSPN: Detached priorities. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Reinhard German, Miklós Telek Formal relation of Markov renewal theory and supplementary variables in the analysis of stochastic Petri nets. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Gianfranco Ciardo, Andrew S. Miner A data structure for the efficient Kronecker solution of GSPNs. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Reinhard German, Armin Heindl Performance evaluation of IEEE 802.11 wireless LANs with stochastic Petri nets. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Carlos J. Perez-Jimenez, Javier Campos On state space decomposition for the numerical analysis of stochastic Petri nets. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1William H. Sanders Integrated frameworks for multi-level and multi-formalism modeling. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Gianfranco Ciardo, David M. Nicol, Kishor S. Trivedi Discrete-event simulation of fluid stochastic Petri nets. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Daniel D. Deavours, William H. Sanders "On-the-fly" solution techniques for stochastic Petri nets and extensions. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1René David Modeling of hybrid systems using continuous and hybrid Petri nets. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Javier Campos, Manuel Silva Suárez, Susanna Donatelli Structured solution of stochastic DSSP systems. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1N. Segent Performance evaluation of a consensus algorithm with Petri nets. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach Exploiting stochastic process algebra achievements for generalized stochastic Petri nets. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Susann C. Allmaier, Markus Kowarschik, Graham Horton State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Sergio Palazzo, Antonio Puliafito, Marco Scarpa Reliability analysis of a redundant database for UMTS systems. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1R. Govindarajan, F. Suciu, Wlodek M. Zuberek Timed Petri net models of multithreaded multiprocessor architectures. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Marco Gribaudo, Matteo Sereno GSPN semantics for queueing networks with blocking. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Jean-Marie Proth Petri nets for modelling and evaluating deterministic and stochastic manufacturing systems. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Alois Ferscha, Michael Richter Time Warp simulation of timed Petri nets: sensitivity of adaptive methods. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Vassilis Mertsiotakis, Manuel Silva Suárez Throughput approximation of decision free processes using decomposition. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Marco Ajmone Marsan, Khalid Begain, Rossano Gaeta, Miklós Telek GSPN analysis of ABR in ATM LANs. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Falko Bause, Peter Buchholz 0001 Aggregation and disaggregation in product form queueing Petri Nets. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Boudewijn R. Haverkort, Alexander Ost Steady-state analysis of infinite stochastic Petri nets: comparing the spectral expansion and the matrix-geometric method. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Paolo Marenzoni, Stefano Caselli, Gianni Conte Analysis of large GSPN models: a distributed solution tool. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Andrea Bobbio, Antonio Puliafito, Miklós Telek New primitives for interlaced memory policies in Markov regenerative Stochastic Petri Nets. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Marco Ajmone Marsan, Rossano Gaeta GSPN models of ATM switches. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Armin Heindl, Reinhard German A fourth-order algorithm with automatic stepsize control for the transient analysis of DSPNs. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Cosimo Anglano, Susanna Donatelli, Giuliana Franceschinis, Oliver Botti Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Peter Kemper Transient analysis of superposed GSPNs. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1 Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997 Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  BibTeX  RDF
1Peter J. Haas Estimation methods for stochastic Petri nets based on standardized time series. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Peter Buchholz 0001 Hierarchical structuring of superposed GSPNs. Search on Bibsonomy PNPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Marco A. Escalante, Nikitas J. Dimopoulos, Dilyan Gyuroff, Hausi A. Müller Timing analysis for synthesis of hardware interface controllers using timed signal transition graphs. Search on Bibsonomy PNPM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1David M. Nicol, Andrew S. Miner The fluid stochastic Petri net simulator. Search on Bibsonomy PNPM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Matteo Sereno Approximate mean value analysis technique for non-product form solution stochastic Petri nets: an application to stochastic marked graphs. Search on Bibsonomy PNPM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Peter Ziegler, Helena Szczerbicka A structure based decomposition approach for GSPN. Search on Bibsonomy PNPM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Manish Madhukar, Michael R. Leuze, Lawrence W. Dowdy Petri net model of a dynamically partitioned multiprocessor system. Search on Bibsonomy PNPM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Giovanni Chiola Characterization of timed well-formed Petri nets behavior by means of occurrence equations. Search on Bibsonomy PNPM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Serge Haddad, Patrice Moreaux Evaluation of high level Petri nets by means of aggregation and decomposition. Search on Bibsonomy PNPM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Daniel D. Deavours, W. Douglas Obal II, Muhammad A. Qureshi, William H. Sanders, Aad P. A. van Moorsel UltraSAN version 3 overview. Search on Bibsonomy PNPM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Jean-Claude Laprie, Mohamed Kaâniche, Karama Kanoun Modeling computer systems evolutions: non-stationary processes and stochastic Petri nets-application to dependability growth. Search on Bibsonomy PNPM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Gianfranco Balbo On the success of stochastic Petri nets. Search on Bibsonomy PNPM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Angela Di Febbraro, Riccardo Minciardi, Simona Sacone Performance optimization of event graphs modeling manufacturing systems. Search on Bibsonomy PNPM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Peter J. Haas, Gerald S. Shedler One-dependent cycles and passage times in stochastic Petri nets. Search on Bibsonomy PNPM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 269 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license