Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
87 | Ehud Sivan, Nancy Kopell |
Oscillations and slow patterning in the antennal lobe. |
J. Comput. Neurosci. |
2006 |
DBLP DOI BibTeX RDF |
olfactory, insect, odor, model, synchrony |
86 | Csanád Imreh |
A New Well-Solvable Class of PNS Problems. |
Computing |
2001 |
DBLP DOI BibTeX RDF |
AMS Subject Classifications: 90C27, 94C15 |
81 | Yiannis E. Papelis, Thomas L. Casavant |
Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets With Transition Enabling Functions. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
parallel/distributed software, transition enabling functions, TEFs, decision-making activities, analytical properties, PNs, TEFs, parallel/distributed software, formal specification, parallel programming, Petri nets, Petri nets, specification, distributed computing systems, expressive power |
72 | R. Venkatesha Prasad, Martin Jacobsson, Sonia M. Heemstra de Groot, Anthony C. C. Lo, Ignas G. Niemegeers |
Architectures for intra-personal network communication. |
WMASH |
2005 |
DBLP DOI BibTeX RDF |
PN agent, edge routers, gateway nodes, personal networks |
72 | Curt Cramer, Thomas Fuhrmann |
Proximity Neighbor Selection for a DHT in Wireless Multi-Hop Networks. |
Peer-to-Peer Computing |
2005 |
DBLP DOI BibTeX RDF |
|
72 | Atsushi Maruyama, Naoki Shibata, Yoshihiro Murata, Keiichi Yasumoto, Minoru Ito |
A Personal Tourism Navigation System to Support Traveling Multiple Destinations with Time Restrictions. |
AINA (2) |
2004 |
DBLP DOI BibTeX RDF |
|
72 | Yigang Chen, Wei-Tek Tsai, Daniel Y. Chao |
Dependency Analysis - A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
computational complexity, computational complexity, parallel processing, Petri nets, liveness, concurrent systems, reachability, boundedness, dependency relations, Petrinets |
58 | Claudine Chaouiya, Elisabeth Remy, Denis Thieffry |
Qualitative Petri Net Modelling of Genetic Networks. |
Trans. Comp. Sys. Biology |
2006 |
DBLP DOI BibTeX RDF |
|
58 | René David, Hassane Alla |
On Hybrid Petri Nets. |
Discret. Event Dyn. Syst. |
2001 |
DBLP DOI BibTeX RDF |
modeling, Petri nets, continuous, hybrid, extended |
58 | Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou |
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
net reduction, schedule, Real-time systems, Petri nets, deadlock, reachability, state explosion |
58 | Sam Coates-Stephens |
Automatic Acquisition of Proper Noun Meanings. |
ISMIS |
1991 |
DBLP DOI BibTeX RDF |
|
58 | Goffredo Haus, Antonio Rodriguez |
Music Description and Processing by Petri Nets. |
European Workshop on Applications and Theory of Petri Nets |
1987 |
DBLP DOI BibTeX RDF |
|
57 | Sung-Kwun Oh, Seok-Beom Roh, Witold Pedrycz |
A New Approach to Genetically Optimized Hybrid Fuzzy Set-Based Polynomial Neural Networks with FSPNs and PNs. |
MDAI |
2005 |
DBLP DOI BibTeX RDF |
|
56 | Dimitri Lefebvre, Edouard Leclercq |
Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs. |
Discret. Event Dyn. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
43 | Frantisek Capkovic |
DES Control Synthesis and Cooperation of Agents. |
ICCCI |
2009 |
DBLP DOI BibTeX RDF |
Agents, Petri nets, control, synthesis, cooperation, bipartite graphs, discrete-event systems, supervisor |
43 | Sung-Kwun Oh, Witold Pedrycz |
Genetically Optimized Self-organizing Neural Networks Based on Polynomial and Fuzzy Polynomial Neurons: Analysis and Design. |
Engineering Evolutionary Intelligent Systems |
2008 |
DBLP DOI BibTeX RDF |
|
43 | Junseok Hwang, Andrei Shin, Hyenyoung Yoon |
Dynamic reputation-based incentive mechanism considering heterogeneous networks. |
PM2HW2N |
2008 |
DBLP DOI BibTeX RDF |
reputation, agent-based modeling, incentive mechanism, cooperative relay, personal networks |
43 | Yanying Gu, Weidong Lu, R. Venkatesha Prasad, Ignas G. Niemegeers |
Clustering in Ad Hoc Personal Network Formation. |
International Conference on Computational Science (4) |
2007 |
DBLP DOI BibTeX RDF |
Personal Network Clustering Protocol, Clustering, Ad hoc network, Personal network |
43 | Andrea Trentini, Daniela Micucci |
Plan validation via petri nets in the real-time performers Java framework. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
validation, planning, soft real-time |
43 | Martin Jacobsson, Ignas G. Niemegeers |
Privacy and Anonymity in Personal Networks. |
PerCom Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Gonca Tuncel, Gunhan Mirac Bayhan |
A High-Level Petri Net Based Decision Support System for Real-Time Scheduling and Control of Flexible Manufacturing Systems: An Object-Oriented Approach. |
International Conference on Computational Science (1) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Cheng-Hsun Yu, Shingchern D. You |
Comparison of Two Different Approaches to Detect Perceptual Noise for MPEG-4 AAC. |
PCM (2) |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Manuel Silva Suárez, Laura Recalde |
Unforced Continuous Petri Nets and Positive Systems. |
POSTA |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Ho-Sung Park, Sung-Kwun Oh, Witold Pedrycz, Hyun-Ki Kim |
Genetically Optimized Self-Organizing Neural Networks Based on PNs and FPNs. |
ISNN (1) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Liz Ribe-Baumann, Kai-Uwe Sattler |
A small-world DHT built on generalized network coordinates. |
EDBT/ICDT Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Stephen Herborn, Aruna Seneviratne |
Dial "M" for middlebox managed mobility. |
IEEE Netw. |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Puri N. Anggraeni, Neeli R. Prasad, Ramjee Prasad |
Secure personal network. |
PIMRC |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Wassef Louati, Djamal Zeghlache |
Personal Overlay Networks Management Using a P2P-based Publish/Subscribe Naming System. |
PDP |
2008 |
DBLP DOI BibTeX RDF |
Naming System, Management, P2P, Publish/Subscribe, Personal Networks |
29 | Amirhossein Alimohammad, Saeed Fouladi Fard, Bruce F. Cockburn, Christian Schlegel |
On the efficiency and accuracy of hybrid pseudo-random number generators for FPGA-based simulations. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Junseok Hwang, Andrei Shin, Hyenyoung Yoon |
Incentives for Cooperative Relay in Heterogeneous Networks: A Dynamic Reputation-Based Approach. |
APNOMS |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Spyros A. Reveliotis |
Implicit Siphon Control and Its Role in the Liveness-Enforcing Supervision of Sequential Resource Allocation Systems. |
IEEE Trans. Syst. Man Cybern. Part A |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Karim Labadi, Haoxun Chen, Lionel Amodeo |
Modeling and Performance Evaluation of Inventory Systems Using Batch Deterministic and Stochastic Petri Nets. |
IEEE Trans. Syst. Man Cybern. Part C |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Frank T. H. den Hartog, M. A. Blom, C. R. Lageweg, M. E. Peeters, J. R. Schmidt, R. van der Veer, Arnout de Vries, M. R. van der Werff, Qian Tao, Raymond N. J. Veldhuis, N. H. G. Baken, Franklin Selgert |
First experiences with Personal Networks as an enabling platform for service providers. |
MobiQuitous |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Mariagrazia Dotoli, Maria Pia Fanti, Agostino Marcello Mangini |
Comparing management policies for Supply Chains via a hybrid Petri Net model. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Xinbo Jiang, Farzad Safaei, Paul Boustead |
Enhancing the multicast performance of structured P2P overlay in supporting Massively Multiplayer Online Games. |
ICON |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Weidong Lu, Yanying Gu, R. Venkatesha Prasad, Anthony C. C. Lo, Ignas G. Niemegeers |
A Self-organized Personal Network Architecture. |
ICNS |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Dan Saugstrup, Anders Henten |
Developing Personal Network Business Models. |
ICMB |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Ho-Sung Park, Sung-Kwun Oh, Tae-Chon Ahn |
Improvement of HSOFPNN Using Evolutionary Algorithm. |
Australian Conference on Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Hai Jin 0001, Pengliu Tan |
A Novel Dynamic Allocation and Scheduling Scheme with CPNA and FCF Algorithms in Distributed Real-time Systems. |
ICPADS (1) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Sung-Kwun Oh, Hyun-Ki Kim |
Genetically Optimized Hybrid Fuzzy Polynomial Neural Networks Based on Polynomial and Fuzzy Polynomial Neurons. |
Australian Conference on Artificial Intelligence |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Ho-Sung Park, Sung-Kwun Oh, Witold Pedrycz, Daehee Park, Yong-Kab Kim |
A New Approach to Self-Organizing Hybrid Fuzzy Polynomial Neural Networks: Synthesis of Computational Intelligence Technologies. |
ISNN (1) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Emilio Jiménez, Jorge Júlvez, Laura Recalde, Manuel Silva Suárez |
Relaxed continuous views of discrete event systems: considerations on Forrester diagrams and Petri nets. |
SMC (5) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Raquel Fernández-Ramos, Jorge Romero-Sánchez, Francisco J. Ríos-Gómez, José F. Martín-Canales |
Modelling and Simulation of a Digital IC System Using SimulPet: Application to a Speech Coding Communication IC. |
DSD |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Wai Han Soo, Azman Samsudin, Alwyn Goh |
Efficient Mental Card Shuffling via Optimised Arbitrary-Sized Benes Permutation Network. |
ISC |
2002 |
DBLP DOI BibTeX RDF |
mental card game, Benes permutation network, Shuffle, mix-net |
29 | Leon Blackwell, Brian R. von Konsky, Mike Robey |
Petri Net Script: A Visual Language for Describing Action, Behaviour and Plot. |
ACSC |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Thomas S. Jones, Ahmed Louri |
Media Access Protocols For A Scalable Optical Interconnection Network. |
ICPP |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Dar-Tzen Peng, Kang G. Shin, Tarek F. Abdelzaher |
Assignment and Scheduling Communicating Periodic Tasks in Distributed Real-Time Systems. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
Branch-and-bound (B&B) algorithm, computation and communication modules, precedence and timing constraints, task invocation and release times, lower-bound cost, intertask communication |
29 | Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev |
Coupling Asynchrony and Interrupts: Place Chart Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Peter Buchholz 0001 |
A Notion of Equivalence for Stochastic Petri Nets. |
Application and Theory of Petri Nets |
1995 |
DBLP DOI BibTeX RDF |
|
28 | Shuxian Du, Yaxiu Sun, Changyi Du |
Causality-Based Feature Importance Quantifying Methods: PN-FI, PS-FI and PNS-FI. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Shashank Gupta, Rajesh K. Krishnan, Vijayalaxmi Mogiligidda, T. Roopak, Manasa Hegde, Sairam Rajamani, Dilip Singh |
ARMOS 2.0: an ultra-secure commercial QKD product against PNS attacks. |
ICFSP |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Zhiyao Cen, Xiangwen Deng, Hengjie Zheng, Jianing Zhao, Anjie Jin, Chentao Fu, Tianqi Wang, Shangming Yang, Jingdian Yang |
EEG-based Emotion Recognition with Spatial and Functional Brain Mapping of CNS and PNS Signals. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Jie Zhang, Shanpeng Wang, Wenshuo Li, Zhenbing Qiu |
A Multi-Mode Switching Variational Bayesian Adaptive Kalman Filter Algorithm for the SINS/PNS/GMNS Navigation System of Pelagic Ships. |
Sensors |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Qihao Liu, Yujia Wang, Xiaofeng Liu |
PNS: Population-Guided Novelty Search for Reinforcement Learning in Hard Exploration Environments. |
IROS |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Christine Beauchene, Claire A. Zurn, Wanru Duan, Yun Guan, Sridevi V. Sarma |
Towards Robust Control of PNS for Chronic Pain: Modeling Spinal Cord Wide-Dynamic Range Neurons with Structured Uncertainty. |
EMBC |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Olivier Tessier-Larivière, Luke Y. Prince, Pascal Fortier-Poisson, Lorenz Wernisch, Oliver Armitage, Emil Hewage, Guillaume Lajoie, Blake A. Richards |
PNS-GAN: Conditional Generation of Peripheral Nerve Signals in the Wavelet Domain via Adversarial Networks. |
NER |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Mario Aricò, Guillaume Morel |
PnS: a Perspective-n-Spheres Algorithm for Laparoscope Calibration in Minimally Invasive Surgery. |
IROS |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Faruk Karaaslan |
Possibility neutrosophic soft sets and PNS-decision making method. |
Appl. Soft Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Michael Wininger, Panagiotis K. Artemiadis, Claudio Castellini, Patrick M. Pilarski |
Editorial: Peripheral Nervous System-Machine Interfaces (PNS-MI). |
Frontiers Neurorobotics |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Lei Zhang 0035, Ayesha Ijaz, Juquan Mao, Pei Xiao, Rahim Tafazolli |
Multi-Service Signal Multiplexing and Isolation for Physical-Layer Network Slicing (PNS). |
VTC Fall |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Lorenzo Bisoni, Caterina Carboni, Roberto Puddu, Gianluca Barabino, Danilo Pani, Luigi Raffo, Matthias Müller 0009, Thomas Stieglitz, Jaume del Valle, Natalia de la Oliva, Ignacio Delgado-Martínez, Xavier Navarro, Massimo Barbaro |
A 64-channels neural interface for biopotentials recording and PNS stimulation. |
EMBC |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Dimitri Lefebvre |
Probability of faults for partially observed Timed PNs with temporal constraints. |
ICNSC |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Jinhui Wang, Na Gong, Eby G. Friedman |
PNS-FCR: Flexible Charge Recycling Dynamic Circuit Technique for Low-Power Microprocessors. |
IEEE Trans. Very Large Scale Integr. Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Yanghuan Li, Yang Gu, Qian Song, Ming Ma 0008 |
Trajectory calibration approach using a flexible particle filter for PNS. |
IPIN |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Dimitri Lefebvre, Edouard Leclercq |
An algorithm based on model predictive control for trajectories tracking with untimed PNs. |
MED |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Jacopo Carpaneto, Annarita Cutrone, Silvia Bossi, Pier Nicola Sergi, Luca Citi, Jacopo Rigosa, Paolo Maria Rossini, Silvestro Micera |
Activities on PNS neural interfaces for the control of hand prostheses. |
EMBC |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Neeli Rashmi Prasad |
Threat Model Framework and Methodology for Personal Networks (PNs). |
COMSWARE |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Sung-Kwun Oh, Witold Pedrycz |
The design of self-organizing neural networks based on PNs and FPNs with the aid of genetic optimization and extended GMDH method. |
Int. J. Approx. Reason. |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Georgios Paliouras, Alexandros Mouzakidis, Christos Ntoutsis, Angelos Alexopoulos, Christos Skourlas |
PNS: Personalized Multi-source News Delivery. |
KES (2) |
2006 |
DBLP DOI BibTeX RDF |
Machine Learning, Personalization, Information Extraction |
28 | Masayuki Kawabata, Ryo Nishide, Mayumi Ueda, Shinichi Ueshima |
Graph-based Approach to Context-adaptable PNS and its Application Scenarios. |
ICDE Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Balázs Imreh |
Automaton Theory Approach for Solving Modified PNS Problems. |
Acta Cybern. |
2002 |
DBLP BibTeX RDF |
|
28 | ShihSen Peng, MengChu Zhou |
Conversion between ladder diagrams and PNs in discrete-event control design-a survey. |
SMC |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes |
HMSCs as Partial Specifications ... with PNs as Completions. |
MOVEP |
2000 |
DBLP BibTeX RDF |
|
28 | János Fülöp, Balázs Imreh, Ferenc Friedler |
On the Reformulation of Some Classes of PNS-Problems as Set Covering Problems. |
Acta Cybern. |
1998 |
DBLP BibTeX RDF |
|
28 | Zoltán Blázsik, Balázs Imreh |
A Note on Connection Between PNS and Set Covering Problems. |
Acta Cybern. |
1996 |
DBLP BibTeX RDF |
|
28 | Xiao Xu, Bryan E. Richards |
Scalable parallel fully implicit PNS solver for high speed viscous flows. |
Parallel CFD |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Faramarz Valafar, Okan K. Ersoy |
PNS Modules for the Synthesis of Parallel Self-Organizing Hierarchical Neural Networks. |
ISCAS |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Rieks Joosten, Frank T. H. den Hartog, Franklin Selgert |
Architecture of a Personal Network Service Layer. |
MOBILWARE Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Benjamin Walther-Franks, Rainer Malaka |
Evaluation of an Augmented Photograph-Based Pedestrian Navigation System. |
Smart Graphics |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Fu-Shiung Hsieh |
Analysis of Flexible Assembly Processes Based on Structural Decomposition of Petri Nets. |
IEEE Trans. Syst. Man Cybern. Part A |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Da-Yin Liao, MuDer Jeng, MengChu Zhou |
Application of Petri Nets and Lagrangian Relaxation to Scheduling Automatic Material-Handling Vehicles in 300-mm Semiconductor Manufacturing. |
IEEE Trans. Syst. Man Cybern. Part C |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Albena Mihovska, Neeli R. Prasad |
Adaptive Security Architecture based on EC-MQV Algorithm in Personal Network (PN). |
MobiQuitous |
2007 |
DBLP DOI BibTeX RDF |
|
14 | David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda |
Symbolic Model Checking of Analog/Mixed-Signal Circuits. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
analog/mixed-signal circuits, Boolean based symbolic model checking algorithm, VHDL-AMS description, labeled hybrid Petri nets, Boolean signals, temporal logic formulas, timed CTL, Boolean variables, Boolean function, binary decision diagram, hardware description language |
14 | Haesun Byun, Meejeong Lee |
Network Architecture and Protocols for BGP/MPLS Based Mobile VPN. |
ICOIN |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Eric Schkufza |
Decomposition of Games for Efficient Reasoning. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Sung-Kwun Oh, Witold Pedrycz, Wan-Su Kim, Hyun-Ki Kim |
GA-Based Polynomial Neural Networks Architecture and Its Application to Multi-variable Software Process. |
PRICAI |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Owen Conlan, Ian O'Keeffe, Shane Tallon |
Combining Adaptive Hypermedia Techniques and Ontology Reasoning to Produce Dynamic Personalized News Services. |
AH |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Ho-Sung Park, Tae-Chon Ahn |
The Analysis and Design of IG_gHSOFPNN by Evolutionary Optimization. |
FSKD |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Ho-Sung Park, Kyung-Won Jang, Sung-Kwun Oh, Tae-Chon Ahn |
Design Methodology of Optimized IG_gHSOFPNN and Its Application to pH Neutralization Process. |
ICONIP (3) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Rachid Bouyekhf, Abdellah El Moudni |
On the analysis of some structural properties of Petri nets. |
IEEE Trans. Syst. Man Cybern. Part A |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Fernando L. Pelayo, Fernando Cuartero, Valentín Valero, Maria L. Pelayo, Mercedes G. Merayo |
How does the memory work? By timed-arc Petri nets. |
IEEE ICCI |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Weidong Lu, Anthony C. C. Lo, Ignas G. Niemegeers |
Research Issues in QoS Provisioning for Personal Networks. |
IWQoS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Lorenzo Capra |
Colored Petri Nets State-Space Reduction via Symbolic Execution. |
SYNASC |
2005 |
DBLP DOI BibTeX RDF |
quotient graphs, symmetries, High-Level Petri Nets, linear constraints |
14 | Melha Bitam, Hassane Alla |
Performance evaluation of a TCP/IP transmission using hybrid Petri nets. |
AICCSA |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Fu-Shiung Hsieh |
Fault-tolerant deadlock avoidance algorithm for assembly processes. |
IEEE Trans. Syst. Man Cybern. Part A |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Sung-Kwun Oh, Byoung-Jun Park, Witold Pedrycz, Yong-Soo Kim |
A New Approach to Self-Organizing Polynomial Neural Networks by Means of Genetic Algorithms. |
ISNN (1) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Bourdeaud'huy, Pascal Yim, Saïd Hanafi |
Efficient reachability analysis of bounded Petri nets using constraint programming. |
SMC (2) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere |
Translating affine nested-loop programs to process networks. |
CASES |
2004 |
DBLP DOI BibTeX RDF |
integer linear programming, process networks, heterogeneous embedded systems |
14 | Holger Mauch |
A Petri Net Representation for Dynamic Programming Problems in Management Applications. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Peter Buchholz 0001, Carsten Tepper |
Functional Analysis of Process-Oriented Systems. |
OR |
2004 |
DBLP DOI BibTeX RDF |
|