Your search returned 19 results.

Results
		The liveness of Ws3pr Complexity and Decision by liu, Guanjun Source: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		onUse of Petri Nets for Enumeration of Ali Trees in a Graph by Hura, G S Source: Practical Electronics Formerly Epe: Everyday Practical Electronics Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Computational Studies of Ttr Related Amyloidosis: Exploration of CoInformational Space through Petri Net-Based Algorithm by Jakubowski, Rafal Gogolinska, Anna Peplowski, Lukasz Skrzyniarz, Piotr Source: Task Quarterly: Scientific Bulietin of Academic Computer Centre in Gdansk Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Modeling System Behavior for Risk and Reliability Analysis Using Kbarm by Sahrma, Rajiv Kumar Kumar, Dinesh Kumar, Pradeep Source: Quality and Reliability Engineering International Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Piecewise Deterministic Markov Processes and Dynamic Reliability by Zhang, H Dutuit, Y Dufour, F Gonzalez, K Source: Journal of Risk and Reliability: Proceedings OfI Mech E Part-O Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Coloured Petri Nets and a Dynamic Reliability Problem by Sknourilova, P Bris, R Source: Journal of Risk and Reliability: Proceedings OfI Mech E Part-O Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Modular Algebraic Nets to Specify Concurrent Systems by Battiston, Eugenio Cindio, Florelia De Muri, Giancarlo Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Fuzzy Reasoning Supported by Petri Nets by Bugarin, Alberto J Barro, Senen Source: IEEE Transactions on Fuzzy Systems Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes by Kluge, Werner E Lautenbach, Kurt Source: IEEE Transactions on Computers Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		The Effect of Execution Policies onSemantice and Analysis of Stochastic Petri Nets by Marsan, M. Ajmone Chiola, Giovanni Conte, Gianni Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		NecesSARy and Sufficient Ergodicity Condition for Open Synchronized Queueing Networks by Florin, Gerard Natkin, Stephane Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Formal Verification of Fault Tolerance Using Theorem-Proving Techniques by Wojcik, Anthony S Jr., Joseph Kljaich Smith, Brian T Source: IEEE Transactions on Computers Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets by Suzuki, T Shatz, Sol M Murata, Tadao Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Using Flat Concurrent Prolog in System Modeling by Arazi, Benjamin Dotan, Y Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions Approach and Case Study by Belil, Fevzi GrosspIETsch, Karl E Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		A Characterization of Independence for Competing Markov Chains with Application to Stochastic Petri Nets by Boucherie, Richard J Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Performance Analysis Using Stochastic Petri Nets by Molioy, Michael K Source: IEEE Transactions on Computers Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Behavior Relations in Synthesis Process of Petri Net Models. by Wang, H Jiang, C Liao, S Source: Ieee Transactions on Robotics and Automation Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Petri Nets by Peterson, James L Source: Acm Computing Surveys Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article

Report a problem