A Petri Net View of Mobility

@inproceedings{Lakos2005APN,
  title={A Petri Net View of Mobility},
  author={Charles Lakos},
  booktitle={FORTE},
  year={2005}
}
Mobile systems explore the interplay between locality and connectivity. A subsystem may have a connection to a remote subsystem and use this for communication. Alternatively, it may be necessary or desirable to move the subsystem close to the other in order to communicate. This paper presents a Petri Net formalisation of mobile systems so as to harness the intuitive graphical representation of Petri Nets and the long history of associated analysis techniques. The proposed formalism starts… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 14 CITATIONS

A Survey of Elementary Object Systems - Part I: Decidability Results

VIEW 11 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Modelling Mobile IP with Mobile Petri Nets

  • Charles Lakos
  • Computer Science
  • Trans. Petri Nets and Other Models of Concurrency
  • 2009
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND

A Survey of Decidability Results for Elementary Object Systems

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

A UTP approach for rTiMo

Structural and Dynamic Restrictions of Elementary Object Systems

VIEW 2 EXCERPTS
CITES BACKGROUND

Hypernets: a class of hierarchical petri nets

VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 23 REFERENCES

Modular Analysis of Petri Nets

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Object Petri Nets

  • R. Valk
  • Lectures on Concurrency and Petri Nets
  • 2004
VIEW 1 EXCERPT

Properties of Object Petri Nets

VIEW 2 EXCERPTS

Renew

  • O. Kummer, F. Wienberg, +6 authors simulation engine for Petri nets
  • In J. Cortadella and W. Reisig, editors, 25th International Conference on Application and Theory of Petri Nets
  • 2004
VIEW 1 EXCERPT

Modular Reachability Analyser for Algebraic System Nets

  • M. Mäkel̈a. Maria
  • In J. Esparza and C. Lakos, editors,
  • 2002
VIEW 1 EXCERPT