Petri Nets and Software Engineering

Software engineering and Petri net theory are disciplines of different nature. Research on software engineering focuses on a problem domain, i.e., the development of complex software systems, and tries to find a coherent set of solutions to cope with the different aspects of the problem, while research on Petri nets investigates applications and properties of a specific model (Petri nets).

[1]  Carl R. Strathmeyer,et al.  Voice in computing: an overview of available technologies , 1990, Computer.

[2]  Willem P. de Roever,et al.  Formal semantics for Ward and Mellor's transformation schemas and its application to fault tolerant systems , 1998 .

[3]  Jeannette M. Wing.  A specifier's introduction to formal methods , 1990, Computer.

[4]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[5]  Gernot Richter,et al.  Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language , 1993, IEEE Trans. Software Eng..

[6]  Ian Sommerville,et al.  Software Engineering, 6. Auflage , 2001 .

[7]  Luciano Baresi,et al.  Introducing Formal Specification Methods in Industrial Practice , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[8]  Wilhelm Hasselbring,et al.  The 22th International Conference on Software Engineering , 2000 .

[9]  Gregor Engels,et al.  OBJECT-ORIENTED MODELING OF MULTIMEDIA APPLICATIONS , 2002 .

[10]  Sol M. Shatz,et al.  Application and experimental evaluation of state space reduction methods for deadlock analysis in Ada , 1994, TSEM.

[11]  Computer Staff.  Mea culpa. , 1968, The Occupational health nurse.

[12]  Leon J. Osterweil,et al.  Software processes are software too , 1987, ISPW.

[13]  Brian Warboys,et al.  The Software Process: Modelling and Technology , 1999, Software Process: Principles, Methodology, Technology.

[14]  Gul Agha,et al.  Concurrent Object-Oriented Programming and Petri Nets , 2001, Lecture Notes in Computer Science.

[15]  Zug Switzerland,et al.  An Environment for Specifying and Executing Hierarchical Petri Nets , 1990 .

[16]  Ian Sommerville,et al.  Software engineering (6th ed.) , 2001 .

[17]  Pierre de Saqui-Sannes,et al.  Multimedia Authoring with Hierarchical Timed Stream Petri Nets and Java , 2004, Multimedia Tools and Applications.

[18]  Toshinori Suzuki,et al.  A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets , 1990, IEEE Trans. Software Eng..

[19]  Arif Ghafoor,et al.  Synchronization and Storage Models for Multimedia Objects , 1990, IEEE J. Sel. Areas Commun..

[20]  Carlo Ghezzi,et al.  Validating timing requirements for time basic net specifications , 1994, J. Syst. Softw..

[21]  Falko Bause,et al.  Stochastic Petri Nets: An Introduction to the Theory , 2012, PERV.

[22]  Guy Juanole,et al.  Specification and verification of distributed systems using prolog interpreted petri nets. , 1984, ICSE '84.

[23]  Michalis Vazirgiannis,et al.  Interactive multimedia documents: modeling, authoring, and implementation experiences , 1999 .

[24]  Paddy Nixon,et al.  An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets , 1996, FME.

[25]  Hans van Vliet,et al.  Software engineering - principles and practice , 1993 .

[26]  Joseph Sifakis,et al.  Use of Petri nets for performance evaluation , 1977, Acta Cybern..

[27]  Carlo Ghezzi,et al.  Fundamentals of software engineering (2. ed.) , 2003 .

[28]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[29]  Kurt Rothermel,et al.  Representing time in multimedia systems , 1994, 1994 Proceedings of IEEE International Conference on Multimedia Computing and Systems.

[30]  Mark C. Paulk,et al.  Capability Maturity Model , 1991 .

[31]  Carlo Ghezzi,et al.  SPADE: an environment for software process analysis, design, and enactment , 1994 .

[32]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[33]  Reidar Conradi,et al.  Assessing process-centered software engineering environments , 1997, TSEM.

[34]  Michal Young.  Neat models of messy problems: Notes on the interplay between solution- and problem-centered disciplines, and more particularly on the interaction between Petri net research and software engineering research , 2001, Comput. Syst. Sci. Eng..

[35]  Andy Galloway,et al.  Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra , 1994, FME.

[36]  David Lorge Parnas,et al.  An Invitation to Formal Methods , 1996, Computer.

[37]  Reidar Conradi,et al.  EPOS: object-oriented cooperative process modelling , 1994 .

[38]  Michalis Vazirgiannis.  Interactive multimedia documents , 1999 .

[39]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[40]  Carlo Ghezzi,et al.  A Unified High-Level Petri Net Formalism for Time-Critical Systems , 1991, IEEE Trans. Software Eng..

[41]  Philippe A. Palanque,et al.  A Petri Net based Environment for the Design of Event-driven Interfaces , 1995, Application and Theory of Petri Nets.

[42]  S. Natkin,et al.  Generalization of Queueing Network Product Form Solutions to Stochastic Petri Nets , 1991, IEEE Trans. Software Eng..

[43]  Robert B. France,et al.  Semantically Extended Data Flow Diagrams: A Formal Specification Tool , 1992, IEEE Trans. Software Eng..

[44]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[45]  Wilhelm Schäfer,et al.  Generic fuzzy reasoning nets as a basis for reverse engineering relational database applications , 1997, ESEC '97/FSE-5.

[46]  Vincenzo Ambriola,et al.  OIKOS: constructing process-centred SDEs , 1994 .

[47]  Nimal Nissanke.  Realtime systems , 1997, Prentice Hall series in computer science.

[48]  Richard F. Paige,et al.  A Meta-Method for Formal Method Integration , 1997, FME.

[49]  강문설.  [서평]「The Unified Modeling Language User Guide」 , 1999 .

[50]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[51]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[52]  Nancy G. Leveson,et al.  Safety Analysis Using Petri Nets , 1987, IEEE Transactions on Software Engineering.

[53]  Mark C. Paulk,et al.  The Capability Maturity Model , 1991 .

[54]  T. Kaneshige.  Waiting for the Telecommunications Act to deliver , 1996 .

[55]  Volker Gruhn,et al.  FUNSOFT nets: a Petri-net based software process modeling language , 1991, Proceedings of the Sixth International Workshop on Software Specification and Design.