Independence of net transformations and token firing in reconfigurable place/transition systems

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

Volumn 4546 LNCS, Issue , 2007, Pages 104-123

  Ehrig, Hartmut ^a   Hoffmann, Kathrin ^a   Padberg, Julia ^a   Prange, Ulrike ^a   Ermel, Claudia ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Integration of net theory and graph transformations; Parallel and sequential independence of net transformations and token firing

Indexed keywords

MATHEMATICAL MODELS; PROBLEM SOLVING;

GRAPH TRANSFORMATIONS; SEQUENTIAL INDEPENDENCE; TOKEN FIRING;

PETRI NETS;

EID: 38149128178     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73094-1_9     Document Type: Conference Paper

References (37)

1. Balbo, G., Bruell, S., Sereno, M.: Product Form Solution for Generalized Stochastic Petri Nets. IEEE Transactions on Software Engineering 28(10), 915-932 (2002)
2. Belli, F., Dreyer, J.: Systems Modelling and Simulation by Means of Predicate/Transition Nets and Logic Programming. In: Proc. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE), pp. 465-474 (1994)
3. Berthelot, G.: Checking properties of nets using transformation. In: Proc. Applications and Theory in Petri Nets. LNCS, vol. 222, pp. 19-40. Springer, Heidelberg (1985)
4. Berthelot, G.: Transformations and Decompositions of Nets. In: Petri Nets: Central Models and Their Properties, Part I, Advances in Petri Nets. LNCS, vol. 254, pp. 359-376. Springer, Heidelberg (1987)
5. Bessey, T., Becker, M.: Comparison of the modeling power of fluid stochastic Petri nets (FSPN) and hybrid Petri nets (HPN). In: Proc.Systems, Man and Cybernetics (SMC), vol. 2, pp. 354-358. IEEE Computer Society Press, Los Alamitos (2002)
6. Best, E., Thielke, T.: Orthogonal Transformations for Coloured Petri Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 447-466. Springer, Heidelberg (1997)
7. Billington, J.: Extensions to Coloured Petri Nets. In: Proc. Petri Nets and Performance Models (PNPM), pp. 61-70. IEEE Computer Society Press, Los Alamitos (1989)
8. Bonhomme, P., Aygalinc, P., Berthelot, G., Calvez, S.: Hierarchical control of time Petri nets by means of transformations. In: Proc. Systems, Man and Cybernetics (SMC), vol. 4, p. 6. IEEE Computer Society Press, Los Alamitos (2002)
9. Bottoni, P., De Rosa, F., Hoffmann, K., Mecella, M.: Applying Algebraic Approaches for Modeling Workflows and their Transformations in Mobile Networks. Journal of Mobile Information Systems 2(1), 51-76 (2006)
10. Campos, J., Sánchez, B., Silva, M.: Throughput Lower Bounds for Markovian Petri Nets: Transformation Techniques. In: Proc. Petri Nets and Performance Models (PNPM), pp. 322-331. IEEE Computer Society Press, Los Alamitos (1991)
11. Carmona, J., Cortadella, J.: Input/Output Compatibility of Reactive Systems. In: Aagaard, M.D., O'Leary, J.W. (eds.) FMCAD 2002. LNCS, vol. 2517, pp. 360-377. Springer, Heidelberg (2002)
12. Chehaibar, G.: Replacement of Open Interface Subnets and Stable State Transformation Equivalence. In: Proc. Applications and Theory of Petri Nets (ATPN). LNCS, vol. 674, pp. 1-25. Springer, Heidelberg (1991)
13. Cheung, T., Lu, Y.: Five Classes of Invariant-Preserving Transformations on Colored Petri Nets. In: Donatelli, S., Kleijn, J.H.C.M. (eds.) ICATPN 1999. LNCS, vol. 1639, pp. 384-403. Springer, Heidelberg (1999)
14. Cortés, L., Eles, P., Peng, Z.: Modeling and formal verification of embedded systems based on a Petri net representation. Journal of Systems Architecture 49(12-15), 571-598 (2003)
15. de Lara, J., Vangheluwe, H.: Computer Aided Multi-Paradigm Modelling to Process Petri-Nets and Statecharts. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 239-253. Springer, Heidelberg (2002)
16. Desel, J.: On Abstraction of Nets. In: Proc. Applications and Theory of Petri Nets (ATPN). LNCS, vol. 524, pp. 78-92. Springer, Heidelberg (1990)
17. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. In: EATCS Monographs in Theoretical Computer Science, Springer, Heidelberg (2006)
18. Ehrig, H., Hoffmann, K., Prange, U., Padberg, J.: Formal Foundation for the Reconfiguaration of Nets. Technical report, TU Berlin, Fak. IV (2007)
19. Esparza, J.: Model Checking Using Net Unfoldings. Science of Computer Programming 23(2-3), 151-195 (1994)
20. Esparza, J., Silva, M.: On the analysis and synthesis of free choice systems. In: Proc. Applications and Theory of Petri Nets (ATPN). LNCS, vol. 483, pp. 243-286. Springer, Heidelberg (1989)
21. Farwer, B., Köhler, M.: Mobile Object-Net Systems and their Processes. Fundamenta Informaticae 60(1-4), 113-129 (2004)
22. Haddad, S.: A Reduction Theory for Coloured Nets. In Proc. Applications and Theory in Petri Nets (ATPN). In: Proc. Applications and Theory in Petri Nets (ATPN). LNCS, vol. 424, pp. 209-235. Springer, Heidelberg (1988)
23. Hoffmann, K., Ehrig, H., Mossakowski, T.: High-Level Nets with Nets and Rules as Tokens. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 268-288. Springer, Heidelberg (2005)
24. Köhler, M., Rölke, H.: Concurrency for mobile object net systems. Fundamenta Informaticae 54(2-3), 221-235 (2003)
25. Kindler, E., Weber, M.: The Petri Net Kernel - An Infrastructure for Building Petri Net Tools. Software Tools for Technology Transfer 3(4), 486-497 (2001)
26. Kluge, O.: Modelling a Railway Crossing with Message Sequence Charts and Petri Nets. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 197-218. Springer, Heidelberg (2003)
27. Llorens, M., Oliver, J.: Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets. IEEE Transactions on Computers 53(9), 1147-1158 (2004)
28. Meseguer, J., Montanari, U.: Petri Nets Are Monoids. Information and Computation 88(2), 105-155 (1990)
29. Murata, T.: Petri nets: Properties, analysis and applications. In: Proc. IEEE, vol. 77, pp. 541-580. IEEE (1989)
30. Padberg, J., Gajewsky, M., Ermel, C.: Rule-based refinement of high-level nets preserving safety properties. Science of Computer Programming 40(1), 97-118 (2001)
31. Padberg, J., Hoffmann, K., Ehrig, H., Modica, T., Biermann, E., Ermel, C.: Maintaining Consistency in Layered Architectures of Mobile Ad-hoc Networks. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007, LNCS, vol. 4422, pp. 383-397, Springer, Heidelberg (2007)
32. Padberg, J., Urbášek, M.: Rule-Based Refinement of Petri Nets: A Survey. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 161-196. Springer, Heidelberg (2003)
33. Parisi-Presicce, F.: A Formal Framework for Petri Net Class Transformations. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 409-430. Springer, Heidelberg (2003)
34. Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific, Singapore (1997)
35. Urbášek, M.: Categorical Net Transformations for Petri Net Technology. PhD thesis, Technische Universität Berlin (2003)
36. Valk, R.: Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 1-25. Springer, Heidelberg (1998)
37. van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers 8(1), 21-66 (1998)