Oclets - Scenario-based modeling with petri nets

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

Volumn 5606 LNCS, Issue , 2009, Pages 223-242

  Fahland, Dirk ^a  

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

Operational semantics; Partial order; Petri nets; Scenarios

Indexed keywords

DISASTER MANAGEMENT; FORMAL MODEL; LIVE SEQUENCE CHART; MESSAGE SEQUENCE CHARTS; MODELING SYSTEMS; OPERATIONAL SEMANTICS; PARTIAL ORDER; PROCESS MODEL; RUNTIMES; SCENARIOS; SYSTEM BEHAVIORS;

CELL CULTURE; DISASTER PREVENTION; FLOWCHARTING; GRAPH THEORY; PETRI NETS; SECURITY OF DATA; SEMANTICS;

MATHEMATICAL MODELS;

EID: 70350313032     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02424-5_14     Document Type: Conference Paper

References (19)

1. Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Form. Methods Syst. Des. 19(1), 45-80 (2001)
2. Desel, J.: From human knowledge to process models. In: UNISCON, pp. 84-95 (2008)
3. Fahland, D., Woith, H.: Towards process models for disaster response. In: Ardagna, D., et al. (eds.) BPM 2008 Workshops. LNBIP, vol. 17, pp. 244-256. Springer, Heidelberg (2008)
4. Mukund, M., Kumar, K.N., Thiagarajan, P.S.: Netcharts: Bridging the gap between HMSCs and executable specifications. In: Amadio, R., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 293-307. Springer, Heidelberg (2003)
5. Mauw, S., Reniers, M.A.: An algebraic semantics of Basic Message Sequence Charts. The Computer Journal 37, 269-277 (1994)
6. Harel, D., Kugler, H.: Synthesizing State-Based Object Systems from LSC Specifications. In: Yu, S., Pǎun, A. (eds.) CIAA 2000. LNCS, vol. 2088, pp. 1-33. Springer, Heidelberg (2001)
7. Hélouët, L., Jard, C., Caillaud, B.: An event structure based semantics for high-level message sequence charts. Mathematical. Structures in Comp. Sci. 12(4), 377-402 (2002)
8. Engelfriet, J.: Branching processes of Petri nets. Acta Inf. 28(6), 575-591 (1991)
9. Reisig, W.: Elements Of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer, Heidelberg (1998)
10. Esparza, J., Heljanko, K.: Unfoldings - A Partial-Order Approach to Model Checking. Springer, Heidelberg (2008)
11. Kluge, O.: Petri nets as a semantic model for Message Sequence Chart specifications. In: INT 2002, Grenoble, France, pp. 138-147 (2002)
12. Harel, D., Kugler, H., Marelly, R., Pnueli, A.: Smart play-out of behavioral requirements. In: Aagaard, M.D., O'Leary, J.W. (eds.) FMCAD 2002. LNCS, vol. 2517, pp. 378-398. Springer, Heidelberg (2002)
13. Desel, J., Juliás, G., Lorenz, R., Neumair, C.: Modelling and validation with Vip-Tool. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 380-389. Springer, Heidelberg (2003)
14. Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Synthesis of Petri Nets from Finite Partial Languages. Fundam. Inform. 88(4), 437-468 (2008)
15. Bergenthum, R., Mauser, S.: Synthesis of Petri Nets from Infinite Partial Languages with VipTool. In: AWPN 2008, Rostock, Germany, University of Rostock (September 2008)
16. Hee, K., Serebrenik, A., Sidorova, N., Voorhoeve, M., Werf, J.: Modelling with History-Dependent Petri Nets. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 320-327. Springer, Heidelberg (2007)
17. Barros, J.A.P., Gomes, L.: Net model composition and modification by net operations: a pragmatic approach. In: Proceedings of INDIN 2004, Berlin, Germany (June 2004)
18. Rinderle, S., Reichert, M., Dadam, P.: Evaluation of correctness criteria for dynamic workflow changes. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 41-57. Springer, Heidelberg (2003)
19. Ehrig, H., Hoffmann, K., Padberg, J., Prange, U., Ermel, C.: Independence of net transformations and token firing in reconfigurable place/transition systems. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 104-123. Springer, Heidelberg (2007)