Modeling and verification of a protocol for operational support using coloured Petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6709 LNCS, Issue , 2011, Pages 169-188

  Westergaard, Michael ^a   Maggi, Fabrizio M ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COLOURED PETRI NETS; EXPLICIT REPRESENTATION; MODELING AND ANALYSIS; MODELING TECHNIQUE; MULTIPLE APPLICATIONS; PROCESS MINING; STATE REPRESENTATION; STATE-SPACE;

QUERY PROCESSING; SOFTWARE AGENTS;

PETRI NETS;

EID: 79960083382     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21834-7_10     Document Type: Conference Paper

References (13)

1. Bryant, R.E.: Graph Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers C-35(8), 677-691 (1986)
2. Christensen, S., Kristensen, L.M.: State Space Analysis of Hierarchical Coloured Petri Nets. Petri Net Approaches for Modelling and Validation, 1-16 (2003)
3. CPN Tools webpage, http://cpntools.org
4. Evangelista, S., Westergaard, M., Kristensen, L.M.: The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. ToPNoC 3, 189-215 (2009)
5. Holzmann, G.J.: An Analysis of Bitstate Hashing. FMSD 13, 289-307 (1998)
6. Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)
7. Mailund, T., Westergaard, M.: Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 177-191. Springer, Heidelberg (2004)
8. Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: Full Support for Loosely-Structured Processes. In: Proc. of EDOC 2007, p. 287 (2007)
9. Process mining webpage, processmining.org.
10. Rozinat, A., Wynn, M.T., van der Aalst, W.M.P., ter Hofstede, A.H.M., Fidge, C.J.: Workflow Simulation for Operational Decision Support. Data Knowl. Eng. 68, 834-850 (2009)
11. Westergaard, M., Evangelista, S., Kristensen, L.M.: ASAP: An Extensible Platform for State Space Analysis. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, Springer, Heidelberg (2009)
12. Westergaard, M., Kristensen, L.M.: The Access/CPN Framework: A Tool for Interacting With the CPN Tools Simulator. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, Springer, Heidelberg (2009)
13. Wolper, P., Leroy, D.: Reliable Hashing without Collision Detection. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol. 697, pp. 59-70. Springer, Heidelberg (1993)