A time stamp reduction method for state space exploration using colored Petri nets

10.1177/0037549711410768 ◽

2011 ◽

Vol 88 (5) ◽

pp. 592-616 ◽

Author(s):

Mercedes E. Narciso ◽

Miquel A. Piera ◽

Antoni Guasch

Keyword(s):

State Space ◽

Reduction Method ◽

Space Exploration ◽

Colored Petri Nets ◽

State Space Exploration

Download Full-text

A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future

Applications and Theory of Petri Nets - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13675-7_4 ◽

2010 ◽

pp. 39-42 ◽

Author(s):

Lars M. Kristensen

Keyword(s):

State Space ◽

Space Exploration ◽

Coloured Petri Nets ◽

State Space Exploration

Download Full-text

An Approach to Distributed State Space Exploration for Coloured Petri Nets

Lecture Notes in Computer Science - Applications and Theory of Petri Nets 2004 ◽

10.1007/978-3-540-27793-4_28 ◽

2004 ◽

pp. 474-483 ◽

Author(s):

Lars M. Kristensen ◽

Laure Petrucci

Keyword(s):

State Space ◽

Space Exploration ◽

Coloured Petri Nets ◽

State Space Exploration

Download Full-text

Modular state space exploration for timed petri nets

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-007-0033-2 ◽

2007 ◽

Vol 9 (3-4) ◽

pp. 393-411 ◽

Author(s):

C. Lakos ◽

L. Petrucci

Keyword(s):

State Space ◽

Space Exploration ◽

Timed Petri Nets ◽

State Space Exploration

Download Full-text

Efficient timing analysis algorithms for timed state space exploration

Proceedings Third International Symposium on Advanced Research in Asynchronous Circuits and Systems ◽

10.1109/async.1997.587166 ◽

2002 ◽

Author(s):

W. Belluomini ◽

C.J. Myers

Keyword(s):

State Space ◽

Space Exploration ◽

Timing Analysis ◽

State Space Exploration

Download Full-text

State space exploration in Markov models

Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems - SIGMETRICS '92/PERFORMANCE '92 ◽

10.1145/133057.133100 ◽

1992 ◽

Author(s):

Edmundo de Souza e Silva ◽

Pedro Mejiá Ochoa

Keyword(s):

State Space ◽

Markov Models ◽

Space Exploration ◽

State Space Exploration

Download Full-text

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs

IEEE Transactions on Software Engineering ◽

10.1109/tse.2008.37 ◽

2008 ◽

Vol 34 (5) ◽

pp. 597-613 ◽

Author(s):

M. d'Amorim ◽

S. Lauterburg ◽

D. Marinov

Keyword(s):

State Space ◽

Space Exploration ◽

Object Oriented ◽

State Space Exploration

Download Full-text

Multi-threaded Explicit State Space Exploration with State Reconstruction

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-02444-8_16 ◽

2013 ◽

pp. 208-223 ◽

Author(s):

Sami Evangelista ◽

Lars Michael Kristensen ◽

Laure Petrucci

Keyword(s):

State Space ◽

Space Exploration ◽

State Reconstruction ◽

State Space Exploration

Download Full-text

Performance improvement of state space exploration by regular & differential hashing functions

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-58179-0_68 ◽

1994 ◽

pp. 364-376 ◽

Author(s):

Bernard Cousin ◽

Jean-michel Hélary

Keyword(s):

State Space ◽

Performance Improvement ◽

Space Exploration ◽

State Space Exploration

Download Full-text

Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems

FME 2003: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45236-2_26 ◽

2003 ◽

pp. 462-481 ◽

Author(s):

Marc Lettrari

Keyword(s):

State Space ◽

Space Exploration ◽

Object Oriented ◽

Object Oriented Systems ◽

State Space Exploration

Download Full-text

State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/11562948_16 ◽

2005 ◽

pp. 187-201 ◽

Author(s):

Charles A. Lakos ◽

Lars M. Kristensen

Keyword(s):

State Space ◽

Space Exploration ◽

Object Based ◽

State Space Exploration

Download Full-text