1995 17th International Conference on Software Engineering, 1995, p.147-157
1995
Volltextzugriff (PDF)
Details
- Autor(en) / Beteiligte
- Titel
- A compact Petri net representation for concurrent programs
- Ist Teil von
- 1995 17th International Conference on Software Engineering, 1995, p.147-157
- Ort / Verlag
- New York, NY, USA: ACM
- Erscheinungsjahr
- 1995
- Quelle
- IEEE/IET Electronic Library (IEL)
- Beschreibungen/Notizen
- This paper presents a compact Petri net representation that is efficient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Petri nets are based on task interaction graphs and are called TIG-based Petri nets (TPN)s. They form a compact representation by summarizing the effects of large regions of a program and making useful information about those regions available for program analysis. We present a flexible framework for checking a variety of properties of concurrent programs using the reachability graph generated from a TPN. We present experimental results that demonstrate the benefit of TPNs over alternate Petri net representations and discuss the applicability of Petri net reduction techniques to TPNs.
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9780897917087, 0897917081ISSN: 0270-5257eISSN: 1558-1225DOI: 10.1145/225014.225028Titel-ID: cdi_proquest_miscellaneous_31080760
- Format
- –
- Schlagworte
- Computer systems organization -- Architectures -- Parallel architectures -- Cellular architectures, Computing methodologies -- Concurrent computing methodologies -- Concurrent programming languages, Hardware -- Emerging technologies -- Quantum technologies -- Quantum dots and cellular automata, Mathematics of computing -- Discrete mathematics -- Graph theory -- Network flows, Social and professional topics -- Professional topics -- Management of computing and information systems -- Project and people management, Social and professional topics -- Professional topics -- Management of computing and information systems -- Software management, Software and its engineering -- Software creation and management -- Software development process management, Software and its engineering -- Software notations and tools -- General programming languages -- Language types -- Concurrent programming languages, Software and its engineering -- Software notations and tools -- Software configuration management and version control systems, Software and its engineering -- Software organization and properties -- Software system structures -- Software system models -- Petri nets, Software engineering, Theory of computation -- Design and analysis of algorithms -- Graph algorithms analysis -- Network flows, Theory of computation -- Models of computation