Academic Journals Database
Disseminating quality controlled scientific knowledge

Search Articles for "Petri Nets"

Orthomodular Lattices Induced by the Concurrency Relation

Author(s): Luca Bernardinello | Lucia Pomello | Stefania Rombolà
A Petri Net Synthesis Method

Author(s): Chuanliang Xia
A New Formalism for Failure Diagnosis: Ant Colony Decision Petri Nets

Author(s): Calin Ciufudean | Adrian Graur | Constantin Filote | Cornel Turcu
Modeling and Analysis the Web Structure Using Stochastic Timed Petri Nets

Author(s): Po-Zung Chen | Chu-Hao Sun | Shih-Yang Yang
Generalized Net Model of Human Hematopoietic System

Author(s): Vichren Chakarov | Anthony Shannon | Krassimir Atanassov
Modelling and Analysis Flexible Manufacturing Systems

Author(s): Myriam Noureddine | Patrick Martineau
Petri Net Methods of Constructing Kleene-Closure Operations of Regular Languages

Author(s): WenJuan Lian | Hao Fan | YuYue Du | YongQuan Liang
Application of Petri nets for transport streams modeling

Author(s): Filipova Krasimira | Stojadinova Tanja | Hadjiatanasova Vihra
Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors

Author(s): Yifei Bao | Adriana Compagnoni | Joseph Glavy | Tommy White
A Model-driven Approach for Runtime Assurance of Software Architecture Model

Author(s): Yujian Fu, Xudong He, Sha Li, Zhijiang Dong and Phil Bording
Recognition Algorithm Design and Complex Analysis for Languages of S-Nets

Author(s): Tingting Cui | Qingtian Zeng | Dongli Zhang

Author(s): Pragati Priyadarshinee, | Dr Shekhar Verma

Author(s): Maria de Fátima Costa de Souza | Danielo G. Gomes | Giovanni Cordeiro Barroso | Cidcley Teixeira de Souza | José Aires de Castro Filho | Mauro Cavalcante Pequeno | Rossana M. C. Andrade
A Dynamic Architecture for Reconfiguration of Web Servers Clusters

Author(s): Carla Marques | Isabel Oliveira | Giovanni Barroso | Antonio Serra
On Languages Accepted by P/T Systems Composed of joins

Author(s): Pierluigi Frisco | Oscar H. Ibarra
Capacity Bounded Grammars and Petri Nets

Author(s): Ralf Stiebe | Sherzod Turaev
Flux Analysis in Process Models via Causality

Author(s): Ozan Kahramanoğulları
A Stochastic Approach to Predicting Performance of Web Service Composition

Author(s): Yuxiang Dong | Yunni Xia | Qingsheng Zhu | Ruilong Yang
Development of a Discrete Event Controller Supervisor using a Hybrid Matrix Formulation with Fuzzy Logic Conflict Resolution

Author(s): Jose Mireles Jr. | Frank L. Lewis | Roberto C. Ambrosio | Edgar Martínez
Model Transform Based on a Kind of Transition Subnet

Author(s): Zhijian Wang | Dingguo Wei | Cheng Xu
Scoop Methodology: Modeling, Simulation And Analysis For Cooperative Systems

Author(s): David Saint-Voirin | Christophe Lang | Hervé Guyennet | Noureddine Zerhouni
Production Process Optimization in Flexible Manufacturing System Using Petri Nets

Author(s): E. Sharifi Tashnizi | S. N. Farahani | A. R. Fazeli Nahrekhalaji
Evaluation of Parallel Raytracing Strategy Improvements by Petri Nets

Author(s): KOREČKO Štefan | SOBOTA Branislav | JANOŠO Radovan
Aplicaciones de la redes de Petri en la construcción

Author(s): Recuero, Alfonso | Álvarez, Marina
Modeling Non-Repudiation in Distributed Systems

Author(s): Hong Zheng | Yu Yue Du | Yu ShuXia
Termination Analysis Approach and Implementation

Author(s): L. Baba-hamed | H. Belbachir
On interleaving in {P,A}-Time Petri nets with strong semantics

Author(s): Hanifa Boucheneb | Kamel Barkaoui
Travelling Salesman’s Problem: A Petri net Approach

Author(s): Sunita Kumawat, G.N.Purohit
A Fuzzy Approach to Sequential Failure Analysis Using Petri nets

Author(s): A. Doostparast Torshizi | S.R. Hejazi
A Process Calculus for Expressing Finite Place/Transition Petri Nets

Author(s): Roberto Gorrieri | Cristian Versari
On the Decidability of Non Interference over Unbounded Petri Nets

Author(s): Eike Best | Philippe Darondeau | Roberto Gorrieri
An Architecture for Interactive Target-Oriented e/m-Learning Systems

Author(s): Cristina De Castro | Giacomo Leonardi | Paolo Toppan
Synthesis of Petri Nets with Localities

Author(s): M. Koutny | M. Pietkiewicz-Koutny
Application of Petri Nets in Bone Remodeling

Author(s): Lingxi Li | Hiroki Yokota
A Petri Net based Method for Analyzing Schedulability of Distributed Real-time Embedded Systems

Author(s): Liqiong Chen | Zhiqing Shao | Guisheng Fan | Hanhua Ma

Author(s): Li Ming | Mingwen Wang | Deng-Yi Zhang | Chin-Chen Chang | Fei Yu
Guest Editorial

Author(s): Huadong Ma | Guojun Wang | Guojun Wang
Modeling and Analysis of Multi-agent Systems using Petri Nets

Author(s): Jose R. Celaya | Alan A. Desrochers | Robert J. Graves
Protocol Modeling in Spiking Neural P systems and Petri nets

Author(s): Venkata Padmavati Metta | Kamala Krithivasan | Deepak Garg
Using Petri Nets to Enhance Web Usage Mining

Author(s): Shih-Yang Yang | Po-Zung Chen | Chu-Hao Sun
Towards a Formal Model for Grid Architecture via Petri Nets

Author(s): Yuyue Du | Changjun Jiang | Yubin Guo
A Transaction Description Model and Properties for P2P Computing

Author(s): Yubin Guo | Jianqing Xi | Deyou Tang | Ximing Li
Verification of Production Activity Control Architecture Using PETRI Net Tools

Author(s): Shahid Ikramullah Butt | Sun Hou-Fang | Amir Manzur Wain
Analysis of Structure properties of Petri Nets Using Transition Vectors

Author(s): Farooq Ahmad | Huang Hejiao | Wang Xiaolong
Logic Petri Nets and Equivalency

Author(s): Y.Y. Du | B.Q. Guo
A Semantics for the Control Part of Lotos

Author(s): R. Mekki | B. Messabih
Performance Evaluation of Web Services Orchestrated with WS-BPEL4 People

Author(s): Henrique Jorge A. Holanda | Jose Merseguer Hernaiz | Giovanni Cordeiro Barroso | A. B. Serra
State Space Reduction for Dynamic Process Creation

Author(s): H. Klaudel | M. Koutny | E. Pelz | F. Pommereau

Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks

Author(s): Diego Martínez | Apolinar González | Francisco Blanes | Raúl Aquino | José Simo | Alfons Crespo
A Novel Approach for Predicting User Behavior for Improving Web Performance

Author(s): Priyanka Makkar | Payal Gulati | Dr. A.K. Sharma3
Automated Transformation of Distributed Software Architectural Models to Finite State Process

Author(s): Omid Bushehrian, | Hassan Ghaedi | Reza Ghanbari Baghnavi
On Categories of Fuzzy Petri Nets

Author(s): Arun K. Srivastava | S. P. Tiwari
Fuzzy Petri Nets for Human Behavior Verification and Validation

Author(s): M. Kouzehgar, | M. A. Badamchizadeh | S. Khanmohammadi
Evaluating software architecture using fuzzy formal models

Author(s): Payman Behbahaninejad | Ali Harounabadi | Sayed Javad Mirabedini
A Petri Net Based Multi-Agent System Behavioral Testing

Author(s): Belkacem Athamena | Zina Houhamdi

Author(s): D. Lalitha | K. Rangarajan
Petri Nets for Biologically Motivated Computing

Author(s): J. Kleijn | M. Koutny | G. Rozenberg
An Adaptive Method Based on High-Level Petri Nets for E-Learning

Author(s): Fatemeh Omrani | Ali Harounabadi | Vahid Rafe
A Formal Model for Performance and Energy Evaluation of Embedded Systems

Author(s): Nogueira Bruno | Maciel Paulo | Tavares Eduardo | Andrade Ermeson | Massa Ricardo | Callou Gustavo | Ferraz Rodolfo
COMAS: A Cooperative Multiagent Architecture for Spectrum Sharing

Author(s): Mir Usama | Merghem-Boulahia Leila | Gaïti Dominique
Microcontroller-Based Process Monitoring Using Petri-Nets

Author(s): Frankowiak MarcosR | Grosvenor RogerI | Prickett PaulW
Internetware Structure Description and Research of the Petri Net Method

Author(s): Zhijian Wang | Yuping Hu | Shaohua Li | Dingguo Wei
Guest Editorial

Author(s): Feng Gao | Tokuro Matsuo | Junhu Zhang | Shifei Ding
Scheduling Real-Time Embedded Systems Based on TCPNIA

Author(s): Nianhua Yang | Huiqun Yu | Hua Sun | Zhilin Qian
On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models

Author(s): Elhillali Kerkouche | Allaoua Chaoui | El Bay Bourennane | Ouassila Labbani
An Approach to Analyzing User Preference based Dynamic Service Composition

Author(s): Guisheng Fan | Huiqun Yu | Liqiong Chen | Caizhu Yu
Guest Editorial

Author(s): Qihai Zhou | Min-bo Li | Zhongjun Li
ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra

Author(s): Hinkelmann Franziska | Brandon Madison | Guang Bonny | McNeill Rustin | Blekherman Grigoriy | Veliz-Cuba Alan | Laubenbacher Reinhard
Read Operators and their Expressiveness in Process Algebras

Author(s): Flavio Corradini | Maria Rita Di Berardini | Walter Vogler
Synchrony vs. Causality in Asynchronous Petri Nets

Author(s): Jens-Wolfhard Schicke | Kirstin Peters | Ursula Goltz
Time Delays in Membrane Systems and Petri Nets

Author(s): Bogdan Aman | Gabriel Ciobanu
Ambient Intelligence: Awareness Context Application in Industrial Storage

Author(s): Ahmed Zouinkhi | Eddy Bajic | Eric Rondeau | Mohamed Ben Gayed | Mohamed Naceur Abdelkrim
A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets

Author(s): Borhen Marzougui | Khaled Hassine | Kamel Barkaoui
Mapping UML 2.0 Activities to Zero-Safe Nets

Author(s): Sabine Boufenara | Faiza Belala | Kamel Barkaoui
Time Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net

Author(s): Meysam Zareiee | Abbas Dideban | Ali A. Ourouji
Computing the Reveals Relation in Occurrence Nets

Author(s): Stefan Haar | Christian Kern | Stefan Schwoon
Workflow Mining: Discovering Loops in Process Models

Author(s): V.R. Kavitha | R. Kavitha | N. Suresh Kumar
Novel Mechanism Control Algorithm for Wired Network

Author(s): V. B. Kirubanand | S. Palaniammal
Affiliate Program      Why do you need a reservation system?