Skip to main content
SpringerLink
Log in

Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling

  • Conference paper
Book cover Parallel Computing Technologies (PaCT 2013)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7979))

Included in the following conference series:

Abstract

The paper presents a formalism and a tool for modelling and analysis of distributed real-time systems of mobile agents. For that we use a time extension of our Resource Driven Automata Nets (TRDA-nets) formalism. A TRDA-net is a two-level system. The upper level represents distributed environment locations with a net of active resources. On the lower level agents are modeled by extended finite state machines, asynchronously consuming/producing shared resources through input/output system ports (arcs of the system net). We demonstrate modelling facilities of the formalism and show that specific layers of TRDA-nets can be translated into Timed Automata, as well as into Time Petri nets, thus TRDA-nets integrate merits of both formalisms.

This work is supported by the Basic Research Program of the National Research University Higher School of Economics.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alur, R., Dill, D.: Automata for modelling real-time systems. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol. 443, pp. 322–335. Springer, Heidelberg (1990)

    Chapter  Google Scholar 

  2. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  3. Bashkin, V.A.: Nets of active resources for distributed systems modeling. Joint Bulletin of NCC&IIS, Comp. Science 28, 43–54 (2008)

    Google Scholar 

  4. Bashkin, V.A.: Formalization of semantics of systems with unreliable agents by means of nets of active resources. Progr. and Comp. Soft. 36(4), 187–196 (2010)

    Article  MATH  Google Scholar 

  5. Bashkin, V.A., Lomazova, I.A.: Resource Driven Automata Nets. Fund. Inf. 109(3), 223–236 (2011)

    MathSciNet  MATH  Google Scholar 

  6. Bashkin, V.A., Lomazova, I.A.: Cellular Resource Driven Automata Nets. Fund. Inf. 120(3-4), 245–259 (2012)

    MathSciNet  Google Scholar 

  7. Bednarczyk, M.A., Bernardinello, L., Pawłowski, W., Pomello, L.: Modelling mobility with Petri Hypernets. In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds.) WADT 2004. LNCS, vol. 3423, pp. 28–44. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  8. Bolognesi, T., Lucidi, F., Trigila, S.: From timed Petri nets to timed LOTOS. In: Proc. of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, pp. 1–14 (1990)

    Google Scholar 

  9. Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323–342 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  10. Chang, L., He, X., Lian, J., Shatz, S.: Applying a Nested Petri Net Modeling Paradigm to Coordination of Sensor Networks with Mobile Agents. In: Proc. of Workshop on Petri Nets and Distributed Systems 2008, Xian, pp. 132–145 (2008)

    Google Scholar 

  11. Dworzanski, L.W., Lomazova, I.A.: On Compositionality of Boundedness and Liveness for Nested Petri Nets. Fund. Inf. 120(3-4), 243–257 (2012)

    MathSciNet  Google Scholar 

  12. Köhler-Bußmeier, M.: Hornets: Nets within Nets combined with Net Algebra. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 243–262. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  13. Lomazova, I.A.: Nested Petri Nets – a Formalism for Specification and Verification of Multi-Agent Distributed Systems. Fund. Inf. 43(1-4), 195–214 (2000)

    MathSciNet  MATH  Google Scholar 

  14. Lomazova, I.A.: Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure. Fund. Inf. 60(1-4), 225–235 (2004)

    MathSciNet  MATH  Google Scholar 

  15. Lomazova, I.A.: Nested Petri nets for adaptive process modeling. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, vol. 4800, pp. 460–474. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  16. Merlin, P.M.: A Study of the Recoverability of Computing Systems. PhD thesis, University of California, Irvine, CA, USA (1974)

    Google Scholar 

  17. Nehaniv, C.L.: Asynchronous Automata Networks Can Emulate Any Synchronous Automata Network. Int. J. of Algebra and Computation 14(5-6), 719–739 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  18. Patil, S.S.: Limitations and Capabilities of Dijkstra’s Semaphore Primitives for Coordination among Processes. MIT, Project MAC, CSG Memo 57 (1971)

    Google Scholar 

  19. Ramchandani, C.: Analysis of asynchronous concurrent systems by timed Petri nets. Technical report. Massachusetts Institute of Technology, Cambridge (1974)

    Google Scholar 

  20. 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–24. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Yaroslavl State University, Yaroslavl, 150000, Russia

    Vladimir A. Bashkin

  2. National Research University Higher School of Economics, Moscow, 101000, Russia

    Irina A. Lomazova & Yulia A. Novikova

  3. Program Systems Institute of the Russian Academy of Science, Pereslavl-Zalessky, 152020, Russia

    Irina A. Lomazova

Authors
  1. Vladimir A. Bashkin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Irina A. Lomazova
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yulia A. Novikova
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computational Mathematics and Mathematical Geophysics, Supercomputer Department, Russian Academy of Science, 630090, Novosibirsk, Russia

    Victor Malyshkin

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bashkin, V.A., Lomazova, I.A., Novikova, Y.A. (2013). Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling. In: Malyshkin, V. (eds) Parallel Computing Technologies. PaCT 2013. Lecture Notes in Computer Science, vol 7979. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39958-9_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-39958-9_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-39957-2

  • Online ISBN: 978-3-642-39958-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation