Search results for "G-net"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Andreas Papagapiou, Paraskevas Evripidou, George Samaras	Net-Console: A Web-Based Development Environment for MPI Programs.	PVM/MPI	1999	DBLP DOI BibTeX RDF
19	Chia-Chun Tsai, Chwan-Ming Wang, Sao-Jie Chen	NEWS: a net-even-wiring system for the routing on a multilayer PGA package.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF
19	Peter Langner, Christoph Schneider, Joachim Wehler	Petri Net Based Certification of Event-Driven Process Chains.	ICATPN	1998	DBLP DOI BibTeX RDF
19	Marco Gribaudo, Matteo Sereno	On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking.	ICATPN	1998	DBLP DOI BibTeX RDF
19	Neophytos Neophytou, Paraskevas Evripidou	Net-dbx: A Java Powered Tool for Interactive Debugging of MPI Programs Across the Internet.	Euro-Par	1998	DBLP DOI BibTeX RDF
19	Thorsten von Eicken	Integration of U-Net into Windows/NT.	PCRCW	1997	DBLP DOI BibTeX RDF
19	Harro Wimmel, Lutz Priese	Algebraic Characterization of Petri Net Pomset Semantics.	CONCUR	1997	DBLP DOI BibTeX RDF
19	Mario Alberto López, Ravi Janardan, Sartaj K. Sahni	Efficient net extraction for restricted orientation designs [VLSI layout].	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
19	Andrei Kovalyov	An O(\|S\|×\|T\|)- Algorithm to Verify if a Net is Regular.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
19	Antonio Camurri, Paolo Franchi, Francesca Gandolfo, Renato Zaccaria	Petri net based process scheduling: A model of the control system of flexible manufacturing systems.	J. Intell. Robotic Syst.	1993	DBLP DOI BibTeX RDF	concurrent scheduling, timed Petri nets, CASE, High-level petri nets, flexible manufacturing systems
19	Peter Kemper	Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
19	Teruhiro Shimura, Jorge Lobo 0001, Tadao Murata	A Petri Net Semantics for Logic Programs with Negation.	SEKE	1992	DBLP DOI BibTeX RDF
19	Michel Barbeau, Gregor von Bochmann	The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach.	CAV	1991	DBLP DOI BibTeX RDF
19	Z. P. Tao, M. Goossens	Pitfalls of Petri net transformation.	SPDP	1991	DBLP DOI BibTeX RDF
19	Fillia Makedon, Spyros Tragoudas	Approximating the minimum net expansion: Near optimal solutions to circuit partitioning problems.	WG	1990	DBLP DOI BibTeX RDF
19	Heikki Tuominen	Proving Properties of Elementary Net Systems with a Special-Purpose Theorem Prover.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
19	M. E. Ulug	A hybrid expert system combining AI techniques with a neural-net.	IEA/AIE (1)	1989	DBLP DOI BibTeX RDF
19	Gurdeep S. Hura 0001, M. A. Costarellam C. G. Buell, M. M. Cvetanovic	PNSOFT: a menu-driven software package for Petri-net modeling and analysis.	ICCL	1988	DBLP DOI BibTeX RDF
19	Lingtao Wang, Chuan-lin Wu	I-NET mechanism for issuing multiple instructions.	SC	1988	DBLP DOI BibTeX RDF
19	Steve Meyer	A Data Structure for Circuit Net Lists.	DAC	1988	DBLP BibTeX RDF	CAE tool building, data structure implementation, software engineering
19	Nicholas Carriero, David Gelernter	The S/Net's Linda Kernel.	ACM Trans. Comput. Syst.	1986	DBLP DOI BibTeX RDF
19	C. V. Ramamoorthy, Yuh Yaw	A petri net reduction algorithm for protocol analysis.	SIGCOMM	1986	DBLP DOI BibTeX RDF
19	Angelika Horndasch, Rudi Studer	THM-NET: an approach to office systems modeling.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
19	Christine Choppy, Colette Johnen	PETRIREVE: Proving Petri Net Properties with Rewriting Systems.	RTA	1985	DBLP DOI BibTeX RDF
19	S. S. Reddi	A Modular Computer With Petri Net Array Control.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Modular computers, Petri nets, Reconfigurable computers, Parallel computer architecture
18	Chen-Kui Lee, Chun-Liang Lin, Bing-Min Shiu	Autonomous Vehicle Parking Using Hybrid Artificial Intelligent Approach.	J. Intell. Robotic Syst.	2009	DBLP DOI BibTeX RDF	Vehicle parking, Genetic algorithm, Optimization, Petri net, Fuzzy control
18	Gerhard Tutz 0001, Jan Ulbricht	Penalized regression with correlation-based penalty.	Stat. Comput.	2009	DBLP DOI BibTeX RDF	Correlation-based estimator, Penalization, Boosting, Variable selection, Lasso, Elastic net
18	Ali Gerhard Tafazzoli, Stephen D. Roberts, Robert W. Klein, Reid M. Ness, Robert S. Dittus	Probabilistic cost-effectiveness comparison of screening strategies for colorectal cancer.	ACM Trans. Model. Comput. Simul.	2009	DBLP DOI BibTeX RDF	Cost-effectiveness analysis, acceptability curves, colorectal cancer screening strategies, net benefit analysis, probabilistic sensitivity analysis, medical decision-making
18	Min Gao 0001, Zhongfu Wu	EPN-Based Web Service Composition Approach.	WISM	2009	DBLP DOI BibTeX RDF	Web Services, SOA, Petri Net, Web Service Composition
18	Xianwen Fang, Xiaoqin Fan, Zhixiang Yin	Constraint Web Service Composition Based on Discrete Particle Swarm Optimization.	WISM	2009	DBLP DOI BibTeX RDF	Discrete Particle Swarm Optimization, Associate Petri net, Web Service Composition, Global Constraint
18	Lan Xiao, Li Zheng 0002, Jian Xiao, Yi Huang	A Graphical Query Language for Querying Petri Nets.	UNISCON	2009	DBLP DOI BibTeX RDF	Petri Net, Query Language, Business Process Modeling
18	Boris Bukh, Jirí Matousek 0001, Gabriel Nivasch	Lower bounds for weak epsilon-nets and stair-convexity.	SCG	2009	DBLP DOI BibTeX RDF	inverse ackermann function, selection lemma, stair-convexity, weak epsilon-net
18	Haiyang Sun, Jian Yang 0001, Xin Wang, Yanchun Zhang	A Verification Mechanism for Secured Message Processing in Business Collaboration.	APWeb/WAIM	2009	DBLP DOI BibTeX RDF	Role Authorization, Reliability Verification, Secured Message Processing, Hierarchical Colored Petri Net
18	Jinqiang Zhao, Zhenhua Duan	Verification of Use Case with Petri Nets in Requirement Analysis.	ICCSA (2)	2009	DBLP DOI BibTeX RDF	Petri net, Model Driven Development, use case, requirement analysis
18	Shangmin Luan, Guozhong Dai	An algebraic approach to revising propositional rule-based knowledge bases.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	knowledge base revision, rule-based knowledge base, Petri net, consistency check
18	Kenneth L. Clarkson	Geometry is everywhere, part XLVII: metrics, nets, dimensions, and measures.	SCG	2008	DBLP DOI BibTeX RDF	measure, metric, dimension, net
18	Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu	Analyzing BPEL Compositionality Based on Petri Nets.	COMPSAC	2008	DBLP DOI BibTeX RDF	Verification, Petri Net, BPEL, Soundness, compositionality
18	Hai Dong, Farookh Khadeer Hussain, Elizabeth Chang 0001	Paradox in Applications of Semantic Similarity Models in Information Retrieval.	IT Revolutions	2008	DBLP DOI BibTeX RDF	semantic similarity models, information retrieval, semantic net
18	Astrid Rakow	Slicing Petri Nets with an Application to Workflow Verification.	SOFSEM	2008	DBLP DOI BibTeX RDF	Net Reduction, Workflow nets, Verification, Slicing, CTL
18	Yaojun Han, Changjun Jiang, Xuemei Luo	Modeling and Analysis for Grid Service Cooperative Scheduling Based on Petri Nets.	CDVE	2007	DBLP DOI BibTeX RDF	dynamic timed Petri net, performance analysis, composition, grid service
18	Shijue Zheng, Zhenhua Zheng	Design and Implementation of a Mobile Management System for Campus Server.	CCTA	2007	DBLP DOI BibTeX RDF	mobile management system, campus server, WAP, Microsoft .NET
18	Katherine E. Stange	The Tate Pairing Via Elliptic Nets.	Pairing	2007	DBLP DOI BibTeX RDF	elliptic divisibility sequence, elliptic net, Miller’s algorithm, elliptic curve, Tate pairing, pairing-based cryptography
18	Slobodan Ribaric, Nikola Pavesic	A Recognition-Inference Procedure for a Knowledge Representation Scheme Based on Fuzzy Petri Nets.	MICAI	2006	DBLP DOI BibTeX RDF	inference procedure, knowledge representation, recognition, Fuzzy Petri Net
18	Jianyin Zhang, Sen Su, Fangchun Yang	Detecting Race Conditions in Web Services.	AICT/ICIW	2006	DBLP DOI BibTeX RDF	Web Services, Petri net, feature interaction, race condition
18	Lars A. Schreiner, Markus Olbrich, Erich Barke, Volker Meyer zu Bexten	Routing of analog busses with parasitic symmetry.	ISPD	2005	DBLP DOI BibTeX RDF	analog routing, net bundles, paired nets, virtual terminals, routing, EDA, RF, bus routing, IC-layout
18	Thomas Moncion, Guillaume Hutzler, Patrick Amar	Validation of an agent based system using Petri Nets.	AAMAS	2005	DBLP DOI BibTeX RDF	petri net, agent-based simulator
18	Mike Roberts	Enterprise Continuous Integration Using Binary Dependencies.	XP	2004	DBLP DOI BibTeX RDF	tools and techniques, scalability, .NET, Continuous integration
18	Philippe Fortemps, Salvatore Greco, Roman Slowinski	Multicriteria Choice and Ranking Using Decision Rules Induced from Rough Approximation of Graded Preference Relations.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF	Multicriteria choice and ranking, Dominance-based rough sets, Graded preference relations, Fuzzy preference graph, Fuzzy net flow score, Leximax, Decision rules
18	Spyros A. Reveliotis	On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems.	ICATPN	2003	DBLP DOI BibTeX RDF	sequential resource allocation systems, Petri net structural analysis, siphons, deadlock resolution
18	Ivan Damgård, Mads Jurik	A Length-Flexible Threshold Cryptosystem with Applications.	ACISP	2003	DBLP DOI BibTeX RDF	length-flexible, length-invariant, group decryption, self-tallying, perfect ballot secrecy, election, mix-net
18	Manfred Droste, R. M. Shortt	From Petri Nets to Automata with Concurrency.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	automaton with concurrency relations, place/transition systems, conditional coproduct, coreflection, Petri net, adjunction
18	Huiqun Yu, Xudong He, Yi Deng 0001, Lian Mo	Formal Analysis of Real-Time Systems with SAM.	ICFEM	2002	DBLP DOI BibTeX RDF	model, Real-time system, Petri net, temporal logic, analysis, SAM
18	Xiaoou Li, Joselito Medina Marín, Sergio V. Chapa	A Structural Model of ECA Rules in Active Database.	MICAI	2002	DBLP DOI BibTeX RDF	active database, colored Petri net, ECA rules
18	Umesh A. Deshpande 0001, Arobinda Gupta, Anupam Basu	Adaptive Fault Tolerant Hospital Resource Scheduling.	OTM	2002	DBLP DOI BibTeX RDF	Fault Tolerance, Multi-agent systems, Real-time Scheduling, Collaborative Computing, Contract Net Protocol
18	Richard Furuta, Jin-Cheon Na	Applying caT's programmable browsing semantics to specify world-wide web documents that reflect place, time, reader, and community.	ACM Symposium on Document Engineering	2002	DBLP DOI BibTeX RDF	Petri-net-based hypertext, context-aware hypertext, caT, Trellis
18	Carlos Cattaneo, Gustavo Matocq, Esteban Tapella	Information Systems for Small Holder Agricultural Producers: The Mercosur Onion's Information Net1.	HICSS	2001	DBLP DOI BibTeX RDF	Information Net, Onion, Mercosur, Small farmers, Field Prices, Province of San Juan
18	Jun Furukawa 0001, Kazue Sako	An Efficient Scheme for Proving a Shuffle.	CRYPTO	2001	DBLP DOI BibTeX RDF	Universal Verifiability, Permutation, Electronic Voting, Mix-net
18	Philipp Sünderhauf	Sobriety in Terms of Nets.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	sober space, observative net, completely prime filter
18	Jan Magott, Pawel Skrobanek	A Method of Analysis of Fault Trees with Time Dependencies.	SAFECOMP	2000	DBLP DOI BibTeX RDF	Safety-Critical System, Protection, Time Petri Net, Fault Tree, Time Dependency
18	Martin Hesketh, Maciej Koutny	An Axiomatisation of Duplication Equivalence in the Petri Box Calculus.	ICATPN	1998	DBLP DOI BibTeX RDF	Net-based algebra, analysis of structure of nets, verification using nets, equivalence and axiomatisation
18	Tuomas Aura, Johan Lilius	Time Processes for Time Petri-Nets.	ICATPN	1997	DBLP DOI BibTeX RDF	net theory, processes, timing analysis, causality, time Petri nets, partial order semantics
18	Sang-Yoon Min, Ik-Joo Han, Wei-Jin Park, Doo-Hwan Bae	An Approach to Software Process Management Based on Formal Process Modeling and Analysis.	APSEC	1997	DBLP DOI BibTeX RDF	Petri net, Process modeling, Software Process Management, Process Analysis
18	Chao-Tsun Chang, William C. Chu, Chung-Shyan Liu, Hongji Yang	A formal approach to software components classification and retrieval.	COMPSAC	1997	DBLP DOI BibTeX RDF	software components classification, reuse-based software development, faceted scheme, programmer productivity, software quality, software libraries, consistency checking, predicates, keywords, formal approach, Predicate/Transition net, query specification, software components retrieval
18	Woo-Jong Hahn, Kee-Wook Rim, Soo-Won Kim	SPAX: A New Parallel Processing System for Commercial Application.	IPPS	1997	DBLP DOI BibTeX RDF	SPAX, commercial applications, Xcent-Net, 2.67 Gbyte/s, scalability, parallel architectures, bandwidth, SMP, hierarchical network, parallel processing system
18	Satoshi Kimura, Masahiko Yachida	Facial Expression Recognition and Its Degree Estimatio.	CVPR	1997	DBLP DOI BibTeX RDF	Degree of facial expression, Variation from expressionless face, Potential Net Model, K-L expansion, Facial expression recognition, Emotion Space
18	Juan Carlos Fabero, Ignacio Martín Llorente, Alfredo Bautista, S. Molina	Dynamic Load Balancing in a Heterogeneous Environment under PVM.	PDP	1996	DBLP DOI BibTeX RDF	heterogeneous workstations net, parallel algorithms, resource allocation, programming environments, processor scheduling, dynamic load balancing, computer aided software engineering, heterogeneous environment, virtual storage, computational load, computational requirements
18	Ekkart Kindler, Rolf Walter	Arc-Typed Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Arc-typed net, verification, specification, process, causality, partial order semantics, consistency protocol
18	Chabane Djeraba, Karima Hadouda	Multimedia Scenes in a Database System.	DEXA	1996	DBLP DOI BibTeX RDF	object paradigm, Multimedia, interactions, database, Petri net, temporal relations
18	Andrzej Stajniak, Jaroslaw Szostakowski	Neural implementation of ARMA type filters for image restoration.	ICIP	1995	DBLP DOI BibTeX RDF	autoregressive moving average processes, ARMA type filters, neural implementation, autoregressive moving average, blur system, nonlinear characteristics, learning patterns, neural networks, parallel processing, parallel processing, noise, noise, image restoration, image restoration, neural net, multilayer perceptrons, multilayer perceptron, backpropagation, backpropagation, filtering theory, roundoff errors, roundoff errors, IIR filters, IIR filter, image deblurring
18	Enrique Teruel, Manuel Silva Suárez	Well-Formedness of Equal Conflict Systems.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	Place/Transition net systems, Rank theorem, Well-formedness, Decomposition, Structure theory
18	Maciej Koutny	Partial Order Semantics of Box Expressions.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	partial order theory of concurrency, net-based algebraic calculi, Causality, structured operational semantics
18	Fevzi Belli, Karl-Erwin Großpietsch	Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	fault tolerance properties, formal overview, sequential behavior, single-system components, model layers, stepwise-refined specification, multistory shelving system model, formal specification, formal specification, Petri nets, fault tolerant computing, software reliability, redundancy, error detection, regular expressions, system behavior, complex software systems, predicate/transition net, system description
18	Gerard Florin, Stéphane Natkin	Generalization of Queueing Network Product Form Solutions to Stochastic Petri Nets.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	queueing network product form solutions, closed synchronized queuing networks, Markov stochastic Petri net, strongly connected reachability graph, constant firing rates, Gordon-Newell theorem, performance evaluation, performance evaluation, Petri nets, queueing theory, stochastic Petri nets, matrix products, steady-state probability
18	Roberto Gorrieri, Ugo Montanari	Distributed Implementation of CCS.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Place/Transition Petri nets, concurrent calculi, net calculi, implementation morphism, atomicity, operational semantics, denotational semantics
18	Frank Itter, Claudia Relewicz	Computer supported design of Kanban controlled production.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	NET-tool, simulation, animation, building blocks, Kanban
18	Astrid Kiehn	Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net Semantics.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
17	Jing Bi, Zhiliang Zhu 0001, Haitao Yuan 0001, Yushun Fan, Ming Tie	A Petri Net Based Hybrid Optimal Controller for Deadlock Prevention in Web Service Composition.	ICWS	2011	DBLP DOI BibTeX RDF	Controlled Petri net, hybrid optimal controller, web service composition, compatibility, deadlock prevention
17	Li Li 0001, Wu Chou	Design and Describe REST API without Violating REST: A Petri Net Based Approach.	ICWS	2011	DBLP DOI BibTeX RDF	REST Chart, Petri Net, RESTful web service
17	Greg Goth	The Global Net Neutrality Debate: Back to Square One?	IEEE Internet Comput.	2010	DBLP DOI BibTeX RDF	network access policies, FCC, net neutrality
17	Changyuan Gao, Shuchen Zhang, Xiaoxing Zhang	The Modeling and Simulation of Negotiation Process for High-Tech Virtual Enterprise Based on UML and Petri Net.	IITSI	2010	DBLP DOI BibTeX RDF	high tech virtual enterprise, ExSpect simulation, petri net, process modeling, uml
17	Jin-Liang Xing, Xiaohong Li 0001, Yan Cao, Zhiyong Feng 0002, Ran Liu	Information Flow Analysis of Web Service Net.	CIT	2010	DBLP DOI BibTeX RDF	service net, vulnerability proliferation, program slicing, web service security
17	Boran Hu	Food Security Management Technology Based on HACCP and Petri Net.	WKDD	2010	DBLP DOI BibTeX RDF	HACCP, food safety, strawberry production, Petri net
17	Feng Chen 0009, Pan Deng, Xiaohui Rong, Qiongqiong Zhou	Modeling of Device Collaboration Process Based on Petri Net.	SNPD	2010	DBLP DOI BibTeX RDF	device collaboration, modeling, Petri net
17	Miha Grcar, Dunja Mladenic, Peter Kese	Semi-automatic Categorization of Videos on VideoLectures.net.	ECML/PKDD (2)	2009	DBLP DOI BibTeX RDF	multi-modal data mining, VideoLectures.net, machine learning, classification, multimedia, video, categorization
17	Jianbin He, Qunxing Su, Pengyuan Liu	Modeling and Analysis of Equipment Virtual Maintenance Process Based on Extended Petri Net.	IFITA (3)	2009	DBLP DOI BibTeX RDF	virtual maintenance, simulation, Petri net, process modeling
17	Xianpeng Huangfu, Zhen Shu, Honghui Chen, Xueshan Luo	Research on Dynamic Service Composition Based on Object Petri Net for the Networked Information System.	NCM	2009	DBLP DOI BibTeX RDF	networked information system, dynamic service composition, object petri net
17	Slobodan Ribaric, Nikola Pavesic, Valentina Zadrija	Intersection Search for a Fuzzy Petri Net-Based Knowledge Representation Scheme.	KES (1)	2009	DBLP DOI BibTeX RDF	Inference procedure, Knowledge representation, Fuzzy Petri Net, Intersection search
17	Wu-Jun Xi, Bing-Feng Yang, Jin-Liang Wang	Seasonal Variation of Net Primary Production Based on MODIS image in Chuxiong Prefecture.	GCC	2009	DBLP DOI BibTeX RDF	Net Primary Production(NPP), Seasonal Variation, Chuxiong Prefecture, MODIS
17	Yuval Rabani, Amir Shpilka	Explicit construction of a small epsilon-net for linear threshold functions.	STOC	2009	DBLP DOI BibTeX RDF	linear threshold function, explicit construction, epsilon-net
17	Xiaofeng Liu, Xiaofei Xu, Shengchun Deng	A Petri-net-Based Simulation and Optimization approach for IEM and EI.	IESA	2009	DBLP DOI BibTeX RDF	IEM, Petri net, Business process, Enterprise modeling, Enterprise model, Enterprise Interoperability, CPN
17	David Naugler	Review of "Pro WPF in C# 2008: Windows Presentation Foundation with .NET 3.5 (2nd ed.), " Apress, 2008, ISBN 1590599551.	ACM Queue	2008	DBLP DOI BibTeX RDF	C#, Microsoft .NET
17	Bert Verslyppe, Bram Slabbinck, Wim De Smet, Paul De Vos, Bernard De Baets, Peter Dawyndt	StrainInfo.net Web Services: Enabling Microbiologic Workflows Such as Phylogenetic Tree Building and Biomarker Comparison.	eScience	2008	DBLP DOI BibTeX RDF	StrainInfo.net, biomarker comparison, microbiologic webservices, workflows, phylogenetic tree
17	Ruijuan Zheng, Qingtao Wu, Mingchuan Zhang	Analysis and Application of Bio-Inspired Multi-Net Security Model.	NCM (1)	2008	DBLP DOI BibTeX RDF	Multi-Net, Security, Bio-inspired
17	Helene Schilke, Achim Rettberg, Florian Dittmann 0001	Towards a Petri Net Based Approach to Model and Synthesise Dynamic Reconfiguration for FPGAs.	DELTA	2008	DBLP DOI BibTeX RDF	Model-based Design Flow, FPGA, Petri-net, Dynamic Reconfiguration
17	I. Barjis, Vijay Gehlot	Petri net based description and modeling of metabolic pathway.	SCSC	2007	DBLP BibTeX RDF	pentose phosphate pathway, simulation, modeling, Petri net
17	Bernd Werther, Christoph Möhlenbrink, Michael Rudolph 0001	Colored Petri Net Based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes.	HCI (12)	2007	DBLP DOI BibTeX RDF	Airport control model, Colored Petri Net, State Space, Cognitive work analysis, Human Machine System
17	Yu Huang 0004, Hanpin Wang	A petri net semantics for web service choreography.	SAC	2007	DBLP DOI BibTeX RDF	WSCI, web service, petri net, formal semantics
17	Greg Goth	Net Neutrality's Unpublicized Achilles' Heel.	IEEE Internet Comput.	2006	DBLP DOI BibTeX RDF	telecommunications, broadband, DSL, Net neutrality
17	Melissa C. Stange	Review of "Pro .NET 1.1 Remoting, Reflection, and Threading by David Curran, Fabio Ferracchiati, Syed Gilani, et al., " Apress, 2005, ISBN: 1590594525.	ACM Queue	2006	DBLP DOI BibTeX RDF	Microsoft .NET
17		Review of "Expert .NET Programming by Simon Robinson".	ACM Queue	2005	DBLP DOI BibTeX RDF	Visual Basic, Microsoft .NET