IEEE.org| IEEE Xplore Digital Library| IEEE Standards| IEEE Spectrum| More Sites

Cart (Loading....) | Create Account | Sign In

Author Search^beta | Advanced Search | Preferences | | More Search Options

Browse Conference Publications > Petri Nets and Performance Mod ...

Petri Nets and Performance Models, 1999. Proceedings. The 8th International Workshop on

| Create Account

IEEE Account

Change Username/Password
Update Address

Purchase Details

Payment Options
Order History
Access Purchased Documents

Profile Information

Communications Preferences
Profession and Education
Technical Interests

Need Help?

US & Canada: +1 800 678 4333
Worldwide: +1 732 981 0060
Contact & Support

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.

Please enter a valid username or password.

For Institutional Users:

More Search Options

Petri Nets and Performance Models, 1999. Proceedings. The 8th International Workshop on

Date 8-10 Sept. 1999

Quick Links

Filter Results

You have selected:

You have selected:

You have selected:

You have selected:

Title History

Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331)

Author index

Asymptotic analysis of heaps of pieces and application to timed Petri nets

Non equivalence between time Petri nets and time stream Petri nets

Performance evaluation of IEEE 802.11 wireless LANs with stochastic Petri nets

On the rational use of Petri nets, automata and the max algebra for the optimal control of DEDS

Clarifying the priority specification of GSPN: Detached priorities

Fluid stochastic Petri nets: An extended formalism to include non-Markovian models

Checking time Petri nets for linear duration properties

Integrated frameworks for multi-level and multi-formalism modeling

An efficient well-specified check

A mapping of autonomous net condition event systems to GSPNs

Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets

A data structure for the efficient Kronecker solution of GSPNs

Optimal control of (min,+) linear time-varying systems

GSPN analysis of dual-band mobile telephony networks

Formal relation of Markov renewal theory and supplementary variables in the analysis of stochastic Petri nets

Implicit places in net systems

Stepwise refinements of net models and their place invariants

On state space decomposition for the numerical analysis of stochastic Petri nets

Exploiting Petri nets to support fault tree based dependability analysis

Scenario durations characterization of t-timed Petri nets using linear logic

On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets

On non-decidability of reachability for timed-arc Petri nets

IEEE Account

Purchase Details

Profile Information

Need Help?