Skip to main content

Decision Tables in Petri Net Models

  • Conference paper
Rough Sets and Intelligent Systems Paradigms (RSEISP 2007)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4585))

Abstract

Many monitoring and control computer systems contain a rule-based system as a part of them. Such a rule based system is used to determine which actions should be taken depending on the data collected from sensors. For both embedded and rule-based systems many different approaches have been proposed, but it is hardly possible to find a formalism that can cope with both of them. The paper deals with a problem of including decision tables into colour Petri net models. A few kinds of decision tables are considered and methods of transformation them into coloured Petri nets form called D-nets are presented. Both non-hierarchical and hierarchical D-nets are considered in the paper.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Adamski, M., Karatkevich, A., Wȩgrzyn, M. (eds.): Design of Embedded Control Systems. Springer Science+Business Media. Springer, Heidelberg (2005)

    Google Scholar 

  2. Bazan, J., Nguyen, S., Nguyen, T., Skowron, A., Stepaniuk, J.: Decision rules synthesis for object classification. In: Orłowska, E. (ed.) Incomplete Information: Rough Set Analysis, pp. 23–57. Physica-Verlag, Heidelberg (1998)

    Google Scholar 

  3. Cheng, A.M.K.: Real-time Systems. Scheduling, Analysis, and Verification. Wiley Interscience, New Jersey (2002)

    Google Scholar 

  4. Fryc, B., Pancerz, K., Suraj, Z.: Approximate Petri nets for rule-based decision making. In: Tsumoto, S., Słowiński, R., Komorowski, J., Grzymała-Busse, J.W. (eds.) RSCTC 2004. LNCS (LNAI), vol. 3066, pp. 733–742. Springer, Heidelberg (2004)

    Google Scholar 

  5. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, vol. 1–3. Springer, Heidelberg (1992-1997)

    MATH  Google Scholar 

  6. Ligêza, A.: Logical foundations of rule-based systems. Studies in Computational Intelligence, vol. 11. Springer, Heidelberg (2006)

    Google Scholar 

  7. Nalepa, G.J., Ligêza, A.: Designing reliable web security systems using rule-based systems approach. In: Menasalvas, E., Segovia, J., Szczepaniak, P.S. (eds.) AWIC 2003. LNCS (LNAI), vol. 2663, pp. 124–133. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  8. Pawlak, Z.: Rough Sets. Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)

    MATH  Google Scholar 

  9. Sommerville, I.: Software Engineering. Pearson Education Limited, London (2004)

    Google Scholar 

  10. Szpyrka, M., Szmuc, T.: Integrated approach to modelling and analysis using RTCP-nets. IFIP International Federation for Information Processing 227, 115–120 (2006)

    Article  Google Scholar 

  11. Szpyrka, M., Szmuc, T.: D-nets – Petri net form of rule-based systems. Foundations of Computing and Decision Sciences 31, 157–167 (2006)

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Marzena Kryszkiewicz James F. Peters Henryk Rybinski Andrzej Skowron

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Szpyrka, M., Szmuc, T. (2007). Decision Tables in Petri Net Models. In: Kryszkiewicz, M., Peters, J.F., Rybinski, H., Skowron, A. (eds) Rough Sets and Intelligent Systems Paradigms. RSEISP 2007. Lecture Notes in Computer Science(), vol 4585. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73451-2_68

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-73451-2_68

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-73450-5

  • Online ISBN: 978-3-540-73451-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics