Deriving complexity results for interaction systems from 1-safe Petri nets

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

Volumn 4910 LNCS, Issue , 2008, Pages 352-363

  Majster Cederbaum, Mila ^a   Minnameier, Christoph ^a  

^a UNIVERSITY OF MANNHEIM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; INTERACTIVE COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; POLYNOMIALS;

1-SAFE PETRI NETS (1SN); COMPONENT-BASED SYSTEMS; PSPACE-HARDNESS;

PETRI NETS;

EID: 38549170510     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77566-9_30     Document Type: Conference Paper

References (18)

1. Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Components in BIP. In: SEFM 2006. Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods, pp. 3-12. IEEE Computer Society, Washington, DC, USA (2006)
2. Bozga, M., Constant, O., Skipper, M., Ma, Q.: Speeds Meta-Model Syntax and Static Semantics (2007)
3. Basu, A., Mounier, L., Poulhis, M., Pulou, J., Sifakis, J.: Using BIP for Modeling and Verification of Networked Systems - A Case-Study on Tinyos-Based Networks. Technical Report, Verimag, Centre Equation (2007)
4. Bliudze, S., Sifakis, J.: The algebra of connectors: structuring interaction in bip. In: EMSOFT 2007. Proceedings of the 7th ACM & IEEE international conference on Embedded software, pp. 11-20. ACM, New York (2007)
5. Cheng, A., Esparza, J., Palsberg, J.: Complexity Results for 1-safe Nets. In: Shyamasundar, R.K. (ed.) FSTTCS 1993. LNCS, vol. 761, pp. 326-337. Springer, Heidelberg (1993)
6. de Alfaro, L., Henzinger, T.: Interface automata. In: Proceedings of FSE 2001, ACM Press, New York (2001)
7. Goessler, G., Graf, S., Majster-Cederbaum, M., Martens, M., Sifakis, J.: An Approach to Modelling and Verification of Component Based Systems. In: van Leeuwen, J., Italiano, C.F., van der Hoek, W., Meinel, C, Sack, H., Plášil, F. (eds.) SOFSEM 2007. LNCS, vol. 4362, Springer, Heidelberg (2007)
8. Goessler, C., Graf, S., Majster -Cederbaum, M., Martens, M., Sifakis, J.: Ensuring Properties of Interaction Systems by Construction. In: Program Analysis and Compilation, Theory and Practice. LNCS, vol. 4444, Springer, Heidelberg (2007)
9. Graf, S., Quinton, S.: Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. In: FORTE 2007. LNCS, vol. 4574, pp. 1-18. Springer, Heidelberg (2007)
10. Goessler, G., Sifakis, J.: Component-based Construction of Deadlock-free Systems. In: Pandya, P.K., Radhakrishnan, J. (eds.) FST TCS 2003. LNCS, vol. 2914, pp. 420-433. Springer, Heidelberg (2003)
11. Goessler, G., Sifakis, J.: Composition for Component-based Modeling. Sci. Comput. Program. 55(1-3), 161-183 (2005)
12. Lynch, N.A., Tuttle, M.R.: An Introduction to Input/Output Automata. In: CWI-Quarterly, pp. 219-246 (1989)
13. Minnameier, C.: Local and Global Deadlock-Detection in Componentbased Systems are NP-hard. In: Information Processing Letters 3630 (2007)
14. Majster-Cederbaum, M., Martens, M., Minnameier, C.: A Polynomialtime Checkable Sufficient Condition for Deadlock-Freedom of Component-based Systems. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plášil, F. (eds.) SOFSEM 2007. LNCS, vol. 4362, Springer, Heidelberg (2007)
15. Majster-Cederbaum, M., Martens, M., Minnameier, C.: Liveness in Interaction Systems. In: Proceedings of FACS 2007, ENTCS (2007)
16. Majster-Cederbaum, M., Semmelrock, N., Wolf, V.: Interaction Models for Biochemical Reactions. In: BioComp (2007)
17. Sifakis, J.: Modeling Real-time Systems. In: Keynote talk RTSS 2004 (2004)
18. Sifakis, J.: A Framework for Component-based Construction (extended abstract). In: SEFM, pp. 293-300 (2005)