Search results for "PNPM"

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

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