2003 share record
persistent URL:
Gianfranco Balbo , Steven C. Bruell , Matteo Sereno : On the relations between BCMP queueing networks and product form solution stochastic petri nets. PNPM 2003 : 103-112 share record
persistent URL:
Falko Bause : On non-ergodic infinite-state stochastic Petri nets. PNPM 2003 : 84-92 share record
persistent URL:
Simona Bernardi , Susanna Donatelli : Building Petri net scenarios for dependable automation systems. PNPM 2003 : 72-81 share record
persistent URL:
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 : 62-71 share record
persistent URL:
Giacomo Bucci , Luigi Sassoli , Enrico Vicario : A discrete time model for performance evaluation and correctness verification of real time systems. PNPM 2003 : 134-143 share record
persistent URL:
Clément Delamare , Yvon Gardan , Patrice Moreaux : Performance evaluation with asynchronously decomposable SWN: implementation and case study. PNPM 2003 : 20-29 export record
dblp key:
conf/pnpm/FranceschinisVM03 share record
persistent URL:
Giuliana Franceschinis , Valeria Vittorini , Stefano Marrone , Nicola Mazzocca : SWN client-server composition operators in the OsMoSys framework. PNPM 2003 : 52-61 share record
persistent URL:
Reinhard German , Marco Gribaudo , Gábor Horváth , Miklós Telek : Stationary analysis of FSPNs with mutually dependent discrete and continuous parts. PNPM 2003 : 30-39 share record
persistent URL:
Stefan Haar : Distributed semi-Markov processes in stochastic T-timed Petri nets. PNPM 2003 : 114-123 share record
persistent URL:
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 : 40-49 share record
persistent URL:
Didier Lime , Olivier H. Roux : State class timed automaton of a time Petri net. PNPM 2003 : 124-133 share record
persistent URL:
Andrew S. Miner : Computing response time distributions using stochastic Petri nets and matrix diagrams. PNPM 2003 : 10-19 share record
persistent URL:
Matteo Sereno : Computational algorithms for product-form of competing Markov chains. PNPM 2003 : 93-102 share record
persistent URL:
Kent Vander Velden , Jean Peccoud : Modeling networks of molecular interactions in the living cell: structure, dynamics, and applications. PNPM 2003 : 2-8 share record
persistent URL:
Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003. IEEE Computer Society 2003 , ISBN 0-7695-1976-8 [contents] 2001 share record
persistent URL:
Gianfranco Balbo , Steven C. Bruell , Matteo Sereno : Embedded Processes in Generalized Stochastic Petri Nets. PNPM 2001 : 71-80 share record
persistent URL:
Simona Bernardi , Gianfranco Balbo : Concurrent Generalized Petri Nets: Regenerative Conditions. PNPM 2001 : 125-134 share record
persistent URL:
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 : 29-38 share record
persistent URL:
Marc Boyer , Michel Diaz : Multiple Enabledness of Transitions in Petri Nets with Time. PNPM 2001 : 219-228 share record
persistent URL:
Peter Buchholz : Equivalence and Aggregation of GSPNs with Labeled Transitions. PNPM 2001 : 187-196 share record
persistent URL:
Peter Buchholz , Peter Kemper : Compact Representations of Probability Distributions in the Analysis of Superposed GSPNs. PNPM 2001 : 81-90 share record
persistent URL:
Giovanni Chiola , Rubén Carvajal-Schiaffino : A Reachability Graph Construction Algorithm Based on Canonical Transition Firing Count Vectors. PNPM 2001 : 113-122 share record
persistent URL:
Gianfranco Ciardo : What a Structural World. PNPM 2001 : 3-16 share record
persistent URL:
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 : 241-250 export record
dblp key:
conf/pnpm/FranceschinisBB01 share record
persistent URL:
Giuliana Franceschinis , Claudio Bertoncello , Guido Bruno , Giorgio Lungo Vaschetti , Antonio Pigozzi : SWN Models of a Contact Center: a Case Study. PNPM 2001 : 39-48 share record
persistent URL:
Jörn Freiheit , Armin Zimmermann : A Divide and Conquer Approach for the Performance Evaluation of Large Stochastic Petri Nets. PNPM 2001 : 91-100 share record
persistent URL:
Marco Gribaudo , András Horváth : Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Numerical Solution Techniques. PNPM 2001 : 145-154 share record
persistent URL:
Jane Hillston , Laura Recalde , Marina Ribaudo , Manuel Silva Suárez : A Comparison of the Expressiveness of SPA and Bounded SPN Models. PNPM 2001 : 197-206