On the expressiveness of communication channels for object nets

Fundamenta Informaticae

Volumn 93, Issue 1-3, 2009, Pages 205-219

  Kohler Bußmeier, Michael ^a   Heitmann, Frank ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BOUNDEDNESS; COMMUNICATION CHANNEL; COVERABILITY; DIRECT SIMULATION; NET SYSTEMS; REACHABILITY; VERTICAL DIMENSIONS;

GRAPH THEORY;

PETRI NETS;

EID: 67651174733     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/FI-2009-0097     Document Type: Article

References (19)

1. Bednarczyk, M. A., Bernardinello, L., Pawlowski, W., Pomello, L.: Modelling mobility with Petri hypernets, Recent Trends in Algebraic Development Techniques (WADT 2004) (J. L. Fiadeiro, P. D. Mosses, F. Orejas, Eds.), 3423, Springer-Verlag, 2004.
2. Bruni, R., Montanari, U.: Zero-Safe Nets: Comparing the Collective and Individual Token Approaches, Information and Computation, 156(1-2), 2000, 46-89.
3. Busi, N.: Mobile nets, Formal Methods for Open Object-Based Distributed Systems (P. Ciancarini, A. Fantechi, R. Gorrieri, Eds.), 139, Kluwer, 1999.
4. Dufourd, C., Finkel, A., Schnoebelen, P.: Reset nets between decidability and undecidability, Automata, Languages, and Programming (ICALP'98) (K. Larsen, Ed.), 1443, Springer-Verlag, 1998.
5. Farwer, B.: A Linear Logic View of Object Petri Nets, Fundamenta Informaticae, 37(3), 1999, 225-246.
6. Finkel, A., Schnoebelen, P.: Well-structured Transition systems everywhere!, Theoretical Computer Science, 256(1-2), 2001, 63-92.
7. Haddad, S., Poitrenaud, D.: Theoretical Aspects of Recursive Petri Nets, Proceedings of the 20th International Conference on Application and Theory of Petri Nets (S. Donatelli, J. Kleijn, Eds.), 1639, Springer-Verlag, 1999.
8. van Hee, K., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M., Lomazova, I.: Checking Properties of Adaptive Workflow Nets, Fundamenta Informaticae, 79(3-4), 2007, 347-362.
9. 2: An Elementary Model for Design and Analysis of Multi-agent Systems, Coordination Models and Languages, COORDINATION 2002 (F. Arbab, C. L. Talcott, Eds.), 2315, Springer-Verlag, 2002.
10. Köhler, M.: Reachable Markings of Object Petri Nets, Fundamenta Informaticae, 79(3-4), 2007, 401 - 413.
11. Köhler, M., Farwer, B.: Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets, Fundamenta Informaticae, 72(1-3), 2006, 109-122.
12. Köhler, M., Moldt, D., Rölke, H.: Modelling Mobility and Mobile Agents using Nets within Nets, International Conference on Application and Theory of Petri Nets 2003 (W. v. d. Aalst, E. Best, Eds.), 2679, Springer-Verlag, 2003.
13. Köhler, M., Rölke, H.: Properties of Object Petri Nets, International Conference on Application and Theory of Petri Nets 2004 (J. Cortadella, W. Reisig, Eds.), 3099, Springer-Verlag, 2004.
14. Lakos, C.: A Petri Net View of Mobility, Formal Techniques for Networked and Distributed Systems (FORTE 2005), 3731, Springer-Verlag, 2005.
15. Lomazova, I. A.: Nested Petri Nets - a Formalism for Specification of Multi-agent distributed systems, Fundamenta Informaticae, 43(1-4), 2000, 195-214.
16. Meseguer, J., Montanari, U.: Petri nets are monoids, Information and Computation, 88(2), October 1990, 105-155.
17. Valk, R.: Modelling Concurrency by Task/Flow EN Systems, 3rd Workshop on Concurrency and Compositionality, number 191 in GMD-Studien, Gesellschaft für Mathematik und Datenverarbeitung, St. Augustin, Bonn, 1991.
18. Valk, R.: Object Petri nets: Using the nets-within-nets paradigm, Advanced Course on Petri Nets 2003 (J. Desel, W. Reisig, G. Rozenberg, Eds.), 3098, Springer-Verlag, 2003.
19. Xu, D., Deng, Y.: Modeling Mobile Agent Systems with High Level Petri Nets, IEEE International Conference on Systems, Man, and Cybernetics'2000, 2000.