Modeling and analysis of distributed state space generation for timed Petri nets

Proceedings of the IEEE Annual Simulation Symposium

Volumn , Issue , 2001, Pages 93-98

  Zuberek, W M ^a   Rada, I ^a  

^a MEMORIAL UNIVERSITY OF NEWFOUNDLAND   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; MATHEMATICAL MODELS; PETRI NETS; STATE SPACE METHODS; SYSTEMS ANALYSIS;

DISTRIBUTED STATE SPACE GENERATION; REACHABILITY ANALYSIS; TIMED PETRI NETS;

MULTIPROCESSING SYSTEMS;

EID: 0034995038     PISSN: 02724715     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. A class of generalized stochastic Petri nets for the performance evaluation of systems
2. Derivation of a termination detection algorithm for distributed computations
3. Coloured Petri nets
4. Analysis of large GSPN models: A distributed solution tool
5. Petri nets: Properties, analysis, and applications
6. Distributed generation of state space for timed Petri nets
7. On generation of state space for timed Petri nets
8. Timed Petri nets, definitions, properties, and applications
9. Petri nets and timed Petri nets: Basic concepts and properties