NUST Institutions Library Catalogue

Application of GSPN for Modeling and Evaluating Local Area Computer Networks (Page-1) An Architecture of Computer Intrusion Detection Based on Partially Ordered Events (Page-13) Particle Filter for Depth Evaluation of Networking Intrusion Detection Using Coloured Petri Nets (Page-29) Modeling and Analyzing Software Architecture Using Object-Oriented Petri Nets and π-calculus (Page-45) Systolic Petri Nets (Page-61)Towards Rewriting Semantics of Software Architecture Specification (Page-93) Distributed Implementation of Petri nets in Control Applications (Page-207) Hybrid state Petri nets which have the analysis power of stochastic hybrid systems and the formal verification power of automata (Page-225) Reach ability Analysis of Time-Critical Systems (Page-251) Using Petri Net for Modeling and Analysis of a Encryption Scheme for Wireless Sensor Networks (Page-305) Diagnosability in Switched Linear Systems (Page-319) Fault diagnosis for complex systems using Coloured Petri Nets (Page-333) modelling and Fault Diagnosis by means of Petri Nets. Unmanned Aerial Vehicle Application (Page-351) Fault Diagnosis on Electric Power Systems based on Petri Net Approach (Page-491) GPenSIM: A New Petri Net Simulator (Page-525) An Approach Based in Petri Net for Intuitive Transformation of UML2 Activities into Fundamental Modeling Concept Petri Nets and Colored Petri Nets (Page-671) Multilevel Petri Nets for the Specification and Development of Workflow Automation Systems (Page-693) An Application of Petri Nets to e/m-Learning Environments (Page-713) Cristina De Castro and Paolo Toppan Petri nets-based Models for Web Services Composition (Page-729)