Stem net$ (all stems)

657 papers:

CASE-2015-BasileCC #identification #modelling #petri net #realtime

Real time identification of Time Petri net faulty models (FB, PC, JC), pp. 280–285.

CASE-2015-ChengHL #automation #petri net #robust #synthesis #using

Robust supervisor synthesis for automated manufacturing systems using Petri nets (YC, HH, YL), pp. 1029–1035.

CASE-2015-ChenH #assembly #automation #distributed #petri net #using

Maximally permissive distributed control of automated manufacturing systems with assembly operations using Petri nets (CC, HH), pp. 532–538.

CASE-2015-KloetzerM #modelling #multi #petri net

Accomplish multi-robot tasks via Petri net models (MK, CM), pp. 304–309.

CASE-2015-LennartsonBW #hybrid #optimisation #petri net

Optimization of hybrid Petri nets with shared variables (BL, KB, OW), pp. 1395–1396.

CASE-2015-UeharaHK #modelling #petri net

Mesoscopic modeling of airport surface by object Petri nets (KU, KH, KK), pp. 298–303.

CASE-2015-WangSH #concurrent

A three-stage deadlock prevention strategy for S3PR nets (SW, CS, LH), pp. 286–291.

CASE-2015-YangH0 #assembly #automation #distributed #petri net

A Petri net-based distributed control of automated manufacturing systems with assembly operations (YY, HH, YL), pp. 1090–1097.

CASE-2015-ZhuQZ #clustering #modelling #multi #petri net #scheduling #tool support

Petri net modeling and one-wafer scheduling of single-arm tree-like multi-cluster tools (QZ, YQ, MZ), pp. 292–297.

DAC-2015-BokhariJSHP #architecture #manycore #named

SuperNet: multimode interconnect architecture for manycore chips (HB, HJ, MS, JH, SP), p. 6.

DAC-2015-LiuHWSJHL #assessment #detection #smarttech

Impact assessment of net metering on smart home cyberattack detection (YL, SH, JW, YS, YJ, YH, XL), p. 6.

DocEng-2015-LesnikovaDE #rdf #using

Interlinking English and Chinese RDF Data Using BabelNet (TL, JD, JE), pp. 39–42.

SANER-2015-LuSWLD #code search #effectiveness #query

Query expansion via WordNet for effective code search (ML, XS, SW, DL, YD), pp. 545–549.

ICFP-2015-SmolkaEFG #compilation #performance

A fast compiler for NetKAT (SS, SAE, NF, AG), pp. 328–341.

GCM-2015-MackieS #evaluation #interactive #parallel

Parallel Evaluation of Interaction Nets: Some Observations and Examples (IM, SS), pp. 50–65.

ICGT-2015-Padberg #configuration management #petri net

Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (JP), pp. 104–120.

LCT-2015-ChangHGL #education #gesture #named

G-NETS — Gesture-Based Nursing Educational Training Support System (JWC, CFH, RLG, CCL), pp. 33–42.

ICEIS-v1-2015-FreitasJR #fuzzy #resource management #workflow

Fuzzy Resource Allocation Mechanisms in Workflow Nets (JCJdF, SJ, LPdR), pp. 471–478.

ICEIS-v1-2015-RezendeJ #concurrent #process #using #workflow

Deadlock Avoidance in Interorganizational Business Processes using a Possibilistic WorkFlow Net (LPdR, SJ), pp. 429–439.

ICEIS-v1-2015-Roos-FrantzBFSF #concept #integration #modelling #petri net #simulation #using

Using Petri Nets to Enable the Simulation of Application Integration Solutions Conceptual Models (FRF, MB, RZF, SS, VBF), pp. 87–96.

ICEIS-v2-2015-Brant-RibeiroAM #approach #interactive #modelling #petri net #using #web

A User-centered Approach for Modeling Web Interactions Using Colored Petri Nets (TBR, RDA, IM, MSS, RGC), pp. 37–48.

ICEIS-v2-2015-SarmientoALS #modelling #petri net

Mapping Textual Scenarios to Analyzable Petri-Net Models (ES, EA, JCSdPL, GS), pp. 494–501.

ICEIS-v3-2015-ThabetGG #analysis #mining #petri net #process

Petri Net Model Cost Extension based on Process Mining — Cost Data Description and Analysis (DT, SAG, HHBG), pp. 268–275.

ECIR-2015-TannebaumR #database #named

PatNet: A Lexical Database for the Patent Domain (WT, AR), pp. 550–555.

SEKE-2015-DingZ #modelling #petri net #using

Modeling and Analyzing Publish Subscribe Architcture using Petri Nets (JD, DZ), pp. 589–594.

SEKE-2015-LiuH #petri net #pipes and filters #verification

PIPE+Verifier — A Tool for Analyzing High Level Petri Nets (SL, XH), pp. 575–580.

SIGIR-2015-NovakBZ #image #retrieval #scalability #using

Large-scale Image Retrieval using Neural Net Descriptors (DN, MB, PZ), pp. 1039–1040.

SIGIR-2015-RuotsaloPEGRJMK #interactive #modelling #named

SciNet: Interactive Intent Modeling for Information Discovery (TR, JP, MJAE, DG, AR, GJ, PM, SK), pp. 1043–1044.

POPL-2015-FosterKM0T #algebra

A Coalgebraic Decision Procedure for NetKAT (NF, DK, MM, AS, LT), pp. 343–355.

SAC-2015-BourdilBDV #petri net #symmetry

Symmetry reduced state classes for time petri nets (PAB, BB, SDZ, FV), pp. 1751–1758.

LICS-2015-HeijltjesH #bound #complexity #logic #petri net #proving

Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets (WH, DJDH), pp. 80–91.

CASE-2014-FantiMULV #health #petri net

A Petri net model of an integrated system for the Health Care At Home management (MPF, AMM, WU, JJL, KV), pp. 582–587.

CASE-2014-GaoLWA #monitoring #petri net #problem #sequence #using

A monitor solution to enforce legal transition firing sequences problems by using Petri nets (XG, ZL, AW, AMAA), pp. 419–424.

CASE-2014-HuCLY #approach #automation #comparative #petri net #using

A comparative approach to supervisor simplification in automated manufacturing systems using Petri nets (HH, CC, YL, YY), pp. 619–625.

CASE-2014-HuYLC #analysis #automation #modelling #multi #petri net

Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis (HH, YY, YL, CC), pp. 449–454.

CASE-2014-LiLT #petri net #probability #process #scheduling

A color petri net based scheduling model for remanufacturing system with stochastic process routing (LL, CL, YT), pp. 474–479.

CASE-2014-ZhuWQZ #analysis #clustering #constraints #modelling #multi #petri net #scheduling #tool support

Modeling and schedulability analysis of single-arm multi-cluster tools with residency time constraints via Petri nets (QZ, NW, YQ, MZ), pp. 81–86.

SIGMOD-2014-TaoBHJWNELRS #automation #named #network

NewsNetExplorer: automatic construction and exploration of news information networks (FT, GB, JH, HJ, CW, BN, AEK, JL, XR, YS), pp. 1091–1094.

VLDB-2014-DaiQJWW #personalisation #recommendation

A Personalized Recommendation System for NetEase Dating Site (CD, FQ, WJ, ZW, ZW), pp. 1760–1765.

ESOP-2014-YoshimizuHFL #higher-order #metric #proving #quantum

Measurements in Proof Nets as Higher-Order Quantum Circuits (AY, IH, CF, UDL), pp. 371–391.

LATA-2014-BestD #bound #graph #petri net

Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets (EB, RRD), pp. 161–172.

LATA-2014-Martos-SalgadoR #network #petri net

Expressiveness of Dynamic Networks of Timed Petri Nets (MMS, FRV), pp. 516–527.

ICFP-2014-FredrikssonG #distributed #execution #semantics

Krivine nets: a semantic foundation for distributed execution (OF, DRG), pp. 349–361.

ICFP-2014-SchlesingerGW #concurrent #pipes and filters #policy

Concurrent NetCore: from policies to pipelines (CS, MG, DW), pp. 11–24.

GT-VMT-2014-StuckrathW #adaptation #modelling #petri net #user interface

Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models (JS, BW).

HCI-AS-2014-HidakaO

Proposal for a New Entertainment System That Connects Real Life and Net Excitement (KH, KO), pp. 604–613.

HCI-TMT-2014-OrtegaLHBRA #formal method #modelling #multi #named #petri net #using

PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net (FRO, SL, FH, AB, NR, MA), pp. 361–372.

ICEIS-v1-2014-RezendeJC #communication #problem #workflow

Possibilistic Interorganizational Workflow Net for the Recovery Problem Concerning Communication Failures (LPdR, SJ, JC), pp. 432–439.

ICEIS-v2-2014-BarretoFSJ #formal method #petri net #using

A Straightforward Introduction to Formal Methods Using Coloured Petri Nets (FMB, JCJdF, MSS, SJ), pp. 145–152.

ICEIS-v3-2014-ThabetGG #mining #petri net #process #towards

Towards Business Process Model Extension with Cost Perspective Based on Process Mining — Petri Net Model Case (DT, SAG, HHBG), pp. 335–342.

CIKM-2014-XuBBGWLL #framework #named #word

RC-NET: A General Framework for Incorporating Knowledge into Word Representations (CX, YB, JB, BG, GW, XL, TYL), pp. 1219–1228.

ICML-c2-2014-KingmaW #performance

Efficient Gradient-Based Inference through Transformations between Bayes Nets and Neural Nets (DPK, MW), pp. 1782–1790.

ICPR-2014-Nilsson #polynomial #using

Elastic Net Regularized Logistic Regression Using Cubic Majorization (MN), pp. 3446–3451.

KDIR-2014-MaWQ #parsing

Time Phrase Parsing for Chinese Text with HowNet Temporal Information Structure (HmM, XyW, LQ), pp. 294–299.

KEOD-2014-FatyaniIP #ontology #petri net #simulation

Transformation of DEMO Model into Coloured Petri Net — Ontology based Simulation (TF, JI, JP), pp. 388–396.

SEKE-2014-XuS #automation #effectiveness #petri net #testing

Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments (DX, NS), pp. 211–216.

QAPL-2014-Feng #distributed #hybrid #modelling #probability #using

Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE — ZebraNet as an Example (CF0), pp. 64–77.

SPLC-2014-MennickeLSW #automation #feature model #petri net #process #verification #workflow

Automated verification of feature model configuration processes based on workflow Petri nets (SM, ML, JS, TW), pp. 62–71.

LICS-CSL-2014-Ehrhard #correctness #proving

A new correctness criterion for MLL proof nets (TE), p. 10.

LICS-CSL-2014-HeijltjesH #equivalence #proving

No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete (WH, RH), p. 10.

LICS-CSL-2014-Perrinel #interactive #on the #semantics

On context semantics and interaction nets (MP), p. 10.

CASE-2013-0011ZD #petri net #robust #specification

Exploiting robustness in Petri net-based closed-loop systems to accommodate control specification changes (JL, MZ, XD), pp. 71–76.

CASE-2013-HuZL #automation #performance #petri net #synthesis #using

Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri nets (HH, MZ, YL), pp. 1139–1144.

CASE-2013-HuZL13a #automation #distributed #petri net #scalability

Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets (HH, MZ, YL), pp. 1145–1150.

CASE-2013-IordacheWZA #design #performance #petri net #specification

Efficient design of Petri-net supervisors with disjunctive specifications (MVI, PW, FZ, PJA), pp. 936–941.

CASE-2013-PanHJ #concurrent #flexibility #petri net #policy #using

One computationally improved deadlock prevention policy for flexible manufacturing systems using Petri nets (YLP, HH, MJ), pp. 924–929.

CASE-2013-WuCY #analysis #policy #reachability

A control policy for γ-nets without reachability analysis and siphon enumeration (WW, DYC, FY), pp. 1133–1138.

CASE-2013-YueH13a #assembly #concurrent #petri net #policy #polynomial #process

A polynomial deadlock avoidance policy for a class of assembly processes based on Petri nets (HY, HH), pp. 1151–1156.

CASE-2013-ZhuWQZ #clustering #modelling #multi #petri net #scheduling #tool support

Petri net modeling and one-wafer scheduling of single-arm multi-cluster tools (QZ, NW, YQ, MZ), pp. 862–867.

STOC-2013-Har-PeledR #algorithm #distance #linear #problem

Net and prune: a linear time algorithm for euclidean distance problems (SHP, BAR), pp. 605–614.

CHI-2013-BrownMR #interactive #multi #named #network

MultiNet: reducing interaction overhead in domestic wireless networks (AB, RM, TR), pp. 1569–1578.

CAiSE-2013-FahlandG #design #enterprise #integration #middleware #petri net #using

Analyzing and Completing Middleware Designs for Enterprise Integration Using Coloured Petri Nets (DF, CG), pp. 400–416.

ICEIS-v2-2013-JridiL #adaptation #semantics #standard #web

Adapting RosettaNet B2B Standard to Semantic Web Technologies (JEJ, GL), pp. 443–450.

ECIR-2013-JeongM #classification #dependence #recognition #using

Using WordNet Hypernyms and Dependency Features for Phrasal-Level Event Recognition and Type Classification (YJ, SHM), pp. 267–278.

SEKE-2013-BublitzSOLAP #adaptation #pervasive #petri net #specification

A Petri Net Model Specification for Delivering Adaptable Ads through Digital Signage in Pervasive Environments (FMB, LCS, EASO, SODL, HOdA, AP), pp. 405–410.

SEKE-2013-DingXG #approach #petri net #specification

An Approach for Analyzing Software Specifications in Petri Nets (JD, DX, JG), pp. 411–416.

SAC-2013-SoleC #algorithm

Amending C-net discovery algorithms (MS, JC), pp. 1418–1425.

LICS-2013-HofmanMT #decidability #simulation

Decidability of Weak Simulation on One-Counter Nets (PH, RM, PT), pp. 203–212.

WICSA-ECSA-2012-ChristensenH #ecosystem #named #towards

Net4Care: Towards a Mission-Critical Software Ecosystem (HBC, KMH), pp. 224–228.

CASE-2012-HouLZ #on the #petri net

On iterative liveness-enforcement for a class of generalized Petri nets (YH, DL, MZ), pp. 188–193.

CASE-2012-MatsumotoN #approach #clustering #composition #concurrent #petri net #scheduling #tool support

Petri net decomposition approach to deadlock-free scheduling for dual-armed cluster tools (IM, TN), pp. 194–199.

CASE-2012-QiaoWZ #analysis #clustering #petri net #scheduling #tool support

Petri net-based scheduling analysis of dual-arm cluster tools with wafer revisiting (YQ, NW, MZ), pp. 206–211.

CASE-2012-WikborgL #multi #petri net #problem #scheduling

Scheduling of Petri nets as a multi-objective shortest path problem (UW, TEL), pp. 212–217.

FoSSaCS-2012-GlabbeekGS #on the #petri net

On Distributability of Petri Nets — (Extended Abstract) (RJvG, UG, JWSU), pp. 331–345.

TACAS-2012-DavidJJJMS #development #ide #petri net

TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets (AD, LJ, MJ, KYJ, MHM, JS), pp. 492–497.

ICSM-2012-ChaikalisMC #analysis #evolution #named #network

SEANets: Software evolution analysis with networks (TC, GM, AC), pp. 634–637.

WCRE-2012-Al-OmariKRR #detection #dot-net #programming language

Detecting Clones Across Microsoft .NET Programming Languages (FAO, IK, CKR, JR), pp. 405–414.

ICALP-v1-2012-ShiW #optimisation

Epsilon-Net Method for Optimizations over Separable States (YS, XW), pp. 798–809.

LATA-2012-CiobanuP #petri net

Catalytic Petri Nets Are Turing Complete (GC, GMP), pp. 192–203.

GT-VMT-2012-GabrielLE #algebra #approach #petri net

Algebraic Approach to Timed Petri Nets (KG, PL, CE).

CIKM-2012-MoroN #named #network #semantics

WiSeNet: building a wikipedia-based semantic network with ontologized relations (AM, RN), pp. 1672–1676.

CIKM-2012-QuanzH #generative #learning #multi #named

CoNet: feature generation for multi-view semi-supervised learning with partially observed views (BQ, JH), pp. 1273–1282.

ICML-2012-KarbasiIM #learning #rank

Comparison-Based Learning with Rank Nets (AK, SI, LM), p. 161.

ICPR-2012-JoshiDGBP #analysis #classification

Neural-net classification for spatio-temporal descriptor based depression analysis (JJ, AD, RG, MB, GP), pp. 2634–2638.

SEKE-2012-BouchenebB #parametricity #verification #workflow

Parametric Verification of TimeWorkflow Nets (HB, KB), pp. 375–380.

SEKE-2012-CuiWLBZL #aspect-oriented #diagrams #petri net #process #verification

Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer (ZC, LW, XL, LB, JZ, XL), pp. 369–374.

SEKE-2012-FitchX #fault tolerance #petri net

A Petri Net Model for Secure and Fault-Tolerant Cloud-Based Information Storage (DFF, HX), pp. 333–339.

SEKE-2012-GaoHYZS #collaboration #design

A Data Collaboration Model for Collaborative Design Based on C-Net (XG, WH, WY, SZ, XS), pp. 541–544.

SEKE-2012-LuZZBA #decidability #invariant #petri net

Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets (FL, QZ, HZ, YB, JA), pp. 340–345.

SEKE-2012-RahmaniAS #modelling #performance #petri net #web #web service

Petri Net Modeling of Application Server Performance for Web Services (MR, AHA, HPS), pp. 305–310.

SEKE-2012-WangL #analysis #approach #modelling #petri net #workflow

Resource Modeling and Analysis for Workflows: A Petri Net Approach (JW, DL), pp. 381–386.

SEKE-2012-XuT #automation #concurrent #generative

Automated Generation of Concurrent Test Code from Function Nets (DX, JT), pp. 346–351.

SIGIR-2012-ShuklaLT #using

Parallelizing ListNet training using spark (SS, ML, AT), pp. 1127–1128.

ECMFA-2012-WinklerFGM #performance

BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer (UW, MF, WG, AM), pp. 416–427.

SAC-2012-LiuCZ #approach #architecture #petri net #self #towards

Towards a colored reflective Petri-net approach to model self-evolving service-oriented architectures (YL, WC, BZ), pp. 1858–1865.

ICSE-2012-Camilli #analysis #in the cloud #petri net

Petri nets state space analysis in the cloud (MC), pp. 1638–1640.

LICS-2012-HaddadSS #complexity #petri net #recursion

The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets (SH, SS, PS), pp. 355–364.

CASE-2011-Aguayo-LaraRR #invariant #petri net

Invariant subspaces and sensor placement for observability in Continuous Timed Petri Nets (EAL, ART, JJRL), pp. 607–612.

CASE-2011-BallariniDDHP #composition #flexibility #modelling #petri net #verification

Petri nets compositional modeling and verification of Flexible Manufacturing Systems (PB, HD, MD, SH, NP), pp. 588–593.

CASE-2011-Bonhomme #petri net #realtime #scheduling

A symbolic schedulability technique of real-time systems modeled by P-Time Petri nets (PB), pp. 582–587.

CASE-2011-CabasinoGSSZ #fault #petri net #using

Fault diagnosis of an ABS system using Petri nets (MPC, AG, CS, AS, KZ), pp. 594–599.

CASE-2011-CordoneP #monitoring #optimisation #petri net

Monitor optimization in Petri net control (RC, LP), pp. 413–418.

CASE-2011-DotoliFI #first-order #hybrid #petri net

A freeway traffic control model by first order hybrid Petri nets (MD, MPF, GI), pp. 425–431.

CASE-2011-GhomriA #hybrid #petri net #using

Continuous flow systems and control methodology using Hybrid Petri nets (LG, HA), pp. 419–424.

CASE-2011-WangZW #petri net

Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets (SW, MZ, CW), pp. 399–404.

DATE-2011-BiKVSM #analysis #performance #statistics

Fast statistical analysis of RC nets subject to manufacturing variabilities (YB, KJvdK, JFV, LMS, NvdM), pp. 31–37.

ICDAR-2011-MeierCGS #recognition

Better Digit Recognition with a Committee of Simple Neural Nets (UM, DCC, LMG, JS), pp. 1250–1254.

SIGMOD-2011-ZhouFSTHILS #declarative #distributed #framework #maintenance #named #query

NetTrails: a declarative platform for maintaining and querying provenance in distributed systems (WZ, QF, SS, TT, AH, ZGI, BTL, MS), pp. 1323–1326.

VLDB-2011-LiYZXL #named

InfoNetOLAPer: Integrating InfoNetWarehouse and InfoNetCube with InfoNetOLAP (CL, PSY, LZ, YX, WL), pp. 1422–1425.

TACAS-2011-WimmelW #equation #petri net

Applying CEGAR to the Petri Net State Equation (HW, KW), pp. 224–238.

WCRE-2011-LammelLPV #dot-net #framework

A Framework Profile of .NET (RL, RL, EP, AV), pp. 141–150.

AFL-2011-Kunimochi #algebra #morphism #petri net

Algebraic Properties of Petri Net Morphisms based on Place Connectivity (YK), pp. 270–284.

SEFM-2011-MuscheviciPC #composition #modelling #product line

Modular Modelling of Software Product Lines with Feature Nets (RM, JP, DC), pp. 318–333.

AGTIVE-2011-ErmlerKKT #graph transformation

From Graph Transformation Units via MiniSat to GrGen.NET (ME, HJK, SK, CvT), pp. 153–168.

HCD-2011-JungLCKLOCRKL #development

Development of Web-Based Participatory Trend Forecasting System: urtrend.net (ECJ, SL, HC, BK, HL, YO, YC, WR, HK, JYL), pp. 65–73.

ICEIS-v1-2011-ZhangYZ #modelling #petri net #research #workflow

Research on Workflow Modeling based on Coloured Petri Net (LZ, JY, YZ), pp. 423–426.

ICEIS-v3-2011-WangWWL #modelling #using #workflow

Formally Modeling and Analyzing Data-centric Workflow using WFCP-net and ASK-CTL (ZW, JW, LW, GL), pp. 139–144.

CIKM-2011-AwadallahRW #comprehension #named #network #topic

OpinioNetIt: understanding the opinions-people network for politically controversial topics (RA, MR, GW), pp. 2481–2484.

KEOD-2011-MohtassebAAC #ontology

PsychoNet 2 — Contextualized and Enriched Psycholinguistic Commonsense Ontology (HM, AA, AA, DC), pp. 339–343.

KEOD-2011-Rios-AlvaradoLS #taxonomy #using #web

Structuring Taxonomies by using Linguistic Patterns and WordNet on Web Search (ABRA, ILA, VSS), pp. 273–278.

SEKE-2011-El-KharboutlyG #analysis #architecture #concurrent #probability #reliability #using

Architecture-based Reliability Analysis of Concurrent Software Applications using Stochastic Reward Nets (REK, SSG), pp. 635–639.

SEKE-2011-LiuL #analysis #parallel #petri net #pointer #thread

Multithreaded Pointer Analysis Based on Petri Net (FL, BL), pp. 127–130.

SEKE-2011-LiuWBZ #semantics #similarity

A WordNet-based Semantic Similarity Measure Enhanced by Internet-based Knowledge (GL, RW, JB, HMZ), pp. 175–178.

SEKE-2011-LiuZH #modelling #petri net #pipes and filters

PIPE+ — A Modeling Tool for High Level Petri Nets (SL, RZ, XH), pp. 115–121.

SEKE-2011-SunHGZWY #detection #novel #petri net #using

A Novel Method for Formally Detecting RFID Event Using Petri Nets (JS, YH, XG, SZ, LW, CYY), pp. 122–125.

SIGIR-2011-WangZ #e-commerce #recommendation

Utilizing marginal net utility for recommendation in e-commerce (JW, YZ), pp. 1003–1012.

QAPL-2011-AmanC #petri net

Time Delays in Membrane Systems and Petri Nets (BA, GC), pp. 47–60.

SAC-2011-LiuWYL #modelling #protocol #scalability

Scalable CP-nets modeling for BitTorrent protocol (JL, HW, XY, JL), pp. 542–543.

SAC-2011-RangasamyS #effectiveness #modelling #parallel #performance #petri net #source code #thread

Petri net based performance modeling for effective DVFS for multithreaded programs (AR, YNS), pp. 647–648.

LICS-2011-AbdullaM #petri net

Computing Optimal Coverability Costs in Priced Timed Petri Nets (PAA, RM), pp. 399–408.

LICS-2011-Heijltjes #linear #logic #proving

Proof Nets for Additive Linear Logic with Units (WH), pp. 207–216.

VMCAI-2011-FrohardtCS #modelling #physics

Access Nets: Modeling Access to Physical Spaces (RF, BYEC, SS), pp. 184–198.

CASE-2010-CabasinoGS #fault #petri net #using

Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events (MPC, AG, CS), pp. 485–490.

CASE-2010-WuZ #bound #clustering #petri net #process #scheduling #tool support

Petri net-based scheduling of time-constrained dual-arm cluster tools with bounded activity time variation (NW, MZ), pp. 465–470.

DATE-2010-BraunBLR #interface #specification #verification

Simulation-based verification of the MOST NetInterface specification revision 3.0 (AB, OB, DL, WR), pp. 538–543.

DATE-2010-Jerger #named

SigNet: Network-on-chip filtering for coarse vector directories (NDEJ), pp. 1378–1383.

DATE-2010-YangCZH #multi #satisfiability

SAT based multi-net rip-up-and-reroute for manufacturing hotspot removal (FY, YC, QZ, JH), pp. 1369–1372.

VLDB-2010-FuscoSV #named #network #on the fly #streaming

Net-Fli: On-the-fly Compression, Archiving and Indexing of Streaming Network Traffic (FF, MPS, MV), pp. 1382–1393.

ITiCSE-2010-DukielskaS #distributed #programming

JavaSpaces NetBeans: a linda workbench for distributed programming course (MD, JS), pp. 23–27.

TACAS-2010-BuchsHMR #algebra #named #petri net

AlPiNA: An Algebraic Petri Net Analyzer (DB, SH, AM, MR), pp. 349–352.

ICPC-2010-FalleriHLNPD #automation #identifier #network

Automatic Extraction of a WordNet-Like Identifier Network from Software (JRF, MH, ML, CN, VP, MD), pp. 4–13.

ICALP-v2-2010-HabermehlMW #petri net

The Downward-Closure of Petri Net Languages (PH, RM, HW), pp. 466–477.

LATA-2010-VelardoD #comparison #order #petri net

Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data (FRV, GD), pp. 524–535.

GT-VMT-2010-HassanMS #automaton #interactive #lightweight

A lightweight abstract machine for interaction nets (AH, IM, SS).

GT-VMT-2010-HermannCEK #analysis #equivalence #graph #performance #permutation #petri net

Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets (FH, AC, HE, BK).

ICGT-2010-BaldanBCKS #graph grammar #on the

On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars (PB, AB, AC, BK, SS), pp. 91–106.

ICGT-2010-Jiresch #interactive

Realizing Impure Functions in Interaction Nets (EJ), pp. 394–396.

ICGT-2010-Modica #analysis #communication #formal method #modelling #petri net

Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems (TM), pp. 400–402.

CHI-2010-FreirePSG #analysis #interface #multi #named #network #visualisation

ManyNets: an interface for multiple network analysis and visualization (MF, CP, BS, JG), pp. 213–222.

CHI-2010-MaFC #named

SoundNet: investigating a language composed of environmental sounds (XM, CF, PRC), pp. 1945–1954.

ICEIS-ISAS-2010-CouturierHT #automation #case study #contract #information management

Engineering Agent-based Information Systems — A Case Study of Automatic Contract Net Systems (VC, MPH, DT), pp. 242–248.

ICEIS-ISAS-2010-KikuchiMAM #mining #process

Process Mining for Job Nets in Integrated Complex Computer Systems (SK, YM, MA, SM), pp. 5–12.

ICEIS-J-2010-KikuchiMAM10a #enterprise #mining #process

Process Mining for Job Nets in Integrated Enterprise Systems (SK, YM, MA, SM), pp. 299–310.

ICML-2010-LiPSG #learning #parametricity

Budgeted Distribution Learning of Belief Net Parameters (LL, BP, CS, RG), pp. 879–886.

ICPR-2010-CamposZJ

An Improved Structural EM to Learn Dynamic Bayesian Nets (CPdC, ZZ, QJ), pp. 601–604.

ICPR-2010-ZhaoHDC #3d #automation #feature model #recognition #statistics

Automatic 3D Facial Expression Recognition Based on a Bayesian Belief Net and a Statistical Facial Feature Model (XZ, DH, ED, LC), pp. 3724–3727.

KEOD-2010-MohtassebA #named #ontology

PsychoNet — A Psycholinguistc Commonsense Ontology (HM, AA), pp. 159–164.

KR-2010-LiVK #approach #performance

An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets (ML, QBV, RK).

SEKE-2010-Radlinski #development #predict #quality #using

Software Development Effort and Quality Prediction Using Bayesian Nets and small Local Qualitative Data (LR), pp. 113–116.

SEKE-2010-WangHW #analysis #petri net #process

A Hierarchical Timed Coloured Petri Nets for BPMN-based Process Analysis (CHW, PSH, FJW), pp. 417–420.

SIGIR-2010-GoharianM #classification #query #using

Context aware query classification using dynamic query window and relationship net (NG, SSRM), pp. 723–724.

ECMFA-2010-KessentiniBSB #diagrams #heuristic #petri net #sequence chart #using

Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search (MK, AB, HAS, MB), pp. 156–172.

ICSE-2010-LimQF #named #network #scalability #social #using

StakeNet: using social networks to analyse the stakeholders of large-scale software projects (SLL, DQ, AF), pp. 295–304.

CAV-2010-MeyerS #named #network

Petruchio: From Dynamic Networks to Nets (RM, TS), pp. 175–179.

CSL-2010-Pous #algebra #linear #logic #proving

Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic (DP), pp. 484–498.

ASE-2009-WimmerKSKRS #debugging #petri net #qvt

A Petri Net Based Debugging Environment for QVT Relations (MW, GK, JS, AK, WR, WS), pp. 3–14.

CASE-2009-BasileCG #petri net

A control oriented model of generalized warehouses based on Colored Timed Petri Nets (FB, PC, DDG), pp. 48–53.

CASE-2009-DotoliFMSU #analysis #petri net

The impact of ICT on an Intermodal Transportation System: an analysis by Petri Nets (MD, MPF, AMM, GS, WU), pp. 513–518.

CASE-2009-DotoliFMU #fault #framework #online #petri net

On-line fault diagnosis in a Petri Net framework (MD, MPF, AMM, WU), pp. 42–47.

CASE-2009-LeeB #architecture #composition #nondeterminism #petri net

A modular petri net based architecture to model manufacturing systems exhibiting resource and timing uncertainties (HL, AB), pp. 525–530.

CASE-2009-VazquezS #markov #modelling #performance #petri net

Performance control of Markovian Petri nets via fluid models: A stock-level control example (CRV, MS), pp. 30–36.

HT-2009-Mazali #case study

ZEXE.NET, a case study of video-moblog (TM), pp. 381–382.

FoSSaCS-2009-AbdullaM #low cost #petri net #reachability

Minimal Cost Reachability/Coverability in Priced Timed Petri Nets (PAA, RM), pp. 348–363.

TACAS-2009-BrughNR #dot-net #named #source code #verification

MoonWalker: Verification of .NET Programs (NHMAdB, VYN, TCR), pp. 170–173.

TACAS-2009-LimeRST #model checking #named #parametricity #petri net

Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches (DL, OHR, CS, LMT), pp. 54–57.

TACAS-2009-NaumovichBG #bound #named #performance #petri net

ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets (EPN, SB, MG), pp. 50–53.

CSMR-2009-ElishE #case study #comparative #maintenance #object-oriented #predict

Application of TreeNet in Predicting Object-Oriented Software Maintainability: A Comparative Study (MOE, KOE), pp. 69–78.

STOC-2009-AronovES

Small-size epsilon-nets for axis-parallel rectangles and boxes (BA, EE, MS), pp. 639–648.

STOC-2009-RabaniS #linear

Explicit construction of a small epsilon-net for linear threshold functions (YR, AS), pp. 649–658.

CIAA-J-2008-Yen09 #composition #petri net

Path Decomposition and Semilinearity of Petri Nets (HCY), pp. 581–596.

DLT-2009-Zetzsche #matrix #petri net

Erasing in Petri Net Languages and Matrix Grammars (GZ), pp. 490–501.

LATA-2009-AbdullaDB #comparison #petri net

A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations (PAA, GD, LVB), pp. 71–82.

LATA-2009-DassowT #petri net

Grammars Controlled by Special Petri Nets (JD, ST), pp. 326–337.

FM-2009-Eshuis #petri net

Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way (RE), pp. 239–255.

IFM-2009-Rakow #petri net #reduction

Decompositional Petri Net Reductions (AR), pp. 352–366.

AdaEurope-2009-ChoppyBC #petri net #recognition

Coloured Petri Nets for Chronicle Recognition (CC, OB, PC), pp. 266–281.

SIGAda-2009-Brosgol #c# #dot-net #framework

An introduction to the C# language and .NET infrastructure (BB), pp. 3–4.

EDOC-2009-BoukhebouzeABM #modelling #process #rule-based #using #verification

Rule-Based Modeling and Verification of Business Processes Using ECAPE Net (MB, YA, ANB, ZM), p. 74–?.

ICEIS-ISAS-2009-WangWWL #canonical #modelling #process

Deriving Canonical Business Object Operation Nets from Process Models (ZW, JW, LW, YL), pp. 182–187.

ICEIS-ISAS-2009-ZhangR #petri net #process

A Petri Net Model of Process Platform-based Production Configuration (LLZ, BR), pp. 5–12.

ECIR-2009-MissenB #detection #semantics #using

Using WordNet’s Semantic Relations for Opinion Detection in Blogs (MMSM, MB), pp. 729–733.

MoDELS-2009-LaraG #petri net #qvt

Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.

MoDELS-2009-WimmerKSKRS #debugging #modelling #petri net #qvt #using

Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets (MW, AK, JS, GK, WR, WS), pp. 727–732.

MoDELS-2009-LaraG #petri net #qvt

Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.

MoDELS-2009-WimmerKSKRS #debugging #modelling #petri net #qvt #using

Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets (MW, AK, JS, GK, WR, WS), pp. 727–732.

SAC-2009-AndradeMCNA #constraints #diagrams #embedded #energy #petri net #realtime #sequence chart #uml #validation

Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints (ECdA, PRMM, GRdAC, BCeSN, CA), pp. 377–381.

CSL-2009-Tranquilli #confluence #difference

Confluence of Pure Differential Nets with Promotion (PT), pp. 500–514.

RTA-2009-Falco #framework #interactive

An Explicit Framework for Interaction Nets (MdF), pp. 209–223.

TestCom-FATES-2009-BochmannJ #petri net #testing

Testing k-Safe Petri Nets (GvB, GVJ), pp. 33–48.

TLCA-2009-Pagani #difference #theorem

The Cut-Elimination Theorem for Differential Nets with Promotion (MP), pp. 219–233.

CASE-2008-DotoliFM #automation #fault #first-order #hybrid #monitoring #petri net

Fault monitoring of automated manufacturing systems by first order hybrid Petri nets (MD, MPF, AMM), pp. 181–186.

CASE-2008-NishiTI #approach #automation #composition #optimisation #petri net

Petri Net decomposition approach for the simultaneous optimization of task assignment and routing with automated guided vehicles (TN, YT, MI), pp. 175–180.

CASE-2008-RussoMCK #automation #modelling #petri net

Petri net modeling and automated system control of protein crystallization experimentation in drug discovery (MFR, SM, MHC, HK), pp. 906–911.

CASE-2008-Tang #adaptation #modelling #petri net

Unified Colored Timed Petri net models for the adaptive control of disassembly systems (YT), pp. 638–643.

CASE-2008-WuZPCC #clustering #constraints #modelling #petri net #process #realtime #tool support

Petri net modeling and real-time control of dual-arm cluster tools with residency time constraint and activity time variations (NW, MZ, SP, FC, CC), pp. 109–114.

DAC-2008-JiangSC #design #scalability

Routability-driven analytical placement by net overlapping removal for large-scale mixed-size designs (ZWJ, BYS, YWC), pp. 167–172.

DATE-2008-WeinbergerBB #design #modelling #petri net #process #verification #workflow

Application of Workflow Petri Nets to Modeling of Formal Verification Processes in Design Flow of Digital Integrated Circuits (KW, SB, RB), pp. 937–938.

SIGMOD-2008-BlakeleyRKPHK #database #dot-net #programmable #sql

.NET database programmability and extensibility in microsoft SQL server (JAB, VR, IK, AP, MH, CK), pp. 1087–1098.

SIGMOD-2008-SunWYCHYZ #mining #named #network

BibNetMiner: mining bibliographic information networks (YS, TW, ZY, HC, JH, XY, PZ), pp. 1341–1344.

VLDB-2008-CurtmolaDLRSY #community #named

XTreeNet: democratic community search (EC, AD, DL, KKR, DS, KY), pp. 1448–1451.

CSEET-2008-Honig #education #exclamation #generative #process #quality #re-engineering

Teaching Successful “Real-World” Software Engineering to the “Net” Generation: Process and Quality Win! (WLH), pp. 25–32.

CSMR-2008-GregersenJ

Module Reload through Dynamic Update — The Case of NetBeans (ARG, BNJ), pp. 23–32.

CIAA-2008-Yen #concurrent #petri net

Concurrency, Synchronization, and Conflicts in Petri Nets (HCY), pp. 33–35.

LATA-2008-DassowT #petri net

k-Petri Net Controlled Grammars (JD, ST), pp. 209–220.

SFM-2008-HeinerGD #biology #petri net

Petri Nets for Systems and Synthetic Biology (MH, DRG, RD), pp. 215–264.

IFL-2008-GrelckP #architecture #implementation #parallel #runtime #thread

Implementation Architecture and Multithreaded Runtime System of S-Net (CG, FP), pp. 60–79.

IFL-2008-Mackie #implementation #interactive #reduction

An Interaction Net Implementation of Closed Reduction (IM), pp. 43–59.

GT-VMT-2008-BiermannM #analysis #configuration management #independence #rule-based

Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets (EB, TM).

GT-VMT-2008-HassanMS #design #implementation #interactive #programming language

Interaction nets: programming language design and implementation (AH, IM, SS).

ICGT-2008-BaldanCEK #composition #nondeterminism #petri net #process

Open Petri Nets: Non-deterministic Processes and Compositionality (PB, AC, HE, BK), pp. 257–273.

AdaEurope-2008-CarnevaliGV #formal method #petri net

A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets (LC, LG, EV), pp. 87–100.

AdaEurope-2008-ChoppyPR #approach #modelling #petri net

A Modelling Approach with Coloured Petri Nets (CC, LP, GR), pp. 73–86.

CAiSE-2008-SofferKW #modelling #ontology #petri net #process #semantics

Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets (PS, MK, YW), pp. 16–31.

EDOC-2008-AmeedeenB #approach #diagrams #modelling #petri net #sequence chart

A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets (MAA, BB), pp. 213–221.

ICEIS-ISAS2-2008-ZhangRSG #approach #petri net #product line

Production Configuration of Product Families — An Approach based on Petri Nets (LZ, BR, JS, GJCG), pp. 5–11.

ICPR-2008-SchenkR #online #recognition

Neural net vector quantizers for discrete HMM-based on-line handwritten whiteboard-note recognition (JS, GR), pp. 1–4.

SEKE-2008-Chavarria-BaezL #approach #confluence #petri net #termination

Analyzing Termination and Confluence in Active Rule Base via a Petri Net Approach (LCB, XL), pp. 363–366.

SEKE-2008-Mikolajczak #case study #collaboration #object-oriented #petri net #specification

Formal Specification of Object-oriented Systems with Collaborative Objects and Petri Nets — a Case Study (BM), pp. 267–272.

SEKE-2008-QayyumO #architecture #dot-net

.NET Extensions to the p-architecture Description Languages (ZQ, FO), pp. 244–249.

ECMDA-FA-2008-BenderCCFBV #metamodelling #petri net #validation

Ladder Metamodeling and PLC Program Validation through Time Petri Nets (DFB, BC, XC, JMF, BB, FV), pp. 121–136.

OOPSLA-2008-FerraraLF #dot-net

Safer unsafe code for .NET (PF, FL, MF), pp. 329–346.

RE-2008-WolterSBK #requirements #reuse #specification

Reusing Terminology for Requirements Specifications from WordNet (KW, MS, DB, HK), pp. 325–326.

SAC-2008-HallerGK #ontology #towards

Towards a complete SCM ontology: the case of ontologising RosettaNet (AH, JG, PK), pp. 1467–1473.

SAC-2008-SaffarianM #algorithm #novel #protocol

A novel protocol to prevent malicious nodes from misdirecting forward ants in AntNet algorithm (MS, MCM), pp. 1849–1853.

SAC-2008-XuWQ #modelling #using #verification

Modeling and verifying BPEL using synchronized net (CX, HW, WQ), pp. 2358–2362.

ISSTA-2008-PachecoLB #dot-net #fault #random testing #testing

Finding errors in .net with feedback-directed random testing (CP, SKL, TB), pp. 87–96.

LICS-2008-Falco #difference #geometry #interactive

The Geometry of Interaction of Differential Interaction Nets (MdF), pp. 465–475.

LICS-2008-LaurentM #proving

Cut Elimination for Monomial MALL Proof Nets (OL, RM), pp. 486–497.

TAP-2008-TillmannH #dot-net #generative #testing

Pex-White Box Test Generation for .NET (NT, JdH), pp. 134–153.

CASE-2007-BasileGS #distributed #monitoring #petri net

Decentralized Supervisory Control of Petri Nets with Monitor Places (FB, AG, CS), pp. 7–13.

CASE-2007-CabasinoGMRSS #estimation #petri net

State Estimation of Petri Nets by Transformation (MPC, AG, CM, LR, CS, MS), pp. 194–199.

CASE-2007-DotoliFM #identification #monitoring #on the #petri net #specification

On Line Identification of Discrete Event Systems via Petri Nets: an Application to Monitor Specification (MD, MPF, AMM), pp. 893–898.

CASE-2007-Gonzalez-CastoloL #approximate #fuzzy #petri net #using

Approximating State of DES Using Fuzzy Timed Petri Nets (JCGC, ELM), pp. 722–728.

CASE-2007-HajiD #configuration management #petri net #project management

Petri Net based Supervisory Control Reconfiguration of Project Management Systems (MH, HD), pp. 460–465.

CASE-2007-HongC #approach #automation #petri net #resource management

Resource Allocation for a Life Science Automation Line: a Petri nets Approach (TH, MYC), pp. 887–892.

CASE-2007-MoralesGM #effectiveness #fault #network #petri net

Diagnosis and Treatment of Faults in Productive Systems based on Bayesian Networks and Petri Net (RAGM, JIG, PEM), pp. 357–362.

CASE-2007-Ruiz-BeltranRLA #modelling #petri net

A Structural Characterization of Diagnosable Petri Net Models (ERB, ART, ELM, JAL), pp. 1137–1142.

CASE-2007-VanijjirattikhanKCS #biology #modelling #petri net #process #simulation

Timed Petri Net Modeling and Simulation of a High-Throughput Biological Screening Process (RV, DK, MYC, NS), pp. 442–447.

CASE-2007-ZhaoLZ #on the #petri net

On Supervisory Control of a Class of Discrete Event Systems Modeled by Petri Nets (MZ, ZL, MZ), pp. 1–6.

HT-2007-EbersbachG #wiki

Wiki literacy: sandbox knowledge for the net (AE, MG), pp. 53–54.

SIGMOD-2007-AdyaBMM #framework

Anatomy of the ADO.NET entity framework (AA, JAB, SM, SM), pp. 877–888.

SIGMOD-2007-CastroMA #abstraction #framework #programming

ADO.NET entity framework: raising the level of abstraction in data programming (PC, SM, AA), pp. 1070–1072.

TACAS-2007-DAprileDSS #approach #automaton #petri net

From Time Petri Nets to Timed Automata: An Untimed Approach (DD, SD, AS, JS), pp. 216–230.

SFM-2007-Balbo #petri net #probability

Introduction to Generalized Stochastic Petri Nets (GB), pp. 83–131.

AGTIVE-2007-GeissK #graph grammar #performance

GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool (RG, MK), pp. 568–569.

GT-VMT-2007-MackiePV #interactive #programming #recursion #visual notation

Visual Programming with Recursion Patterns in Interaction Nets (IM, JSP, MV).

DHM-2007-WertherMR #analysis #petri net #process #simulation

Colored Petri Net Based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes (BW, CM, MR), pp. 1027–1036.

ICEIS-EIS-2007-AoumeurSB #architecture #component #information management #interactive #petri net #weaving

Dynamic Interaction of Information Systems — Weaving Architectural Connectors on Component Petri Nets (NA, GS, KB), pp. 152–158.

ICEIS-EIS-2007-HuangZZ #analysis #approach #process #workflow

A New Approach for Workflow Process Delta Analysis Based on SYN-NET (XQH, WZ, SZ), pp. 480–488.

ICEIS-SAIC-2007-BelbezeS #behaviour #web #web service

Which Contribution of the Web Services in the Improvement of Web Searching? A Behavioural Study of the Net Surfers (CB, CSD), pp. 129–137.

ICEIS-SAIC-2007-BoukadiGMB #petri net #specification #using #verification #web #web service

Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets (KB, CG, ZM, DB), pp. 107–112.

SEKE-2007-SadjadiT #dot-net

TRAP.NET: A Realization of Transparent Shaping in .NET (SMS, FT), pp. 19–24.

ECOOP-2007-CabralM #case study #dot-net #exception #java

Exception Handling: A Field Study in Java and .NET (BC, PM), pp. 151–175.

SAC-2007-BistarelliFP #using

Using CP-nets as a guide for countermeasure selection (SB, FF, PP), pp. 300–304.

SAC-2007-HallerKVO

Handling heterogeneity in RosettaNet messages (AH, PK, TV, EO), pp. 1368–1374.

SAC-2007-HuangW #petri net #semantics #web #web service

A petri net semantics for web service choreography (YH, HW), pp. 1689–1690.

SAC-2007-OliveiraAS #component #formal method #model checking #modelling #petri net #using #verification

Formal modelling and verification of a component model using coloured petri nets and model checking (EASO, HOdA, LDdS), pp. 1427–1431.

SAC-2007-PaliwalAB #distributed #using #verification #web #web service

Web service orchestration and verification using MSC and CP nets (AVP, NRA, CB), pp. 1693–1694.

SAC-2007-YuSZX #graph #named #semantics #web #web service

SNet: skip graph based semantic web services discovery (JY, HS, GZ, KX), pp. 1393–1397.

TLCA-2007-Baillot #linear #logic #polynomial #type system

From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing (PB), pp. 2–7.

CASE-2006-GuoLX #modelling #on the #petri net #using

On Modeling a Soccer Robot System Using Petri Nets (BG, ZL, SX), pp. 460–465.

CASE-2006-LiuWL #algorithm #performance #petri net #set

A fast algorithm to find a set of elementary siphons for a class of petri nets (XL, AW, ZL), pp. 399–404.

CASE-2006-NishiM #composition #optimisation #petri net #problem

Decomposition of Petri Nets for Optimization of Routing Problem for AGVs in Semiconductor Fabrication Bays (TN, RM), pp. 236–241.

CASE-2006-RecaldeMS #analysis #petri net #simulation

Improving analysis and simulation of continuous Petri Nets (LR, CM, MS), pp. 9–14.

CASE-2006-WuZ #clustering #constraints #petri net #scheduling #tool support

Schedulability and Scheduling of Dual-Arm Cluster Tools with Residency Time Constraints Based on Petri Net (NW, MZ), pp. 87–92.

DAC-2006-HuLHL #network

Steiner network construction for timing critical nets (SH, QL, JH, PL), pp. 379–384.

DATE-2006-KarlssonEP #design #petri net #representation #using #verification

Formal verification of systemc designs using a petri-net based representation (DK, PE, ZP), pp. 1228–1233.

SIGMOD-2006-MeijerBB #dot-net #framework #named #xml

LINQ: reconciling object, relations and XML in the .NET framework (EM, BB, GMB), p. 706.

ITiCSE-2006-AssuncaoO #dot-net #education #framework #using #web #web service

Teaching web services using .NET platform (LA, ALO), p. 339.

ESOP-2006-Fruja #dot-net #runtime #type safety

Type Safety of Generics for the .NET Common Language Runtime (NGF), pp. 325–341.

FoSSaCS-2006-BaldanHK #distributed #petri net

Distributed Unfolding of Petri Nets (PB, SH, BK), pp. 126–141.

ICSM-2006-Sneed #migration #testing

Selective Regression Testing of a Host to DotNet Migration (HMS), pp. 104–112.

STOC-2006-Clarkson #using

Building triangulations using epsilon-nets (KLC), pp. 326–335.

ICALP-v2-2006-BouyerHR #automaton #petri net #power of #sequence

Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences (PB, SH, PAR), pp. 420–431.

ICALP-v2-2006-WikstromG #adaptation

An Adaptively Secure Mix-Net Without Erasures (DW, JG), pp. 276–287.

ICGT-2006-VarroVEPT #analysis #model transformation #petri net #termination

Termination Analysis of Model Transformations by Petri Nets (DV, SVG, HE, UP, GT), pp. 260–274.

CHI-2006-YehLKGLKSP #biology #mobile #named #research

ButterflyNet: a mobile capture and access system for field biology research (RBY, CL, SRK, FG, BL, BK, JAS, AP), pp. 571–580.

EDOC-2006-DongYZ #composition #petri net #testing #using #web #web service

Testing BPEL-based Web Service Composition Using High-level Petri Nets (WLD, HY, YBZ), pp. 441–444.

EDOC-2006-Renner #information management

Net-Centric Information Management (SR), pp. 265–273.

ICEIS-AIDSS-2006-ProchazkaKK #fuzzy #information management #petri net #process #using

Various Process Wizard for Information Systems — Using Fuzzy Petri Nets for Process Definition (JP, JK, CK), pp. 235–242.

ICEIS-AIDSS-2006-ThuD #predict #risk management #using

Predicting Cardiovascular Risks — Using POSSUM, PPOSSUM and Neural Net Techniques (TNTT, DND), pp. 230–234.

ICEIS-ISAS-2006-BokhariP #information management #petri net #using #validation

Validation of Information Systems Using Petri Nets (AB, WFSP), pp. 284–289.

ICEIS-SAIC-2006-KohlerMO #approach #composition #petri net

Dynamic Service Composition: A Petri-Net Based Approach (MK, DM, JO), pp. 159–165.

ICPR-v4-2006-FengL #clustering #graph #self

Self-Validated and Spatially Coherent Clustering with Net-Structured MRF and Graph Cuts (WF, ZQL), pp. 37–40.

ICPR-v4-2006-Garcia-PerezMBB #image #retrieval #using

Object-Based Image Retrieval Using Active Nets (DGP, AMG, SB, ADB), pp. 750–753.

ICPR-v4-2006-TodorovicA #3d #classification #segmentation #using

3D Texture Classification Using the Belief Net of a Segmentation Tree (ST, NA), pp. 33–36.

SEKE-2006-BokhariP #analysis #modelling #petri net #uml

Translation of UML Models to Object Coloured Petri Nets with a view to Analysis (AB, WFSP), pp. 568–571.

SEKE-2006-HuangH #modelling #object-oriented

A Method for Modeling Object-Oriented Systems with PZ nets (YH, XH), pp. 456–462.

LCTES-2006-Martonosi #case study #deployment #embedded #experience #hardware

Embedded systems in the wild: ZebraNet software, hardware, and deployment experiences (MM), p. 1.

CBSE-2005-Beznosov #architecture #case study #component #design #experience #implementation #web #web service

Experience Report: Design and Implementation of a Component-Based Protection Architecture for ASP.NET Web Services (KB), pp. 337–352.

CASE-2005-CastelnuovoFP #approach #incremental #modelling #petri net #sequence

An incremental Petri net approach to production sequence modeling (AC, LF, LP), pp. 333–338.

CASE-2005-FalkmanLT #algebra #petri net #process #specification #using

Specification of a batch plant using process algebra and Petri nets (PF, BL, MT), pp. 339–344.

CASE-2005-TsinarakisTV #hybrid #multi #petri net

Studying multi-assembly machine production systems with hybrid timed Petri nets (GJT, NT, KPV), pp. 327–332.

DAC-2005-GoplenSS

Net weighting to reduce repeater counts during placement (BG, PS, SSS), pp. 503–508.

ICDAR-2005-HadjarI #logic #using

Logical Labeling of Arabic Newspapers using Artificial Neural Nets (KH, RI), pp. 426–431.

VLDB-2005-CormodeG #approximate #distributed #query #sketching

Sketching Streams Through the Net: Distributed Approximate Query Tracking (GC, MNG), pp. 13–24.

ITiCSE-2005-CrescenziGI #ide #network #protocol #visualisation

NetPrIDE an integrated environment for developing and visualizing computer network protocols (PC, GG, GI), pp. 306–310.

ITiCSE-2005-GellerS #c# #dot-net

Traditional and more “exotic” .NET languages: VB .NET, J#, C# and SML .NET (VG, CS), p. 406.

ITiCSE-2005-Guimaraes #database #dot-net #framework #using

Constructing database applications for PDA using the .NET framework (MG), p. 417.

FoSSaCS-2005-AbbesB #branch #probability

Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications (SA, AB), pp. 95–109.

SEFM-2005-KuehnLE #petri net

A Proposal For Relative Time Petri Nets (JK, CL, RE), pp. 240–249.

SEFM-2005-SadaniSC #framework #petri net #verification

From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform (TS, PdSS, JPC), pp. 250–260.

IFL-2005-Mackie #encoding #interactive #λ-calculus

Encoding Strategies in the λ Calculus with Interaction Nets (IM), pp. 19–36.

CAiSE-2005-DongenAV #petri net #reduction #using #verification

Verification of EPCs: Using Reduction Rules and Petri Nets (BFvD, WMPvdA, HMWV), pp. 372–386.

EDOC-2005-Abd-AliG #dot-net #metamodelling

An MDA-Oriented .NET Metamodel (JAA, KEG), pp. 142–156.

ECIR-2005-ShaoW #named

BuddyNet: History-Based P2P Search (YS, RYW), pp. 23–37.

SEKE-2005-DingXDCH #design #mobile #modelling

Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models (JD, DX, YD, PJC, XH), pp. 560–565.

SAC-2005-BoninoCP #automation #concept #learning #network

Automatic learning of text-to-concept mappings exploiting WordNet-like lexical networks (DB, FC, FP), pp. 1639–1644.

SAC-2005-CabralMS #dot-net #named

RAIL: code instrumentation for .NET (BC, PM, LMS), pp. 1282–1287.

SAC-2005-TarauMF #documentation #rank #semantics

Semantic document engineering with WordNet and PageRank (PT, RM, EF), pp. 782–786.

SAC-2005-TrentiniM #framework #java #petri net #realtime #validation

Plan validation via petri nets in the real-time performers Java framework (AT, DM), pp. 1534–1538.

GTTSE-2005-AndradeGAEK #dot-net #migration #named

Forms2Net — Migrating Oracle Forms to Microsoft .NET (LFA, JG, MA, MER, GK), pp. 261–277.

ICSE-2005-GortonL #architecture #dot-net #enterprise #integration

An architects guide to enterprise application integration with J2EE and .NET (IG, AL), pp. 726–727.

CAV-2005-GardeyLMR #named #petri net

Romeo: A Tool for Analyzing Time Petri Nets (GG, DL, MM, OHR), pp. 418–423.

CSL-2005-CurienF

L-Nets, Strategies and Proof-Nets (PLC, CF), pp. 167–183.

LICS-2005-FaggianM #concurrent #game studies #interactive

Ludics Nets, a game Model of Concurrent Interaction (CF, FM), pp. 376–385.

TLCA-2005-Sinot #call-by #interactive

Call-by-Name and Call-by-Value as Token-Passing Interaction Nets (FRS), pp. 386–400.

WICSA-2004-PettitG #architecture #behaviour #concurrent #modelling #petri net #using

Modeling Behavioral Patterns of Concurrent Software Architectures Using Petri Nets (RGPI, HG), pp. 57–68.

DATE-v1-2004-LapalmeANCBDB #dot-net #framework #generative #modelling #simulation #tool support

.NET Framework — A Solution for the Next Generation Tools for System-Level Modeling and Simulation (JL, EMA, GN, LC, FRB, JPD, GB), pp. 732–733.

DATE-v2-2004-MinzPL #3d

Net and Pin Distribution for 3D Package Global Routing (JRM, MP, SKL), pp. 1410–1411.

SIGMOD-2004-AchesonBBCEFJKRSSVZ #dot-net #runtime #sql

Hosting the .NET Runtime in Microsoft SQL Server (AA, MB, JAB, PC, EE, JF, XJ, CK, BR, GS, BS, RV, HZ), pp. 860–865.

VLDB-2004-BainaBPTRRH #community #framework #named #query

WS-CatalogNet: An Infrastructure for Creating, Peering, and Querying e-Catalog Communities (KB, BB, HYP, FT, CR, AR, BH), pp. 1325–1328.

FASE-2004-MoldtO #automation #named #petri net

DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets (DM, JO), pp. 209–213.

CSMR-2004-MoiseWS #dot-net #reverse engineering #visual notation

Integrating a Reverse Engineering Tool with Microsoft Visual Studio .NET (DLM, KW, DS), pp. 85–94.

IFM-2004-ThanhK #composition #modelling #object-oriented #petri net

Object-Oriented Modelling with High-Level Modular Petri Nets (CBT, HK), pp. 287–306.

SEFM-2004-Fronk #algebra #analysis #approach #automation #petri net #using

Using Relation Algebra for the Analysis of Petri Nets in a CASE Tool Based Approach (AF), pp. 396–405.

SFM-2004-BihlerV #performance #petri net

Timed Petri Nets: Efficiency of Asynchronous Systems (EB, WV), pp. 25–58.

IFL-2004-BentonKLR #reduction

Shrinking Reductions in SML.NET (NB, AK, SL, CVR), pp. 142–159.

ICEIS-v3-2004-Salimifard #component #modelling #petri net #using

Component-Based Modelling of Organisational Resources Using Coloured Petri Nets (KS), pp. 577–580.

ICEIS-v4-2004-JahankhaniY #e-commerce #framework

Underlying Platform of the E-Commerce System: J2EE vs. NET (HJ, MY), pp. 250–257.

ECIR-2004-CloughS04a #ambiguity #information retrieval #using #word

Cross-Language Information Retrieval Using EuroWordNet and Word Sense Disambiguation (PDC, MS), pp. 327–337.

ICML-2004-GoldenbergM #learning #scalability

Tractable learning of large Bayes net structures from sparse data (AG, AWM).

SEKE-2004-HuS #diagrams #petri net #simulation #uml

Mapping UML Diagrams to a Petri Net Notation for System Simulation (ZH, SMS), pp. 213–219.

SIGIR-2004-LiuLYM #approach #documentation #effectiveness #retrieval

An effective approach to document retrieval via utilizing WordNet and recognizing phrases (SL, FL, CTY, WM), pp. 266–272.

GPCE-2004-CepaM #dependence #dot-net

Declaring and Enforcing Dependencies Between .NET Custom Attributes (VC, MM), pp. 283–297.

GPCE-2004-JacksonC #aspect-oriented #programming

SourceWeave.NET: Cross-Language Aspect-Oriented Programming (AJ, SC), pp. 115–135.

PPDP-2004-BentonKR #experience

Adventures in interoperability: the SML.NET experience (NB, AK, CVR), pp. 215–226.

PPDP-2004-FarwerL #model checking #petri net #prolog

Model checking object petri nets in prolog (BF, ML), pp. 20–31.

POPL-2004-YuKS #dot-net #formal method #runtime

Formalization of generics for the .NET common language runtime (DY, AK, DS), pp. 39–51.

SAC-2004-KayssiE #named #network #realtime

EmuNET: a real-time network emulator (AIK, AEHM), pp. 357–362.

SAC-2004-KusumuraHN #mining

Text mining agent for net auction (YK, YH, SN), pp. 1095–1102.

SAC-2004-XueguangH #contract #protocol

Further extensions of FIPA Contract Net Protocol: threshold plus DoA (XC, HS), pp. 45–51.

HPDC-2004-GuNY #composition #framework #named #peer-to-peer

SpiderNet: An Integrated Peer-to-Peer Service Composition Framework (XG, KN, BY), pp. 110–119.

HPDC-2004-WassonBMH #dot-net

WS-ResourceFramework on .NET (GSW, NB, MMM, MH), pp. 258–259.

LCTES-2004-LapalmeANCBDB #embedded #modelling #simulation

ESys.Net: a new solution for embedded systems modeling and simulation (JL, EMA, GN, LC, FRB, JPD, GB), pp. 107–114.

CAV-2004-SchroterK #model checking #parallel #petri net

Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings (CS, VK), pp. 109–121.

CSL-2004-StrassburgerL #linear #logic #multi #on the #proving

On Proof Nets for Multiplicative Linear Logic with Units (LS, FL), pp. 145–159.

LICS-2004-Terui #proving

Proof Nets and Boolean Circuits (KT), pp. 182–191.

RTA-2004-Mackie #interactive #performance

Efficient λ-Evaluation with Interaction Nets (IM), pp. 155–169.

DAC-2003-HurCRPCTH #constraints #physics

Force directed mongrel with physical net constraints (SWH, TC, KR, YP, AC, VT, BH), pp. 214–219.

ICDAR-2003-AndersenZ #documentation #identification

Features for Neural Net Based Region Identification of Newspaper Documents (TLA, WZ), pp. 403–407.

SIGMOD-2003-DeshpandeNGS03a #named

IrisNet: Internet-scale Resource-Intensive Sensor Services (AD, SN, PBG, SS), p. 667.

VLDB-2003-NathDKGKS #architecture #named

IrisNet: An Architecture for Internet-scale Sensing Services (SN, AD, YK, PBG, BK, SS), pp. 1137–1140.

TACAS-2003-BerthomieuV #analysis #branch #petri net

State Class Constructions for Branching Analysis of Time Petri Nets (BB, FV), pp. 442–457.

TACAS-2003-KhomenkoK #branch #petri net #process

Branching Processes of High-Level Petri Nets (VK, MK), pp. 458–472.

TACAS-2003-Schmidt #invariant #petri net #using

Using Petri Net Invariants in State Space Construction (KS0), pp. 473–488.

AdaEurope-2003-AlvesJH #ada #xml

The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project (MAA, AJ, MH), pp. 196–207.

SIGAda-2003-HumphriesCW #ada #dot-net #multi #programming

Multilanguage programming with ada in the .Net environment (JWH, MCC, TAW), pp. 1–3.

ICEIS-v1-2003-GhomariD #approach #multi #petri net #towards

Towards a Timed-Petri Net Based Approach for Multimedia Scenario Synchronization (AG, CD), pp. 267–272.

ICEIS-v2-2003-SmirnovPLC #constraints #contract #protocol

Constraint-Based Contract Net Protocol (AVS, MP, TL, NC), pp. 549–556.

ICEIS-v3-2003-YamaguchiWS #design #petri net #reliability #using

A High Reliability Design for Nfs Server Software By Using an Extended Petri Net (SY, KW, YS), pp. 498–502.

ICEIS-v4-2003-LingL #approach #composition #interactive #multi #petri net #protocol

Engineering Multiagent Systems Based on Interaction Protocols: A Compositional Petri Net Approach (SL, SWL), pp. 42–48.

SEKE-2003-DongFH #diagrams #statechart

Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams (ZD, YF, XH), pp. 150–157.

SEKE-2003-GomesPPSCFB #design pattern #reuse #using

Selection and Reuse of Software Design Patterns Using CBR and WordNet (PG, FCP, PP, NS, PC, JLF, CB), pp. 289–296.

GPCE-2003-ZiaeiA #coordination #distributed #named #petri net

SynchNet: A Petri Net Based Coordination Language for Distributed Objects (RZ, GA), pp. 324–343.

ICSE-2003-WeisUG #corba #quality #uml

Quality of Service Engineering with UML, .NET, and CORBA (TW, AU, KG), pp. 759–761.

CSL-2003-AndreoliM #concurrent

Concurrent Construction of Proof-Nets (JMA, LM), pp. 29–42.

LICS-2003-HughesG #linear #logic #multi #proving

Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract) (DJDH, RJvG), pp. 1–10.

TestCom-2003-CavalliON #exclamation #named

TestNet: Let’s Test Together! (ARC, EMdO, MN), pp. 258–264.

TLCA-2003-Montelatici #fixpoint #proving #semantics

Polarized Proof Nets with Cycles and Fixpoints Semantics (RM), pp. 256–270.

ASE-2002-BaudryFJT #adaptation #automation #component #dot-net #optimisation #testing #using

Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Component (BB, FF, JMJ, YLT), pp. 253–256.

DAC-2002-MurugavelR #estimation #modelling #petri net

Petri net modeling of gate and interconnect delays for power estimation (AKM, NR), pp. 455–460.

SIGMOD-2002-DogacTPPLKTK #framework #implementation

An ebXML infrastructure implementation through UDDI registries and RosettaNet PIPs (AD, YT, PP, SP, GL, GK, ST, YK), pp. 512–523.

ITiCSE-2002-Barros #concurrent #petri net #programming

Specific proposals for the use of petri nets in a concurrent programming course (JPB), pp. 165–167.

FASE-2002-Cerone #algebra #implementation #process

Implementing Condition/Event Nets in the Circal Process Algebra (AC), pp. 49–63.

FASE-2002-LopezLG #approach #automation #case study #generative #petri net #workflow

Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach (OL, MAL, FJGP), pp. 279–293.

TACAS-2002-HeljankoKK #algorithm #parallel #petri net

Parallelisation of the Petri Net Unfolding Algorithm (KH, VK, MK), pp. 371–385.

ICALP-2002-WuC #problem

Optimal Net Surface Problems with Applications (XW, DZC), pp. 1029–1042.

IFM-2002-KorenblatGK #petri net

Translations between Textual Transition Systems and Petri Nets (KK, OG, SK), pp. 339–359.

ICGT-2002-LaraV #modelling #multi #petri net #process

Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts (JdL, HV), pp. 239–253.

SIGAda-2002-CarlisleSH #ada #dot-net #weaving

Weaving Ada 95 into the .net environment (MCC, RES, JWH), pp. 22–26.

CAiSE-2002-GansLJV #modelling #named #network #simulation

SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog (GG, GL, MJ, TV), pp. 328–343.

ICEIS-2002-SalimifardW #analysis #modelling #performance #petri net #using #workflow

Modelling and Performance Analysis of Workflow Management Systems Using Timed Hierarchical Coloured Petri Nets (KS, MW), pp. 843–846.

KDD-2002-CurcinGGKRSW #grid #information management #towards

Discovery net: towards a grid of knowledge discovery (VC, MG, YG, MK, AR, JS, PW), pp. 658–663.

KR-2002-DomshlakB #consistency #named #reasoning #testing

CP-nets: Reasoning and Consistency Testing (CD, RIB), pp. 121–132.

SEKE-2002-FukuzawaS #architecture

Evaluating software architectures by coloured petrit nets (KF, MS), pp. 263–270.

SEKE-2002-XuVIY #behaviour #modelling #multi #using #verification

Modeling and verifying multi-agent behaviors using predicate/transition nets (DX, RAV, TRI, JY), pp. 193–200.

PPDP-2002-DrapeMS #dot-net #logic programming #using

Transforming the .NET intermediate language using path logic programming (SD, OdM, GS), pp. 133–144.

SAC-2002-BettiniLP #framework

An infrastructure language for open nets (LB, ML, RP), pp. 373–377.

SAC-2002-LiuLSCCCKS #named

NetAffx: affymetrix probeset annotations (GL, AEL, RS, MSC, JC, SAC, DK, MASR), pp. 147–150.

ASPLOS-2002-JuangOWMPR #case study #design #energy #experience #trade-off

Energy-efficient computing for wildlife tracking: design tradeoffs and early experiences with ZebraNet (PJ, HO, YW, MM, LSP, DR), pp. 96–107.

CADE-2002-Andreoli #middleware #paradigm

Focussing Proof-Net Construction as a Middleware Paradigm (JMA), pp. 501–516.

CAV-2002-KhomenkoKV #canonical #petri net

Canonical Prefixes of Petri Net Unfoldings (VK, MK, WV), pp. 582–595.

ICLP-2002-MedinaCO #approach #logic programming #multi

Multi-adjoint Logic Programming: A Neural Net Approach (JM, EMC, MOA), p. 468.

RTA-2002-Lippi #interactive #interpreter #visual notation

in² : A Graphical Interpreter for Interaction Nets (SL), pp. 380–386.

ASE-2001-GannodG #automation #petri net #using

An Automated Tool for Analyzing Petri Nets Using SPIN (GCG, SG), pp. 404–407.

DAC-2001-DoboliV #constraints #design #synthesis

Integrated High-Level Synthesis and Power-Net Routing for Digital Design under Switching Noise Constraints (AD, RV), pp. 629–634.

DAC-2001-HalpinCS #constraints #physics #using

Timing Driven Placement using Physical Net Constraints (BH, CYRC, NS), pp. 780–783.

DAC-2001-LepakLH #constraints

Simultaneous Shield Insertion and Net Ordering under Explicit RLC Noise Constraint (KML, IL, LH), pp. 199–202.

DATE-2001-Chen #grid #on the #power management

On the impact of on-chip inductance on signal nets under the influence of power grid noise (TC), pp. 451–459.

DATE-2001-KoranneG #analysis #automation #geometry #layout #on the

On automatic analysis of geometrically proximate nets in VSLI layout (SK, OPG), p. 818.

DATE-2001-VareaA #embedded #modelling #petri net #specification

Dual transitions petri net based modelling technique for embedded systems specification (MV, BMAH), pp. 566–571.

DocEng-2001-NaF #analysis #authoring #documentation #hypermedia #petri net #using

Dynamic documents: authoring, browsing, and analysis using a high-level petri net-based hypermedia system (JCN, RF), pp. 38–47.

ICDAR-2001-DongKS #framework #learning #multi #pattern matching #pattern recognition #recognition

A Multi-Net Local Learning Framework for Pattern Recognition (JxD, AK, CYS), pp. 328–332.

VLDB-2001-MargaritisFT #data mining #mining #named #performance #scalability

NetCube: A Scalable Tool for Fast Data Mining and Compression (DM, CF, ST), pp. 311–320.

CSEET-2001-Tilley #case study #estimation

Preliminary Results from a Case Study of Effort Estimation for Net-Centric Applications at the Undergraduate Level (SRT), p. 56–?.

ITiCSE-2001-Barros #concurrent #petri net #programming

Use petri nets to improve your concurrent programming course (JPB), p. 192.

ITiCSE-2001-CarnianiD #comprehension #education #network

The NetWire emulator: a tool for teaching and understanding networks (EC, RD), pp. 153–156.

FASE-J-1998-PadbergGE01 #refinement #rule-based #safety

Rule-based refinement of high-level nets preserving safety properties (JP, MG, CE), pp. 97–118.

FoSSaCS-2001-BuscemiS #calculus #petri net

High-Level Petri Nets as Type Theories in the Join Calculus (MGB, VS), pp. 104–120.

TACAS-2001-Beaudouin-LafonMJAJLLMMRRCJ #editing #named #petri net #simulation #tool support

CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS (MBL, WEM, MJ, PA, PJ, HML, KL, KHM, SM, AVR, KR, SC, KJ), pp. 574–577.

TACAS-2001-Carvajal-SchiaffinoDC #bound #petri net #validation

Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets (RCS, GD, GC), pp. 435–449.

IWPC-2001-TilleyD #case study #comprehension

Spreading Knowledge about Gnutella: A Case Study in Understanding Net-Centric Applications (SRT, MD), pp. 189–198.

WCRE-2001-BychkovJ #database #interactive #legacy #migration

Interactive Migration of Legacy Databases to Net-Centric Technologies (YB, JHJ), pp. 328–334.

PLDI-2001-KennedyS #design #dot-net #implementation #runtime

Design and Implementation of Generics for the .NET Common Language Runtime (AK, DS), pp. 1–12.

DLT-2001-ItoK #petri net

Some Petri Net Languages and Codes (MI, YK), pp. 69–80.

ICEIS-v2-2001-BarjisC #approach #aspect-oriented #modelling #petri net #process

Integrating Organizational Semiotic Approach with the Temporal Aspects of Petri Nets for Business Process Modeling (JB, SC), pp. 745–752.

MLDM-2001-LinderP #how #learning

How to Automate Neural Net Based Learning (RL, SJP), pp. 206–216.

SEKE-2001-LemosP #information management #interactive #modelling #petri net #using

Methodology for Modeling Interactions in Cooperative Information Systems Using Colored Petri Nets (AJPL, AP), pp. 299–306.

SEKE-2001-RamosSC #modelling #petri net #reuse

Reuse of Colored Petri Nets Software Models (FR, JFS, FCS), pp. 145–152.

ECOOP-2001-MeijerPY #dot-net #using

Scripting .NET Using Mondrian (EM, NP, AvY), pp. 150–164.

TOOLS-USA-2001-ArnoutS #contract #design #dot-net #eiffel

The .NET Contract Wizard: Adding Design by Contract to Languages Other than Eiffel (KA, RS), pp. 14–23.

ESEC-FSE-2001-Jahnke #component #embedded

Engineering component-based net-centric systems for embedded applications (JHJ), pp. 218–228.

RTA-2001-Pinto #evaluation #interactive #parallel

Parallel Evaluation of Interaction Nets with MPINE (JSP), pp. 353–356.

TLCA-2001-MurawskiO #evolution #game studies #morphism #polymorphism

Evolving Games and Essential Nets for Affine Polymorphism (ASM, CHLO), pp. 360–375.

ASE-2000-El-FakihYBH #automation #distributed #petri net #specification

Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources (KEF, HY, GvB, TH), pp. 305–308.

DAC-2000-LevyBBDGOOSZ #analysis #design #named

ClariNet: a noise analysis tool for deep submicron design (RL, DB, GB, AD, AG, CO, BO, SS, VZ), pp. 233–238.

DAC-2000-OuP #clustering

Timing-driven placement based on partitioning with dynamic cut-net control (SLTO, MP), pp. 472–476.

DAC-2000-QiuWP #petri net #power management #probability #using

Dynamic power management of complex systems using generalized stochastic Petri nets (QQ, QW, MP), pp. 352–356.

DATE-2000-AdlerB #multi

Single Step Current Driven Routing of Multiterminal Signal Nets for Analog Applications (TA, EB), pp. 446–450.

HT-2000-NaF #hypermedia #petri net

Context-aware hypermedia in a dynamically-changing environment, supported by a high-level Petri net (JCN, RF), pp. 222–223.

ESOP-2000-Odersky #functional

Functional Nets (MO), pp. 1–25.

FASE-2000-PadbergHG #algebra #safety

Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems (JP, KH, MG), pp. 249–265.

FoSSaCS-2000-CosmoKP #proving

Proof Nets and Explicit Substitutions (RDC, DK, EP), pp. 63–81.

FoSSaCS-2000-Pinto #automaton #concurrent #interactive

Sequential and Concurrent Abstract Machines for Interaction Nets (JSP), pp. 267–282.

CSMR-2000-Keller #petri net #reverse engineering

Reverse Engineering with Petri Nets (WK), pp. 235–238.

ICALP-2000-BruniS #algebra #modelling

Algebraic Models for Contextual Nets (RB, VS), pp. 175–186.

IFM-2000-KlaudelP #composition #concurrent #petri net #semantics

A Concurrent and Compositional Petri Net Semantics of Preemption (HK, FP), pp. 318–337.

ICEIS-2000-Bosilj-VuksicGH #diagrams #modelling #petri net #process

IDEF Diagrams and Petri Nets for Business Process Modelling: Suitability, Efficacy, and Complementary Use (VBV, GMG, VH), pp. 242–247.

ICEIS-2000-DietzB #modelling #petri net #process #requirements

Petri Net Expressions of Demo Process Models as a Rigid Foundation for Requirements Engineering (JLGD, JB), pp. 267–274.

ICML-2000-AllenG #comparison #empirical #learning

Model Selection Criteria for Learning Belief Nets: An Empirical Comparison (TVA, RG), pp. 1047–1054.

ICML-2000-ChoiY #database #learning

Learning to Select Text Databases with Neural Nets (YSC, SIY), pp. 135–142.

ICPR-v1-2000-AnsiaLPM #3d #automation #re-engineering #segmentation #using

Automatic 3D Shape Reconstruction of Bones Using Active Nets Based Segmentation (FMA, JL, MGP, AMG), pp. 1486–1489.

ICPR-v1-2000-BesshoIY #detection #using

Detecting Human Face and Recognizing Facial Expressions Using Potential Net (HB, YI, MY), pp. 5076–5079.

PPDP-2000-LeuschelL #deduction #petri net #problem

Solving coverability problems of petri nets by partial deduction (ML, HL), pp. 268–279.

SAC-2000-BettiniLP

Structured Nets in KLAIM (LB, ML, RP), pp. 174–180.

ICSE-2000-TakahashiEFG #development #tutorial #using

System development using application services over the Net (tutorial session) (KT, WE, AF, SG), p. 830.

CAV-2000-AbdullaIN #bound #petri net

Unfoldings of Unbounded Petri Nets (PAA, SPI, AN), pp. 495–507.

CL-2000-AllainY #database #specification #using

Specification of an Active Database System Application Using Dynamic Relation Nets (LA, PY), pp. 1197–1209.

CL-2000-LeuschelL #deduction #petri net

Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction (ML, HL), pp. 101–115.

LICS-2000-MurawskiO #performance #proving #verification

Dominator Trees and Fast Verification of Proof Nets (ASM, CHLO), pp. 181–191.

DAC-1999-SgroiL #embedded #petri net #synthesis #using

Synthesis of Embedded Software Using Free-Choice Petri Nets (MS, LL), pp. 805–810.

DATE-1999-StrehlT #diagrams #model checking #petri net

Interval Diagram Techniques for Symbolic Model Checking of Petri Nets (KS, LT), pp. 756–757.

TACAS-1999-Heljanko #concurrent #logic programming #petri net #problem #reachability #semantics #source code #using

Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets (KH), pp. 240–254.

ICALP-1999-BednarczykB #morphism #petri net

General Morphisms of Petri Nets (Extended Abstract) (MAB, AMB), pp. 190–199.

ICALP-1999-DufordJS #bound

Boundedness of Reset P/T Nets (CD, PJ, PS), pp. 301–310.

FM-v2-1999-HorsteS #formal method #modelling #petri net #simulation #using

Formal Modelling and Simulation of Train Control Systems Using Petri Nets (MMzH, ES), p. 1867.

IFL-1999-Reinke #haskell #petri net

Haskell-Coloured Petri Nets (CR), pp. 165–180.

HCI-CCAD-1999-OgiYH #named #network

CABINet: networking of immersive projection environment (TO, TY, MH), pp. 1025–1029.

HCI-EI-1999-MoussaRMK #automation #generative #petri net #specification #user interface

A Petri Nets based Method for Specification and Automatic Generation of User Interface (FM, MR, MM, CK), pp. 988–992.

AdaEurope-1999-GarciaV #ada #petri net

Translating Time Petri Net Structures into Ada 95 Statements (FJGI, JLV), pp. 158–169.

CAiSE-1999-AoumeurS #distributed #information management #petri net #specification #towards #validation

Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems (NA, GS), pp. 381–395.

TOOLS-ASIA-1999-ShenLG #graph #network #object-oriented

An Object-Oriented Net Graph Model for Agent Group-Based Network Management (JS, JL, GG), pp. 126–132.

PPDP-1999-FernandezM #calculus #interactive

A Calculus for Interaction Nets (MF, IM), pp. 170–187.

SAC-1999-OgataIF #optimisation #term rewriting #using

Optimizing Term Rewriting Using Discrimination Nets With Specialization (KO, SI, KF), pp. 511–518.

LICS-1999-Guerrini #correctness #linear #multi #proving

Correctness of Multiplicative Proof Nets Is Linear (SG), pp. 454–463.

RTA-1999-CosmoG #normalisation #proving

Strong Normalization of Proof Nets Modulo Structural Congruences (RDC, SG), pp. 75–89.

TLCA-1999-Laurent

Polarized Proof-Nets: Proof-Nets for LC (OL), pp. 213–227.

DATE-1998-PastorC #analysis #encoding #performance #petri net

Efficient Encoding Schemes for Symbolic Analysis of Petri Nets (EP, JC), pp. 790–795.

SIGMOD-1998-Whelan #database #documentation

FileNet Integrated Document Management Database Usage and Issues (DSW), p. 533.

FASE-1998-PadbergGE #refinement #rule-based #safety

Rule-Based Refinement of High-Level Nets Preserving Safety Properties (JP, MG, CE), pp. 221–238.

FoSSaCS-1998-BaldanCM #semantics #symmetry

An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures (PB, AC, UM), pp. 63–80.

FoSSaCS-1998-Klempien-Hinrichs #refinement

Net Refinement by Pullback Rewriting (RKH), pp. 189–202.

TACAS-1998-Grahlmann #automaton #finite #parallel #petri net #source code #using

Combining Finite Automata, Parallel Programs and SDL Using Petri Nets (BG), pp. 102–117.

ICALP-1998-DufourdFS #decidability

Reset Nets Between Decidability and Undecidability (CD, AF, PS), pp. 103–115.

ICALP-1998-GadducciM #axiom #process

Axioms for Contextual Net Processes (FG, UM), pp. 296–308.

ICFP-1998-Mackie #interactive #named

YALE: Yet Another λ Evaluator Based on Interaction Nets (IM), pp. 117–128.

TAGT-1998-PadbergGH #development #incremental #petri net #safety

Incremental Development of Safety Properties in Petri Net Transformations (JP, MG, KH), pp. 410–425.

SIGAda-1998-Kamrad #ada #case study #experience

Ada experience report for BlazeNet, Inc. (JMKI), pp. 215–216.

CIKM-1998-Chen #comparison #information retrieval #pattern matching #pattern recognition #recognition

A Comparison of Regression, Neural Net, and Pattern Recognition Approaches to IR (AC), pp. 140–147.

ICPR-1998-Kofler #graph

A topological net structure and a topological graph (HK), pp. 1449–1454.

ICPR-1998-KrebsW #3d #automation #generative #recognition

Automatic generation of Bayesian nets for 3D object recognition (BK, FMW), pp. 126–128.

ICPR-1998-ZhangFY #classification #composition #modelling #recognition

A modular classification scheme with elastic net models for handwritten digit recognition (BZ, MF, HY), pp. 1859–1861.

TOOLS-ASIA-1998-CheungCC #interactive #petri net

Deriving Scenarios Of Object Interaction Through Petri Net (KSC, KOC, TYC), p. 104–?.

ICSE-1998-MascarenhasKBK #analysis #artificial reality #modelling #petri net

Modeling and Analysis of a Virtual Reality System with Time Petri Nets (RM, DK, UAB, RVK), pp. 33–42.

HPDC-1998-TierneyJCHBG #analysis #distributed #performance

The NetLogger Methodology for High Performance Distributed Systems Performance Analysis (BT, WEJ, BC, GH, CXB, DG), pp. 260–267.

CAV-1998-Wallner #ltl #model checking #using

Model Checking LTL Using Net Unforldings (FW), pp. 207–218.

LICS-1998-FernandezM #equivalence #induction #interactive

Coinductive Techniques for Operational Equivalence of Interaction Nets (MF, IM), pp. 321–332.

ASE-1997-KrappW #feedback

Feedback Handling in Dynamic Task Nets (CAK, BW), pp. 301–302.

DAC-1997-LillisC #multi #optimisation

Timing Optimization for Multi-Source Nets: Characterization and Optimal Repeater Insertion (JL, CKC), pp. 214–219.

TACAS-1997-ChristensenJK #design #named #petri net

Design/CPN — A Computer Tool for Coloured Petri Nets (SC, JBJ, LMK), pp. 209–223.

TACAS-1997-Jensen #petri net

A Brief Introduction to Coloured Petri Nets (KJ), pp. 203–208.

SAS-1997-Mackie #distributed #implementation #interactive #static analysis

Static Analysis of Interaction Nets for Distributed Implementations (IM), pp. 217–231.

DLT-1997-TipleaM #petri net

Jumping Petri Nets — Specific Properties (FLT, EM), pp. 461–476.

ICALP-1997-Vogler #performance #petri net

Efficiency of Asynchronous Systems and Read Arcs in Petri Nets (WV), pp. 538–548.

FME-1997-FleischhackT #realtime #semantics

An M-Net Semantics for a Real-Time Extension of μSDL (HF, JT), pp. 162–181.

TRI-Ada-1997-Cheng #ada #concurrent #dependence

Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications (JC), pp. 67–78.

EDOC-1997-ClassenWH #adaptation #corba #higher-order #towards #workflow

Towards evolutionary and adaptive workflow systems-infrastructure support based on Higher-Order Object Nets and CORBA (IC, HW, YH), p. 300–?.

EDOC-1997-ErdmannW #enterprise #modelling

Enterprise Modelling with FUNSOFT Nets (SE, JW), p. 28–?.

SIGIR-1997-AslandoganTYZR #image #retrieval #semantics #using

Using Semantic Contents and WordNet in Image Retrieval (YAA, CT, CTY, JZ, NR), pp. 286–295.

ALP-1997-CairesM #proving #semantics

Proof Net Semantics of Proof Search Computation (LC, LM), pp. 194–208.

SAC-1997-BanachP #implementation #interactive

Implementing interaction nets in MONSTR (RB, GAP), pp. 509–514.

ESEC-FSE-1997-JahnkeSZ #database #fuzzy #reasoning #relational #reverse engineering

Generic Fuzzy Reasoning Nets as a Basis for Reverse Engineering Relational Database Applications (JHJ, WS, AZ), pp. 193–210.

ICSE-1997-KusumotoMKHTS #petri net #probability

A New Software Project Simulator Based on Generalized Stochastic Petri-net (SK, OM, TK, YH, YT, KS), pp. 293–302.

CAV-1997-MelzerR #concurrent #using

Deadlock Checking Using Net Unfoldings (SM, SR), pp. 352–363.

LICS-1997-CosmoK #normalisation #proving

Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract) (RDC, DK), pp. 35–46.

TLCA-1997-GuerriniMM #proving

Proof Nets, Garbage, and Computations (SG, SM, AM), pp. 181–195.

DAC-1996-SemenovY #petri net #using #verification

Verification of asynchronous circuits using Time Petri Net unfolding (ALS, AY), pp. 59–62.

TACAS-1996-BerghammerKU #algebra #analysis #perspective #petri net

Realtion-Algebraic Analysis of Petri Nets with RELVIEW (RB, BvK, CU), pp. 49–69.

TACAS-1996-GrahlmannB #named #petri net

PEP — More than a Petri Net Tool (BG, EB), pp. 397–401.

ICALP-1996-JancarE #bisimulation #petri net

Deciding Finiteness of Petri Nets Up To Bisimulation (PJ, JE), pp. 478–489.

FME-1996-ShiN #petri net #specification

An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets (LS, PN), pp. 518–537.

IFL-1996-Assmann #coordination #functional #petri net #process #using

Coordinating Functional Processes Using Petri Nets (CA), pp. 162–183.

CHI-1996-KrautSMMK #internet #named

HomeNet: A Field Trial of Residential Internet Services (REK, WLS, TM, JM, SBK), pp. 284–291.

ICPR-1996-ArmandeMM #3d

A 3D thin nets extraction method for medical imaging (NA, PM, OM), pp. 642–646.

ICPR-1996-FunayamaYIT #component #constraints

Facial component extraction by cooperative active nets with global constraints (RF, NY, HI, HT), pp. 300–304.

KDD-1996-Lange #approach #empirical #predict #recursion #using

An Empirical Test of the Weighted Effect Approach to Generalized Prediction Using Recursive Neural Nets (RL), pp. 183–188.

SEKE-1996-CostaPF #design #multi #petri net

A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software Systems (EdBC, AP, JCAdF), pp. 253–260.

SEKE-1996-SlivaMS #communication #protocol

A Method for Applying G-Nets To Communication Protocols (VPS, TM, SMS), pp. 145–152.

LOPSTR-1996-FribourgO #logic programming #petri net #reduction #source code

Reductions of Petri Nets and Unfolding of Propositional Logic Programs (LF, HO), pp. 187–203.

PLILP-1996-FernandezM #interactive #term rewriting

From Term Rewriting to Generalised Interaction Nets (MF, IM), pp. 319–333.

SAC-1996-Cripps #performance #predict #using

Using artificial neural nets to predict academic performance (AC), pp. 33–37.

ICSE-1996-HeimannJKW #named #process

DYNAMITE: Dynamic Task Nets for Software Process Management (PH, GJ, CAK, BW), pp. 331–341.

ISSTA-1996-ChamillardC #analysis #concurrent #petri net #source code

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs (ATC, LAC), pp. 24–38.

RTA-1996-GuerriniMM #proving

Coherence for Sharing Proof Nets (SG, SM, AM), pp. 215–229.

ICSM-1995-AvrilionisC #maintenance #modelling #petri net #process #using

Using views to maintain Petri-net-based process models (DA, PYC), pp. 318–326.

DLT-1995-TipleaE #normalisation #petri net

Hierarchies of Petri Net Languages and a Super-Normal Form (FLT, CE), pp. 396–405.

ICALP-1995-BestK #equation #recursion

Solving Recursive Net Equations (EB, MK), pp. 605–623.

AdaEurope-1995-BuchsBR #algebra #modelling #validation

Modeling and Validation of Tasks with Algebraic Structured Nets (DB, CB, PR), pp. 284–297.

KDD-1995-Glymour #modelling #predict

Available Technology for Discovering Causal Models, Building Bayes Nets, and Selecting Predictors: The TETRAD II Program (CG), pp. 130–135.

SEKE-1995-Gattiker #functional #petri net #probability #representation

Representing Structural and Functional Knowledge with Stochastic Petri Nets (JRG), pp. 47–53.

SEKE-1995-He #formal method #petri net

PZ Nets- A Formal Method Integrating Petri Nets with Z (XH), pp. 173–180.

SEKE-1995-Sliva #synthesis

A G-Net Module Synthesis Method for Software Applications (VPS), pp. 419–426.

SEKE-1995-Westfechtel #graph #process

A Graph-Based Model for Dynamic Process Nets (BW), pp. 126–130.

SAC-1995-Tschichold-Gurman #classification #fuzzy #generative #incremental #learning #using

Generation and improvement of fuzzy classifiers with incremental learning using fuzzy RuleNet (NNTG), pp. 466–470.

ICSE-1995-DwyerCN #concurrent #petri net #representation #source code

A Compact Petri Net Representation for Concurrent Programs (MBD, LAC, KAN), pp. 147–157.

SOSP-1995-EickenBBV #distributed #interface #named #network #parallel

U-Net: A User-Level Network Interface for Parallel and Distributed Computing (TvE, AB, VB, WV), pp. 40–53.

CAV-1995-HulgaardB #analysis #performance #petri net

Efficient Timing Analysis of a Class of Petri Nets (HH, SMB), pp. 423–436.

LICS-1995-Trakhtenbrot #automaton #logic

Origins and Metamorphoses of the Trinity: Logic, Nets, Automata (BAT), pp. 506–507.

DAC-1994-JongL #communication #concurrent #design #petri net

A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules (GGdJ, BL), pp. 49–55.

ESOP-1994-Milner #named #visual notation #π-calculus

Pi-Nets: A Graphical Form of π-Calculus (RM), pp. 26–42.

TAGT-1994-KorffR #graph grammar #petri net

Formal Relationship between Graph Grammars and Petri Nets (MK, LR), pp. 288–303.

SEKE-1994-FigueiredoPC #analysis #fuzzy #petri net #realtime #using

Timing analysis of real-time software systems using fuzzy time Petri nets (JCAdF, AP, SKC), pp. 257–266.

SEKE-1994-Kramer #modelling #petri net #process

Rule-enhanced Petri nets for software process modeling (BJK), pp. 493–500.

SAC-1994-ChenB #analysis #concurrent #database #detection #performance #petri net #transaction

A Petri net model for the performance analysis of transaction database systems with continuous deadlock detection (IRC, RB), pp. 539–544.

SAC-1994-Tschichold-Gurman #classification #fuzzy #network

Fuzzy RuleNet: an artificial neural network model for fuzzy classification (NNTG), pp. 145–149.

CAV-1994-GorrieriS #realtime #using #verification

Real-Time System Verification using P/T Nets (RG, GS), pp. 14–26.

ISSTA-1994-BuyS #analysis #petri net #realtime #source code

Analysis of Real-Time Programs with Simple Time Petri Nets (UAB, RHS), pp. 228–239.

HT-1993-Chang #approach #automation #generative #named

HieNet: A User-Centered Approach for Automatic Link Generation (DTC), pp. 145–158.

STOC-1993-ChazelleEGGSW #bound #set

Improved bounds on weak epsilon-nets for convex sets (BC, HE, MG, LJG, MS, EW), pp. 495–504.

STOC-1993-Maass #bound #complexity #learning

Bounds for the computational power and learning complexity of analog neural nets (WM), pp. 335–344.

ICALP-1993-BrownG #category theory #logic #petri net

Temporal Logic and Categories of Petri Nets (CB, DG), pp. 570–581.

ICALP-1993-JategaonkarM #concurrent #finite

Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report) (LJ, ARM), pp. 519–531.

ICALP-1993-Orponen #on the #power of

On the Computational Power of Discrete Hopfield Nets (PO), pp. 215–226.

HCI-SHI-1993-Tollmar #interface #named

CoDesk — An Interface to TheKnowledgeNet (KT), pp. 238–243.

INTERCHI-1993-JanssenWZ #generative #modelling #specification #user interface

Generating user interfaces from data models and dialogue net specifications (CJ, AW, JZ), pp. 418–423.

CAiSE-1993-PalanqueBDS #design #interface #petri net #using

Design of User-Driven Interfaces Using Petri Nets and Objects (PAP, RB, LD, CSB), pp. 569–585.

SEKE-1993-BoetticherSE #approach #metric

A Neural Net-Based Approach to Software Metrics (GDB, KS, DE), pp. 271–274.

SIGIR-1993-Voorhees #retrieval #using #word

Using WordNet to Disambiguate Word Senses for Text Retrieval (EMV), pp. 171–180.

SAC-1993-VeezhinathanKT #bound #branch #hybrid

A Hybrid of Neural Net and Branch and Bound Techniques for Seismic Horizon Tracking (JV, FK, JT), pp. 173–178.

CSL-1993-Hishfeld #equivalence #petri net #problem

Petri Nets and the Equivalence Problem (YH), pp. 165–174.

ISSTA-1993-FelderGP #specification

Analyzing Refinements of State Based Specifications: The Case of TB Nets (MF, CG, MP), pp. 28–39.

DAC-1992-ChaoHH

Zero Skew Clock Net Routing (THC, YCH, JMH), pp. 518–523.

DAC-1992-CongHK

Net Partitions Yield Better Module Partitions (JC, LWH, ABK), pp. 47–52.

WSA-1992-Bechet #interactive #partial evaluation

Partial Evaluation of Interaction Nets (DB), pp. 331–338.

ICALP-1992-BrownG #category theory #petri net

Timing Petri Nets Categorically (CB, DG), pp. 571–582.

ICALP-1992-HoogersKT #petri net #semantics

A Trace Semantics for Petri Nets (Extended Abstract) (PWH, HCMK, PST), pp. 595–604.

ICALP-1992-Vogler #communication #petri net #refinement

Asynchronous Communication of Petri Nets and the Refinement of Transitions (WV), pp. 605–616.

AdaEurope-1992-Cheng #ada #concurrent #dependence #representation #source code

Task Dependence Net as a Representation for Concurrent Ada Programs (JC), pp. 150–164.

SEKE-1992-ShimuraLM #logic programming #petri net #semantics #source code

A Petri Net Semantics for Logic Programs with Negation (TS, JL, TM), pp. 292–299.

SEKE-1992-TuS #approach #linear #petri net #programming #static analysis

Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach (ST, WS), pp. 222–226.

LOPSTR-1992-Ornaghi #proving

Proof Nets (MO), pp. 61–79.

SOSP-WIP-1991-LaRowe92 #architecture #operating system #research

Operating Systems Research Related to the Galactica Net Architecture (Abstract) (RPLJ), p. 13.

HPDC-1992-ClaytonDMW #bound #latency

Determining Update Latency Bounds in Galactica Net (SC, RJD, WM, AW), pp. 104–111.

CADE-1992-ChirimarGI #interface #named #performance #proving #visual notation

Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker (JC, CAG, MVI), pp. 711–715.

DAC-1991-MattesWBD

Propagation Delay Calculation for Interconnection Nets on Printed Circuit Boards by Reflected Waves (HM, WW, GB, RD), pp. 567–572.

DAC-1991-SutanthavibulS #predict

Dynamic Prediction of Critical Paths and Nets for Constructive Timing-Driven Placement (SS, ES), pp. 632–635.

DAC-1991-TsayK #approach #optimisation #performance

An Analytic Net Weighting Approach for Performance Optimization in Circuit Placement (RST, JK), pp. 620–625.

PLDI-1991-GaoWN #petri net #scheduling

A Timed Petri-Net Model for Fine-Grain Loop Scheduling (GRG, YBW, QN), pp. 204–218.

VDME-1991-1-HeeSV #petri net

Z and High Level Petri Nets (KMvH, LJS, MV), pp. 204–219.

AdaEurope-1991-ChengU #ada #petri net #using

Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets (JC, KU), pp. 125–146.

CAV-1991-BarbeauB #approach #fault #petri net #using #verification

The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach (MB, GvB), pp. 103–113.

CSL-1991-BestE #model checking #persistent #petri net

Model Checking of Persistent Petri Nets (EB, JE), pp. 35–52.

DAC-1990-TeraiTS #algorithm #assurance #constraints #design #layout

A New Min-Cut Placement Algorithm for Timing Assurance Layout Design Meeting Net Length Constraint (MT, KT, KS), pp. 96–102.

SEKE-1990-JeffreyM #petri net #set

A High-Level Petri Net for a Subset of FGHC (JJ, TM), pp. 260–266.

SEKE-1990-KehL #design #hypermedia #named #petri net

HelpDez: Colored-Petri-Net-Based Hypermedia Help System Designer (HCK, TGL), pp. 245–250.

POPL-1990-Lafont #interactive

Interaction Nets (YL), pp. 95–108.

ICSE-1990-OswaldEM #petri net #specification

An Environment for Specifying and Executing Hierarchical Petri Nets (HO, RE, RM), pp. 164–172.

CAV-1990-BerthelotJP #analysis #named #petri net

PAPETRI: Environment for the Analysis of Petri Nets (GB, CJ, LP), pp. 13–22.

CAV-1990-LloretAV #communication #composition #design #petri net #protocol #using #verification

Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets (JCL, PA, FV), pp. 96–105.

LICS-1990-BrownG #category theory #framework #linear #petri net

A Categorical Linear Framework for Petri Nets (CB, DG), pp. 208–218.

DAC-1989-LueM

Extracting Schematic-like Information from CMOS Circuit Net-lists (WJL, LPM), pp. 690–693.

DAC-1989-Yu #case study

A Study of the Applicability of Hopfield Decision Neural Nets to VLSI CAD (MLY), pp. 412–417.

DAC-1989-ZhangPR #performance

Efficient Final Placement Based on Nets-as-Points (XZ, LTP, RAR), pp. 578–581.

SEKE-1989-HeL #logic #petri net #specification

Deriving Temporal Logic Specifications from Predicate Transition Petri Net (XH, JANL), pp. 116–121.

SEKE-1989-MurataY #petri net #realtime #rule-based

Petri Net Method for Real-Time Control of Rule-Based Systems (TM, JY), pp. 122–127.

ICSE-1989-GalloST #approach #configuration management #named #object-oriented #scalability

ObNet: An Object-Oriented Approach for Supporting Large, Long-Lived, Highly Configurable Systems (TG, GS, FT), pp. 138–144.

SOSP-1989-EdwardsM #file system

Exploiting Read-Mostly Workloads in The FileNet File System (DAE, MSM), pp. 58–70.

LICS-1989-DeganoMM #axiom #process

Axiomatizing Net Computations and Processes (PD, JM, UM), pp. 175–185.

LICS-1989-RabinovichT #data flow

Nets and Data Flow Interpreters (AMR, BAT), pp. 164–174.

DAC-1988-Cai #multi

Multi-Pads, Single Layer Power Net Routing in VLSI Circuits (HC), pp. 183–188.

DAC-1988-Meyer #data type

A Data Structure for Circuit Net Lists (SM), pp. 613–616.

DAC-1988-Razouk #modelling #petri net #pipes and filters

The Use of Petri Nets for Modeling Pipelined Processors (RRR), pp. 548–553.

ICALP-1988-Thiagarajan #aspect-oriented #behaviour

Some Behavioural Aspects of Net Theory (PST), pp. 630–653.

LICS-1988-MeseguerM #algebra #monad #petri net

Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory (JM, UM), pp. 155–164.

LICS-1988-Winskel #composition #petri net #proving

A Category of Labelled Petri Nets and Compositional Proof System (Extended Abstract) (GW), pp. 142–154.

DAC-1987-BeckerHKMO #calculus #design

Hierarchical Design Based on a Calculus of Nets (BB, GH, RK, PM, HGO), pp. 649–653.

DAC-1987-Chowdhury #automation #design

An Automated Design of Minimum-Area IC Power/Ground Nets (SC), pp. 223–229.

DAC-1987-ChunCM #named

VISION: VHDL Induced Schematic Imaging on Net-Lists (RKC, KJC, LPM), pp. 436–442.

ICSE-1987-Kramer #data type #distributed #named #petri net #specification

SEGRAS — A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems (BJK), pp. 116–125.

DAC-1986-NaharS #performance

A time and space efficient net extractor (SN, SS), pp. 411–417.

ESOP-1986-Kok #nondeterminism #semantics

Denotational Semantics of Nets with Nondeterminism (JNK), pp. 237–249.

OOPSLA-1986-BrunoB #distributed #modelling #object-oriented #petri net

Petri Net-Based Object-Oriented Modeling of Distributed Systems (GB, AB), pp. 284–293.

DAC-1985-ChowdhuryB

The construction of minimal area power and ground nets for VLSI circuits (SUC, MAB), pp. 794–797.

VLDB-1985-Shasha #named

NetBook — a Data Model to Support Knowledge Exploration (DS), pp. 418–425.

ICSE-1985-BrunoM #agile #petri net #prototype #using

Rapid Prototyping of Control Systems Using High Level Petri Nets (GB, GM), pp. 230–237.

SOSP-1985-CarrieroG #kernel

The S/Net’s Linda Kernel (extended abstract) (NC, DG), p. 160.

RTA-1985-ChoppyJ #named #petri net #proving #term rewriting

PETRIREVE: Proving Petri Net Properties with Rewriting Systems (CC, CJ), pp. 271–286.

ICALP-1984-GoltzM #on the #petri net

On the Relationship of CCS and Petri Nets (UG, AM), pp. 196–208.

ICSE-1984-AzemaJSM #distributed #petri net #prolog #specification #using #verification

Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets (PA, GJ, ES, MM), pp. 510–519.

DAC-1983-Vida-TorkuH #generative #heuristic #petri net #testing

Petri Net based search directing heuristics for test generation (EKVT, BMH), pp. 323–330.

ICALP-1983-GoltzR #process

Processes of Place/Transition-Nets (UG, WR), pp. 264–277.

RE-1983-Reisig #design #petri net #using

System Design Using Petri Nets (WR), pp. 29–41.

DAC-1982-Pinter #on the

On routing two-point nets across a channel (RYP), pp. 894–902.

ICALP-1982-FernandezT

Some Properties of D-Continuous Causal Nets (CF, PST), pp. 225–238.

GG-1982-GenrichJRT #graph grammar #petri net

Petri nets and their relation to graph grammars (HJG, DJ, GR, PST), pp. 115–129.

DAC-1981-RothermelM #layout #power management

Computation of power supply nets in VLSI layout (HJR, DAM), pp. 37–42.

DAC-1981-Suen #estimation #statistics

A statistical model for net length estimation (LCS), pp. 769–774.

VLDB-1981-Richter #database #modelling

IML-Inscribed Nets for Modeling Text Processing and Data (Base) Management Systems (GR), pp. 363–375.

STOC-1981-Mayr #algorithm #petri net #problem #reachability

An Algorithm for the General Petri Net Reachability Problem (EWM), pp. 238–246.

ICALP-1978-Valk #petri net #self

Self-Modifying Nets, a Natural Extension of Petri Nets (RV), pp. 464–476.

DAC-1977-BoseS #detection #logic

Detection of static and dynamic hazards in logic nets (AKB, SAS), pp. 220–224.

DAC-1976-AzemaVD #design #hardware #petri net #simulation #verification

Petri nets as a common tool for design verification and hardware simulation (PA, RV, MD), pp. 109–116.

STOC-1976-CardozaLM #commutative #exponential #petri net #problem

Exponential Space Complete Problems for Petri Nets and Commutative Semigroups: Preliminary Report (EC, RJL, ARM), pp. 50–54.

POPL-1975-LauerC #petri net

A Description of Path Expressions by Petri Nets (PEL, RHC), pp. 95–105.

SOSP-1973-Kosaraju #petri net

Limitations of Dijkstra’s Semaphore Primitives and Petri Nets (SRK), pp. 122–136.

SIGIR-1971-Su #semantics

Managing Semantic Data in an Associative Net (SYWS), pp. 105–116.