sPBC: A Markovian Extension of Finite Petri Box Calculus

Authors:
Hermenegilda Macià;Valentín Valero;David de Frutos-Escrig
Affiliations:
-;-;-
Venue:
PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
Year:
2001

Citing 0
Cited 9

A Visual Formalism for the Composition of Stochastic Petri Nets

TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Stochastic Petri Box Calculus with Discrete Time

Fundamenta Informaticae
A congruence relation for sPBC

Formal Methods in System Design
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions

Fundamenta Informaticae
Compositional Abstraction for Stochastic Systems

FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Replicated ambient Petri nets

ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions

Fundamenta Informaticae
Stochastic Petri Box Calculus with Discrete Time

Fundamenta Informaticae
Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Abstract: Petri nets and stochastic Petri nets have been widely adopted as one of the best tools to model the logical and timing behavior of discrete-state systems. However, their practical applicability is limited by the state-space explosion problem. ...