Petri nets: an introduction
Computer tools for construction, modification and analysis of Petri nets
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
Interactive State-Space Analysis of Concurrent Systems
IEEE Transactions on Software Engineering
Effects of Response and Stability on Scheduling in Distributed Computing Systems
IEEE Transactions on Software Engineering
Stochastic Petri Net Analysis of a Replicated File System
IEEE Transactions on Software Engineering
Visualizing Performance Debugging
Computer
petri—a UNIX tool for the analysis of Petri nets
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Toward a Definition of Modeling Power for Stochastic Petri Net Models
PNPM '87 The Proceedings of the Second International Workshop on Petri Nets and Performance Models
On Stochastic High-Level Petri Nets
PNPM '87 The Proceedings of the Second International Workshop on Petri Nets and Performance Models
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part I
S-Invariance in Predicate/Transition Nets
Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets
Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets
An Application of Formal Analysis to Software in a Fault-Tolerant Environment
IEEE Transactions on Computers
Static Analysis and Dynamic Steering of Time-Dependent Systems
IEEE Transactions on Software Engineering
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering
An Object-Oriented Formal Model for Software Project Management
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
A method for modeling service management of e-Learning
WSEAS Transactions on Information Science and Applications
A modeling method for service management of e-Learning
AIC'08 Proceedings of the 8th conference on Applied informatics and communications
Analytical verification of information system requirements using petri net properties
Information and Software Technology
Hi-index | 0.01 |
An approach for visually specifying parallel/distributed software using Petri nets (PNs) extend with transition enabling functions (TEFs) is investigated. The approach is demonstrated to be useful in the specification of decision-making activities that control distributed computing systems. PNs are employed because of their highly visual nature that can give insight into the nature of the controller of such a system and because of their analytical properties. In order to increase the expressive power of PNs, the extension of TEFs is used. The main focus is the specification and analysis of parallel/distributed software and systems. A key element of this approach is a set of rules derived to automatically transform such an extended net into a basic PN. Once the rules have been applied to transform the specification, analytical methods can be used to investigate characteristic properties of the system and validate correct operation.