BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
petri (289)
model (122)
use (105)
base (101)
system (93)

Stem net$ (all stems)

657 papers:

CASECASE-2015-BasileCC #identification #modelling #petri net #realtime
Real time identification of Time Petri net faulty models (FB, PC, JC), pp. 280–285.
CASECASE-2015-ChengHL #automation #petri net #robust #synthesis #using
Robust supervisor synthesis for automated manufacturing systems using Petri nets (YC, HH, YL), pp. 1029–1035.
CASECASE-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.
CASECASE-2015-KloetzerM #modelling #multi #petri net
Accomplish multi-robot tasks via Petri net models (MK, CM), pp. 304–309.
CASECASE-2015-LennartsonBW #hybrid #optimisation #petri net
Optimization of hybrid Petri nets with shared variables (BL, KB, OW), pp. 1395–1396.
CASECASE-2015-UeharaHK #modelling #petri net
Mesoscopic modeling of airport surface by object Petri nets (KU, KH, KK), pp. 298–303.
CASECASE-2015-WangSH #concurrent
A three-stage deadlock prevention strategy for S3PR nets (SW, CS, LH), pp. 286–291.
CASECASE-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.
CASECASE-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.
DACDAC-2015-BokhariJSHP #architecture #manycore #named
SuperNet: multimode interconnect architecture for manycore chips (HB, HJ, MS, JH, SP), p. 6.
DACDAC-2015-LiuHWSJHL #assessment #detection #smarttech
Impact assessment of net metering on smart home cyberattack detection (YL, SH, JW, YS, YJ, YH, XL), p. 6.
DocEngDocEng-2015-LesnikovaDE #rdf #using
Interlinking English and Chinese RDF Data Using BabelNet (TL, JD, JE), pp. 39–42.
SANERSANER-2015-LuSWLD #code search #effectiveness #query
Query expansion via WordNet for effective code search (ML, XS, SW, DL, YD), pp. 545–549.
ICFPICFP-2015-SmolkaEFG #compilation #performance
A fast compiler for NetKAT (SS, SAE, NF, AG), pp. 328–341.
GCMGCM-2015-MackieS #evaluation #interactive #parallel
Parallel Evaluation of Interaction Nets: Some Observations and Examples (IM, SS), pp. 50–65.
ICGTICGT-2015-Padberg #configuration management #petri net
Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (JP), pp. 104–120.
HCILCT-2015-ChangHGL #education #gesture #named
G-NETS — Gesture-Based Nursing Educational Training Support System (JWC, CFH, RLG, CCL), pp. 33–42.
ICEISICEIS-v1-2015-FreitasJR #fuzzy #resource management #workflow
Fuzzy Resource Allocation Mechanisms in Workflow Nets (JCJdF, SJ, LPdR), pp. 471–478.
ICEISICEIS-v1-2015-RezendeJ #concurrent #process #using #workflow
Deadlock Avoidance in Interorganizational Business Processes using a Possibilistic WorkFlow Net (LPdR, SJ), pp. 429–439.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v2-2015-SarmientoALS #modelling #petri net
Mapping Textual Scenarios to Analyzable Petri-Net Models (ES, EA, JCSdPL, GS), pp. 494–501.
ICEISICEIS-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.
ECIRECIR-2015-TannebaumR #database #named
PatNet: A Lexical Database for the Patent Domain (WT, AR), pp. 550–555.
SEKESEKE-2015-DingZ #modelling #petri net #using
Modeling and Analyzing Publish Subscribe Architcture using Petri Nets (JD, DZ), pp. 589–594.
SEKESEKE-2015-LiuH #petri net #pipes and filters #verification
PIPE+Verifier — A Tool for Analyzing High Level Petri Nets (SL, XH), pp. 575–580.
SIGIRSIGIR-2015-NovakBZ #image #retrieval #scalability #using
Large-scale Image Retrieval using Neural Net Descriptors (DN, MB, PZ), pp. 1039–1040.
SIGIRSIGIR-2015-RuotsaloPEGRJMK #interactive #modelling #named
SciNet: Interactive Intent Modeling for Information Discovery (TR, JP, MJAE, DG, AR, GJ, PM, SK), pp. 1043–1044.
POPLPOPL-2015-FosterKM0T #algebra
A Coalgebraic Decision Procedure for NetKAT (NF, DK, MM, AS, LT), pp. 343–355.
SACSAC-2015-BourdilBDV #petri net #symmetry
Symmetry reduced state classes for time petri nets (PAB, BB, SDZ, FV), pp. 1751–1758.
LICSLICS-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.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-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.
SIGMODSIGMOD-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.
VLDBVLDB-2014-DaiQJWW #personalisation #recommendation
A Personalized Recommendation System for NetEase Dating Site (CD, FQ, WJ, ZW, ZW), pp. 1760–1765.
ESOPESOP-2014-YoshimizuHFL #higher-order #metric #proving #quantum
Measurements in Proof Nets as Higher-Order Quantum Circuits (AY, IH, CF, UDL), pp. 371–391.
LATALATA-2014-BestD #bound #graph #petri net
Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets (EB, RRD), pp. 161–172.
LATALATA-2014-Martos-SalgadoR #network #petri net
Expressiveness of Dynamic Networks of Timed Petri Nets (MMS, FRV), pp. 516–527.
ICFPICFP-2014-FredrikssonG #distributed #execution #semantics
Krivine nets: a semantic foundation for distributed execution (OF, DRG), pp. 349–361.
ICFPICFP-2014-SchlesingerGW #concurrent #pipes and filters #policy
Concurrent NetCore: from policies to pipelines (CS, MG, DW), pp. 11–24.
GT-VMTGT-VMT-2014-StuckrathW #adaptation #modelling #petri net #user interface
Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models (JS, BW).
HCIHCI-AS-2014-HidakaO
Proposal for a New Entertainment System That Connects Real Life and Net Excitement (KH, KO), pp. 604–613.
HCIHCI-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.
ICEISICEIS-v1-2014-RezendeJC #communication #problem #workflow
Possibilistic Interorganizational Workflow Net for the Recovery Problem Concerning Communication Failures (LPdR, SJ, JC), pp. 432–439.
ICEISICEIS-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.
ICEISICEIS-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.
CIKMCIKM-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.
ICMLICML-c2-2014-KingmaW #performance
Efficient Gradient-Based Inference through Transformations between Bayes Nets and Neural Nets (DPK, MW), pp. 1782–1790.
ICPRICPR-2014-Nilsson #polynomial #using
Elastic Net Regularized Logistic Regression Using Cubic Majorization (MN), pp. 3446–3451.
KDIRKDIR-2014-MaWQ #parsing
Time Phrase Parsing for Chinese Text with HowNet Temporal Information Structure (HmM, XyW, LQ), pp. 294–299.
KEODKEOD-2014-FatyaniIP #ontology #petri net #simulation
Transformation of DEMO Model into Coloured Petri Net — Ontology based Simulation (TF, JI, JP), pp. 388–396.
SEKESEKE-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.
QAPLQAPL-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.
SPLCSPLC-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.
LICSLICS-CSL-2014-Ehrhard #correctness #proving
A new correctness criterion for MLL proof nets (TE), p. 10.
LICSLICS-CSL-2014-HeijltjesH #equivalence #proving
No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete (WH, RH), p. 10.
LICSLICS-CSL-2014-Perrinel #interactive #on the #semantics
On context semantics and interaction nets (MP), p. 10.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-2013-IordacheWZA #design #performance #petri net #specification
Efficient design of Petri-net supervisors with disjunctive specifications (MVI, PW, FZ, PJA), pp. 936–941.
CASECASE-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.
CASECASE-2013-WuCY #analysis #policy #reachability
A control policy for γ-nets without reachability analysis and siphon enumeration (WW, DYC, FY), pp. 1133–1138.
CASECASE-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.
CASECASE-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.
STOCSTOC-2013-Har-PeledR #algorithm #distance #linear #problem
Net and prune: a linear time algorithm for euclidean distance problems (SHP, BAR), pp. 605–614.
CHICHI-2013-BrownMR #interactive #multi #named #network
MultiNet: reducing interaction overhead in domestic wireless networks (AB, RM, TR), pp. 1569–1578.
CAiSECAiSE-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.
ICEISICEIS-v2-2013-JridiL #adaptation #semantics #standard #web
Adapting RosettaNet B2B Standard to Semantic Web Technologies (JEJ, GL), pp. 443–450.
ECIRECIR-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.
SEKESEKE-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.
SEKESEKE-2013-DingXG #approach #petri net #specification
An Approach for Analyzing Software Specifications in Petri Nets (JD, DX, JG), pp. 411–416.
SACSAC-2013-SoleC #algorithm
Amending C-net discovery algorithms (MS, JC), pp. 1418–1425.
LICSLICS-2013-HofmanMT #decidability #simulation
Decidability of Weak Simulation on One-Counter Nets (PH, RM, PT), pp. 203–212.
WICSA-ECSAWICSA-ECSA-2012-ChristensenH #ecosystem #named #towards
Net4Care: Towards a Mission-Critical Software Ecosystem (HBC, KMH), pp. 224–228.
CASECASE-2012-HouLZ #on the #petri net
On iterative liveness-enforcement for a class of generalized Petri nets (YH, DL, MZ), pp. 188–193.
CASECASE-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.
CASECASE-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.
CASECASE-2012-WikborgL #multi #petri net #problem #scheduling
Scheduling of Petri nets as a multi-objective shortest path problem (UW, TEL), pp. 212–217.
FoSSaCSFoSSaCS-2012-GlabbeekGS #on the #petri net
On Distributability of Petri Nets — (Extended Abstract) (RJvG, UG, JWSU), pp. 331–345.
TACASTACAS-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.
ICSMEICSM-2012-ChaikalisMC #analysis #evolution #named #network
SEANets: Software evolution analysis with networks (TC, GM, AC), pp. 634–637.
WCREWCRE-2012-Al-OmariKRR #detection #dot-net #programming language
Detecting Clones Across Microsoft .NET Programming Languages (FAO, IK, CKR, JR), pp. 405–414.
ICALPICALP-v1-2012-ShiW #optimisation
Epsilon-Net Method for Optimizations over Separable States (YS, XW), pp. 798–809.
LATALATA-2012-CiobanuP #petri net
Catalytic Petri Nets Are Turing Complete (GC, GMP), pp. 192–203.
GT-VMTGT-VMT-2012-GabrielLE #algebra #approach #petri net
Algebraic Approach to Timed Petri Nets (KG, PL, CE).
CIKMCIKM-2012-MoroN #named #network #semantics
WiSeNet: building a wikipedia-based semantic network with ontologized relations (AM, RN), pp. 1672–1676.
CIKMCIKM-2012-QuanzH #generative #learning #multi #named
CoNet: feature generation for multi-view semi-supervised learning with partially observed views (BQ, JH), pp. 1273–1282.
ICMLICML-2012-KarbasiIM #learning #rank
Comparison-Based Learning with Rank Nets (AK, SI, LM), p. 161.
ICPRICPR-2012-JoshiDGBP #analysis #classification
Neural-net classification for spatio-temporal descriptor based depression analysis (JJ, AD, RG, MB, GP), pp. 2634–2638.
SEKESEKE-2012-BouchenebB #parametricity #verification #workflow
Parametric Verification of TimeWorkflow Nets (HB, KB), pp. 375–380.
SEKESEKE-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.
SEKESEKE-2012-FitchX #fault tolerance #petri net
A Petri Net Model for Secure and Fault-Tolerant Cloud-Based Information Storage (DFF, HX), pp. 333–339.
SEKESEKE-2012-GaoHYZS #collaboration #design
A Data Collaboration Model for Collaborative Design Based on C-Net (XG, WH, WY, SZ, XS), pp. 541–544.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2012-WangL #analysis #approach #modelling #petri net #workflow
Resource Modeling and Analysis for Workflows: A Petri Net Approach (JW, DL), pp. 381–386.
SEKESEKE-2012-XuT #automation #concurrent #generative
Automated Generation of Concurrent Test Code from Function Nets (DX, JT), pp. 346–351.
SIGIRSIGIR-2012-ShuklaLT #using
Parallelizing ListNet training using spark (SS, ML, AT), pp. 1127–1128.
ECMFAECMFA-2012-WinklerFGM #performance
BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer (UW, MF, WG, AM), pp. 416–427.
SACSAC-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.
ICSEICSE-2012-Camilli #analysis #in the cloud #petri net
Petri nets state space analysis in the cloud (MC), pp. 1638–1640.
LICSLICS-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.
CASECASE-2011-Aguayo-LaraRR #invariant #petri net
Invariant subspaces and sensor placement for observability in Continuous Timed Petri Nets (EAL, ART, JJRL), pp. 607–612.
CASECASE-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.
CASECASE-2011-Bonhomme #petri net #realtime #scheduling
A symbolic schedulability technique of real-time systems modeled by P-Time Petri nets (PB), pp. 582–587.
CASECASE-2011-CabasinoGSSZ #fault #petri net #using
Fault diagnosis of an ABS system using Petri nets (MPC, AG, CS, AS, KZ), pp. 594–599.
CASECASE-2011-CordoneP #monitoring #optimisation #petri net
Monitor optimization in Petri net control (RC, LP), pp. 413–418.
CASECASE-2011-DotoliFI #first-order #hybrid #petri net
A freeway traffic control model by first order hybrid Petri nets (MD, MPF, GI), pp. 425–431.
CASECASE-2011-GhomriA #hybrid #petri net #using
Continuous flow systems and control methodology using Hybrid Petri nets (LG, HA), pp. 419–424.
CASECASE-2011-WangZW #petri net
Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets (SW, MZ, CW), pp. 399–404.
DATEDATE-2011-BiKVSM #analysis #performance #statistics
Fast statistical analysis of RC nets subject to manufacturing variabilities (YB, KJvdK, JFV, LMS, NvdM), pp. 31–37.
ICDARICDAR-2011-MeierCGS #recognition
Better Digit Recognition with a Committee of Simple Neural Nets (UM, DCC, LMG, JS), pp. 1250–1254.
SIGMODSIGMOD-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.
VLDBVLDB-2011-LiYZXL #named
InfoNetOLAPer: Integrating InfoNetWarehouse and InfoNetCube with InfoNetOLAP (CL, PSY, LZ, YX, WL), pp. 1422–1425.
TACASTACAS-2011-WimmelW #equation #petri net
Applying CEGAR to the Petri Net State Equation (HW, KW), pp. 224–238.
WCREWCRE-2011-LammelLPV #dot-net #framework
A Framework Profile of .NET (RL, RL, EP, AV), pp. 141–150.
AFLAFL-2011-Kunimochi #algebra #morphism #petri net
Algebraic Properties of Petri Net Morphisms based on Place Connectivity (YK), pp. 270–284.
SEFMSEFM-2011-MuscheviciPC #composition #modelling #product line
Modular Modelling of Software Product Lines with Feature Nets (RM, JP, DC), pp. 318–333.
AGTIVEAGTIVE-2011-ErmlerKKT #graph transformation
From Graph Transformation Units via MiniSat to GrGen.NET (ME, HJK, SK, CvT), pp. 153–168.
HCIHCD-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.
ICEISICEIS-v1-2011-ZhangYZ #modelling #petri net #research #workflow
Research on Workflow Modeling based on Coloured Petri Net (LZ, JY, YZ), pp. 423–426.
ICEISICEIS-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.
CIKMCIKM-2011-AwadallahRW #comprehension #named #network #topic
OpinioNetIt: understanding the opinions-people network for politically controversial topics (RA, MR, GW), pp. 2481–2484.
KEODKEOD-2011-MohtassebAAC #ontology
PsychoNet 2 — Contextualized and Enriched Psycholinguistic Commonsense Ontology (HM, AA, AA, DC), pp. 339–343.
KEODKEOD-2011-Rios-AlvaradoLS #taxonomy #using #web
Structuring Taxonomies by using Linguistic Patterns and WordNet on Web Search (ABRA, ILA, VSS), pp. 273–278.
SEKESEKE-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.
SEKESEKE-2011-LiuL #analysis #parallel #petri net #pointer #thread
Multithreaded Pointer Analysis Based on Petri Net (FL, BL), pp. 127–130.
SEKESEKE-2011-LiuWBZ #semantics #similarity
A WordNet-based Semantic Similarity Measure Enhanced by Internet-based Knowledge (GL, RW, JB, HMZ), pp. 175–178.
SEKESEKE-2011-LiuZH #modelling #petri net #pipes and filters
PIPE+ — A Modeling Tool for High Level Petri Nets (SL, RZ, XH), pp. 115–121.
SEKESEKE-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.
SIGIRSIGIR-2011-WangZ #e-commerce #recommendation
Utilizing marginal net utility for recommendation in e-commerce (JW, YZ), pp. 1003–1012.
QAPLQAPL-2011-AmanC #petri net
Time Delays in Membrane Systems and Petri Nets (BA, GC), pp. 47–60.
SACSAC-2011-LiuWYL #modelling #protocol #scalability
Scalable CP-nets modeling for BitTorrent protocol (JL, HW, XY, JL), pp. 542–543.
SACSAC-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.
LICSLICS-2011-AbdullaM #petri net
Computing Optimal Coverability Costs in Priced Timed Petri Nets (PAA, RM), pp. 399–408.
LICSLICS-2011-Heijltjes #linear #logic #proving
Proof Nets for Additive Linear Logic with Units (WH), pp. 207–216.
VMCAIVMCAI-2011-FrohardtCS #modelling #physics
Access Nets: Modeling Access to Physical Spaces (RF, BYEC, SS), pp. 184–198.
CASECASE-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.
CASECASE-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.
DATEDATE-2010-BraunBLR #interface #specification #verification
Simulation-based verification of the MOST NetInterface specification revision 3.0 (AB, OB, DL, WR), pp. 538–543.
DATEDATE-2010-Jerger #named
SigNet: Network-on-chip filtering for coarse vector directories (NDEJ), pp. 1378–1383.
DATEDATE-2010-YangCZH #multi #satisfiability
SAT based multi-net rip-up-and-reroute for manufacturing hotspot removal (FY, YC, QZ, JH), pp. 1369–1372.
VLDBVLDB-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.
ITiCSEITiCSE-2010-DukielskaS #distributed #programming
JavaSpaces NetBeans: a linda workbench for distributed programming course (MD, JS), pp. 23–27.
TACASTACAS-2010-BuchsHMR #algebra #named #petri net
AlPiNA: An Algebraic Petri Net Analyzer (DB, SH, AM, MR), pp. 349–352.
ICPCICPC-2010-FalleriHLNPD #automation #identifier #network
Automatic Extraction of a WordNet-Like Identifier Network from Software (JRF, MH, ML, CN, VP, MD), pp. 4–13.
ICALPICALP-v2-2010-HabermehlMW #petri net
The Downward-Closure of Petri Net Languages (PH, RM, HW), pp. 466–477.
LATALATA-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-VMTGT-VMT-2010-HassanMS #automaton #interactive #lightweight
A lightweight abstract machine for interaction nets (AH, IM, SS).
GT-VMTGT-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).
ICGTICGT-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.
ICGTICGT-2010-Jiresch #interactive
Realizing Impure Functions in Interaction Nets (EJ), pp. 394–396.
ICGTICGT-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.
CHICHI-2010-FreirePSG #analysis #interface #multi #named #network #visualisation
ManyNets: an interface for multiple network analysis and visualization (MF, CP, BS, JG), pp. 213–222.
CHICHI-2010-MaFC #named
SoundNet: investigating a language composed of environmental sounds (XM, CF, PRC), pp. 1945–1954.
ICEISICEIS-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.
ICEISICEIS-ISAS-2010-KikuchiMAM #mining #process
Process Mining for Job Nets in Integrated Complex Computer Systems (SK, YM, MA, SM), pp. 5–12.
ICEISICEIS-J-2010-KikuchiMAM10a #enterprise #mining #process
Process Mining for Job Nets in Integrated Enterprise Systems (SK, YM, MA, SM), pp. 299–310.
ICMLICML-2010-LiPSG #learning #parametricity
Budgeted Distribution Learning of Belief Net Parameters (LL, BP, CS, RG), pp. 879–886.
ICPRICPR-2010-CamposZJ
An Improved Structural EM to Learn Dynamic Bayesian Nets (CPdC, ZZ, QJ), pp. 601–604.
ICPRICPR-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.
KEODKEOD-2010-MohtassebA #named #ontology
PsychoNet — A Psycholinguistc Commonsense Ontology (HM, AA), pp. 159–164.
KRKR-2010-LiVK #approach #performance
An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets (ML, QBV, RK).
SEKESEKE-2010-Radlinski #development #predict #quality #using
Software Development Effort and Quality Prediction Using Bayesian Nets and small Local Qualitative Data (LR), pp. 113–116.
SEKESEKE-2010-WangHW #analysis #petri net #process
A Hierarchical Timed Coloured Petri Nets for BPMN-based Process Analysis (CHW, PSH, FJW), pp. 417–420.
SIGIRSIGIR-2010-GoharianM #classification #query #using
Context aware query classification using dynamic query window and relationship net (NG, SSRM), pp. 723–724.
ECMFAECMFA-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.
ICSEICSE-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.
CAVCAV-2010-MeyerS #named #network
Petruchio: From Dynamic Networks to Nets (RM, TS), pp. 175–179.
CSLCSL-2010-Pous #algebra #linear #logic #proving
Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic (DP), pp. 484–498.
ASEASE-2009-WimmerKSKRS #debugging #petri net #qvt
A Petri Net Based Debugging Environment for QVT Relations (MW, GK, JS, AK, WR, WS), pp. 3–14.
CASECASE-2009-BasileCG #petri net
A control oriented model of generalized warehouses based on Colored Timed Petri Nets (FB, PC, DDG), pp. 48–53.
CASECASE-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.
CASECASE-2009-DotoliFMU #fault #framework #online #petri net
On-line fault diagnosis in a Petri Net framework (MD, MPF, AMM, WU), pp. 42–47.
CASECASE-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.
CASECASE-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.
HTHT-2009-Mazali #case study
ZEXE.NET, a case study of video-moblog (TM), pp. 381–382.
FoSSaCSFoSSaCS-2009-AbdullaM #low cost #petri net #reachability
Minimal Cost Reachability/Coverability in Priced Timed Petri Nets (PAA, RM), pp. 348–363.
TACASTACAS-2009-BrughNR #dot-net #named #source code #verification
MoonWalker: Verification of .NET Programs (NHMAdB, VYN, TCR), pp. 170–173.
TACASTACAS-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.
TACASTACAS-2009-NaumovichBG #bound #named #performance #petri net
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets (EPN, SB, MG), pp. 50–53.
CSMRCSMR-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.
STOCSTOC-2009-AronovES
Small-size epsilon-nets for axis-parallel rectangles and boxes (BA, EE, MS), pp. 639–648.
STOCSTOC-2009-RabaniS #linear
Explicit construction of a small epsilon-net for linear threshold functions (YR, AS), pp. 649–658.
CIAACIAA-J-2008-Yen09 #composition #petri net
Path Decomposition and Semilinearity of Petri Nets (HCY), pp. 581–596.
DLTDLT-2009-Zetzsche #matrix #petri net
Erasing in Petri Net Languages and Matrix Grammars (GZ), pp. 490–501.
LATALATA-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.
LATALATA-2009-DassowT #petri net
Grammars Controlled by Special Petri Nets (JD, ST), pp. 326–337.
FMFM-2009-Eshuis #petri net
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way (RE), pp. 239–255.
IFMIFM-2009-Rakow #petri net #reduction
Decompositional Petri Net Reductions (AR), pp. 352–366.
AdaEuropeAdaEurope-2009-ChoppyBC #petri net #recognition
Coloured Petri Nets for Chronicle Recognition (CC, OB, PC), pp. 266–281.
AdaSIGAda-2009-Brosgol #c# #dot-net #framework
An introduction to the C# language and .NET infrastructure (BB), pp. 3–4.
EDOCEDOC-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–?.
ICEISICEIS-ISAS-2009-WangWWL #canonical #modelling #process
Deriving Canonical Business Object Operation Nets from Process Models (ZW, JW, LW, YL), pp. 182–187.
ICEISICEIS-ISAS-2009-ZhangR #petri net #process
A Petri Net Model of Process Platform-based Production Configuration (LLZ, BR), pp. 5–12.
ECIRECIR-2009-MissenB #detection #semantics #using
Using WordNet’s Semantic Relations for Opinion Detection in Blogs (MMSM, MB), pp. 729–733.
MODELSMoDELS-2009-LaraG #petri net #qvt
Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.
MODELSMoDELS-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.
MODELSMoDELS-2009-LaraG #petri net #qvt
Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.
MODELSMoDELS-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.
SACSAC-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.
CSLCSL-2009-Tranquilli #confluence #difference
Confluence of Pure Differential Nets with Promotion (PT), pp. 500–514.
RTARTA-2009-Falco #framework #interactive
An Explicit Framework for Interaction Nets (MdF), pp. 209–223.
FATESTestCom-FATES-2009-BochmannJ #petri net #testing
Testing k-Safe Petri Nets (GvB, GVJ), pp. 33–48.
TLCATLCA-2009-Pagani #difference #theorem
The Cut-Elimination Theorem for Differential Nets with Promotion (MP), pp. 219–233.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-2008-Tang #adaptation #modelling #petri net
Unified Colored Timed Petri net models for the adaptive control of disassembly systems (YT), pp. 638–643.
CASECASE-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.
DACDAC-2008-JiangSC #design #scalability
Routability-driven analytical placement by net overlapping removal for large-scale mixed-size designs (ZWJ, BYS, YWC), pp. 167–172.
DATEDATE-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2008-SunWYCHYZ #mining #named #network
BibNetMiner: mining bibliographic information networks (YS, TW, ZY, HC, JH, XY, PZ), pp. 1341–1344.
VLDBVLDB-2008-CurtmolaDLRSY #community #named
XTreeNet: democratic community search (EC, AD, DL, KKR, DS, KY), pp. 1448–1451.
CSEETCSEET-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.
CSMRCSMR-2008-GregersenJ
Module Reload through Dynamic Update — The Case of NetBeans (ARG, BNJ), pp. 23–32.
CIAACIAA-2008-Yen #concurrent #petri net
Concurrency, Synchronization, and Conflicts in Petri Nets (HCY), pp. 33–35.
LATALATA-2008-DassowT #petri net
k-Petri Net Controlled Grammars (JD, ST), pp. 209–220.
SFMSFM-2008-HeinerGD #biology #petri net
Petri Nets for Systems and Synthetic Biology (MH, DRG, RD), pp. 215–264.
IFLIFL-2008-GrelckP #architecture #implementation #parallel #runtime #thread
Implementation Architecture and Multithreaded Runtime System of S-Net (CG, FP), pp. 60–79.
IFLIFL-2008-Mackie #implementation #interactive #reduction
An Interaction Net Implementation of Closed Reduction (IM), pp. 43–59.
GT-VMTGT-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-VMTGT-VMT-2008-HassanMS #design #implementation #interactive #programming language
Interaction nets: programming language design and implementation (AH, IM, SS).
ICGTICGT-2008-BaldanCEK #composition #nondeterminism #petri net #process
Open Petri Nets: Non-deterministic Processes and Compositionality (PB, AC, HE, BK), pp. 257–273.
AdaEuropeAdaEurope-2008-CarnevaliGV #formal method #petri net
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets (LC, LG, EV), pp. 87–100.
AdaEuropeAdaEurope-2008-ChoppyPR #approach #modelling #petri net
A Modelling Approach with Coloured Petri Nets (CC, LP, GR), pp. 73–86.
CAiSECAiSE-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.
EDOCEDOC-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.
ICEISICEIS-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.
ICPRICPR-2008-SchenkR #online #recognition
Neural net vector quantizers for discrete HMM-based on-line handwritten whiteboard-note recognition (JS, GR), pp. 1–4.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2008-QayyumO #architecture #dot-net
.NET Extensions to the p-architecture Description Languages (ZQ, FO), pp. 244–249.
ECMFAECMDA-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.
OOPSLAOOPSLA-2008-FerraraLF #dot-net
Safer unsafe code for .NET (PF, FL, MF), pp. 329–346.
RERE-2008-WolterSBK #requirements #reuse #specification
Reusing Terminology for Requirements Specifications from WordNet (KW, MS, DB, HK), pp. 325–326.
SACSAC-2008-HallerGK #ontology #towards
Towards a complete SCM ontology: the case of ontologising RosettaNet (AH, JG, PK), pp. 1467–1473.
SACSAC-2008-SaffarianM #algorithm #novel #protocol
A novel protocol to prevent malicious nodes from misdirecting forward ants in AntNet algorithm (MS, MCM), pp. 1849–1853.
SACSAC-2008-XuWQ #modelling #using #verification
Modeling and verifying BPEL using synchronized net (CX, HW, WQ), pp. 2358–2362.
ISSTAISSTA-2008-PachecoLB #dot-net #fault #random testing #testing
Finding errors in .net with feedback-directed random testing (CP, SKL, TB), pp. 87–96.
LICSLICS-2008-Falco #difference #geometry #interactive
The Geometry of Interaction of Differential Interaction Nets (MdF), pp. 465–475.
LICSLICS-2008-LaurentM #proving
Cut Elimination for Monomial MALL Proof Nets (OL, RM), pp. 486–497.
TAPTAP-2008-TillmannH #dot-net #generative #testing
Pex-White Box Test Generation for .NET (NT, JdH), pp. 134–153.
CASECASE-2007-BasileGS #distributed #monitoring #petri net
Decentralized Supervisory Control of Petri Nets with Monitor Places (FB, AG, CS), pp. 7–13.
CASECASE-2007-CabasinoGMRSS #estimation #petri net
State Estimation of Petri Nets by Transformation (MPC, AG, CM, LR, CS, MS), pp. 194–199.
CASECASE-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.
CASECASE-2007-Gonzalez-CastoloL #approximate #fuzzy #petri net #using
Approximating State of DES Using Fuzzy Timed Petri Nets (JCGC, ELM), pp. 722–728.
CASECASE-2007-HajiD #configuration management #petri net #project management
Petri Net based Supervisory Control Reconfiguration of Project Management Systems (MH, HD), pp. 460–465.
CASECASE-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.
CASECASE-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.
CASECASE-2007-Ruiz-BeltranRLA #modelling #petri net
A Structural Characterization of Diagnosable Petri Net Models (ERB, ART, ELM, JAL), pp. 1137–1142.
CASECASE-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.
CASECASE-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.
HTHT-2007-EbersbachG #wiki
Wiki literacy: sandbox knowledge for the net (AE, MG), pp. 53–54.
SIGMODSIGMOD-2007-AdyaBMM #framework
Anatomy of the ADO.NET entity framework (AA, JAB, SM, SM), pp. 877–888.
SIGMODSIGMOD-2007-CastroMA #abstraction #framework #programming
ADO.NET entity framework: raising the level of abstraction in data programming (PC, SM, AA), pp. 1070–1072.
TACASTACAS-2007-DAprileDSS #approach #automaton #petri net
From Time Petri Nets to Timed Automata: An Untimed Approach (DD, SD, AS, JS), pp. 216–230.
SFMSFM-2007-Balbo #petri net #probability
Introduction to Generalized Stochastic Petri Nets (GB), pp. 83–131.
AGTIVEAGTIVE-2007-GeissK #graph grammar #performance
GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool (RG, MK), pp. 568–569.
GT-VMTGT-VMT-2007-MackiePV #interactive #programming #recursion #visual notation
Visual Programming with Recursion Patterns in Interaction Nets (IM, JSP, MV).
HCIDHM-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
SEKESEKE-2007-SadjadiT #dot-net
TRAP.NET: A Realization of Transparent Shaping in .NET (SMS, FT), pp. 19–24.
ECOOPECOOP-2007-CabralM #case study #dot-net #exception #java
Exception Handling: A Field Study in Java and .NET (BC, PM), pp. 151–175.
SACSAC-2007-BistarelliFP #using
Using CP-nets as a guide for countermeasure selection (SB, FF, PP), pp. 300–304.
SACSAC-2007-HallerKVO
Handling heterogeneity in RosettaNet messages (AH, PK, TV, EO), pp. 1368–1374.
SACSAC-2007-HuangW #petri net #semantics #web #web service
A petri net semantics for web service choreography (YH, HW), pp. 1689–1690.
SACSAC-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.
SACSAC-2007-PaliwalAB #distributed #using #verification #web #web service
Web service orchestration and verification using MSC and CP nets (AVP, NRA, CB), pp. 1693–1694.
SACSAC-2007-YuSZX #graph #named #semantics #web #web service
SNet: skip graph based semantic web services discovery (JY, HS, GZ, KX), pp. 1393–1397.
TLCATLCA-2007-Baillot #linear #logic #polynomial #type system
From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing (PB), pp. 2–7.
CASECASE-2006-GuoLX #modelling #on the #petri net #using
On Modeling a Soccer Robot System Using Petri Nets (BG, ZL, SX), pp. 460–465.
CASECASE-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.
CASECASE-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.
CASECASE-2006-RecaldeMS #analysis #petri net #simulation
Improving analysis and simulation of continuous Petri Nets (LR, CM, MS), pp. 9–14.
CASECASE-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.
DACDAC-2006-HuLHL #network
Steiner network construction for timing critical nets (SH, QL, JH, PL), pp. 379–384.
DATEDATE-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.
SIGMODSIGMOD-2006-MeijerBB #dot-net #framework #named #xml
LINQ: reconciling object, relations and XML in the .NET framework (EM, BB, GMB), p. 706.
ITiCSEITiCSE-2006-AssuncaoO #dot-net #education #framework #using #web #web service
Teaching web services using .NET platform (LA, ALO), p. 339.
ESOPESOP-2006-Fruja #dot-net #runtime #type safety
Type Safety of Generics for the .NET Common Language Runtime (NGF), pp. 325–341.
FoSSaCSFoSSaCS-2006-BaldanHK #distributed #petri net
Distributed Unfolding of Petri Nets (PB, SH, BK), pp. 126–141.
ICSMEICSM-2006-Sneed #migration #testing
Selective Regression Testing of a Host to DotNet Migration (HMS), pp. 104–112.
STOCSTOC-2006-Clarkson #using
Building triangulations using epsilon-nets (KLC), pp. 326–335.
ICALPICALP-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.
ICALPICALP-v2-2006-WikstromG #adaptation
An Adaptively Secure Mix-Net Without Erasures (DW, JG), pp. 276–287.
ICGTICGT-2006-VarroVEPT #analysis #model transformation #petri net #termination
Termination Analysis of Model Transformations by Petri Nets (DV, SVG, HE, UP, GT), pp. 260–274.
CHICHI-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.
EDOCEDOC-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.
EDOCEDOC-2006-Renner #information management
Net-Centric Information Management (SR), pp. 265–273.
ICEISICEIS-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.
ICEISICEIS-AIDSS-2006-ThuD #predict #risk management #using
Predicting Cardiovascular Risks — Using POSSUM, PPOSSUM and Neural Net Techniques (TNTT, DND), pp. 230–234.
ICEISICEIS-ISAS-2006-BokhariP #information management #petri net #using #validation
Validation of Information Systems Using Petri Nets (AB, WFSP), pp. 284–289.
ICEISICEIS-SAIC-2006-KohlerMO #approach #composition #petri net
Dynamic Service Composition: A Petri-Net Based Approach (MK, DM, JO), pp. 159–165.
ICPRICPR-v4-2006-FengL #clustering #graph #self
Self-Validated and Spatially Coherent Clustering with Net-Structured MRF and Graph Cuts (WF, ZQL), pp. 37–40.
ICPRICPR-v4-2006-Garcia-PerezMBB #image #retrieval #using
Object-Based Image Retrieval Using Active Nets (DGP, AMG, SB, ADB), pp. 750–753.
ICPRICPR-v4-2006-TodorovicA #3d #classification #segmentation #using
3D Texture Classification Using the Belief Net of a Segmentation Tree (ST, NA), pp. 33–36.
SEKESEKE-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.
SEKESEKE-2006-HuangH #modelling #object-oriented
A Method for Modeling Object-Oriented Systems with PZ nets (YH, XH), pp. 456–462.
LCTESLCTES-2006-Martonosi #case study #deployment #embedded #experience #hardware
Embedded systems in the wild: ZebraNet software, hardware, and deployment experiences (MM), p. 1.
CBSECBSE-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.
CASECASE-2005-CastelnuovoFP #approach #incremental #modelling #petri net #sequence
An incremental Petri net approach to production sequence modeling (AC, LF, LP), pp. 333–338.
CASECASE-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.
CASECASE-2005-TsinarakisTV #hybrid #multi #petri net
Studying multi-assembly machine production systems with hybrid timed Petri nets (GJT, NT, KPV), pp. 327–332.
DACDAC-2005-GoplenSS
Net weighting to reduce repeater counts during placement (BG, PS, SSS), pp. 503–508.
ICDARICDAR-2005-HadjarI #logic #using
Logical Labeling of Arabic Newspapers using Artificial Neural Nets (KH, RI), pp. 426–431.
VLDBVLDB-2005-CormodeG #approximate #distributed #query #sketching
Sketching Streams Through the Net: Distributed Approximate Query Tracking (GC, MNG), pp. 13–24.
ITiCSEITiCSE-2005-CrescenziGI #ide #network #protocol #visualisation
NetPrIDE an integrated environment for developing and visualizing computer network protocols (PC, GG, GI), pp. 306–310.
ITiCSEITiCSE-2005-GellerS #c# #dot-net
Traditional and more “exotic” .NET languages: VB .NET, J#, C# and SML .NET (VG, CS), p. 406.
ITiCSEITiCSE-2005-Guimaraes #database #dot-net #framework #using
Constructing database applications for PDA using the .NET framework (MG), p. 417.
FoSSaCSFoSSaCS-2005-AbbesB #branch #probability
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications (SA, AB), pp. 95–109.
SEFMSEFM-2005-KuehnLE #petri net
A Proposal For Relative Time Petri Nets (JK, CL, RE), pp. 240–249.
SEFMSEFM-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.
IFLIFL-2005-Mackie #encoding #interactive #λ-calculus
Encoding Strategies in the λ Calculus with Interaction Nets (IM), pp. 19–36.
CAiSECAiSE-2005-DongenAV #petri net #reduction #using #verification
Verification of EPCs: Using Reduction Rules and Petri Nets (BFvD, WMPvdA, HMWV), pp. 372–386.
EDOCEDOC-2005-Abd-AliG #dot-net #metamodelling
An MDA-Oriented .NET Metamodel (JAA, KEG), pp. 142–156.
ECIRECIR-2005-ShaoW #named
BuddyNet: History-Based P2P Search (YS, RYW), pp. 23–37.
SEKESEKE-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.
SACSAC-2005-BoninoCP #automation #concept #learning #network
Automatic learning of text-to-concept mappings exploiting WordNet-like lexical networks (DB, FC, FP), pp. 1639–1644.
SACSAC-2005-CabralMS #dot-net #named
RAIL: code instrumentation for .NET (BC, PM, LMS), pp. 1282–1287.
SACSAC-2005-TarauMF #documentation #rank #semantics
Semantic document engineering with WordNet and PageRank (PT, RM, EF), pp. 782–786.
SACSAC-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.
GTTSEGTTSE-2005-AndradeGAEK #dot-net #migration #named
Forms2Net — Migrating Oracle Forms to Microsoft .NET (LFA, JG, MA, MER, GK), pp. 261–277.
ICSEICSE-2005-GortonL #architecture #dot-net #enterprise #integration
An architects guide to enterprise application integration with J2EE and .NET (IG, AL), pp. 726–727.
CAVCAV-2005-GardeyLMR #named #petri net
Romeo: A Tool for Analyzing Time Petri Nets (GG, DL, MM, OHR), pp. 418–423.
CSLCSL-2005-CurienF
L-Nets, Strategies and Proof-Nets (PLC, CF), pp. 167–183.
LICSLICS-2005-FaggianM #concurrent #game studies #interactive
Ludics Nets, a game Model of Concurrent Interaction (CF, FM), pp. 376–385.
TLCATLCA-2005-Sinot #call-by #interactive
Call-by-Name and Call-by-Value as Token-Passing Interaction Nets (FRS), pp. 386–400.
WICSAWICSA-2004-PettitG #architecture #behaviour #concurrent #modelling #petri net #using
Modeling Behavioral Patterns of Concurrent Software Architectures Using Petri Nets (RGPI, HG), pp. 57–68.
DATEDATE-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.
DATEDATE-v2-2004-MinzPL #3d
Net and Pin Distribution for 3D Package Global Routing (JRM, MP, SKL), pp. 1410–1411.
SIGMODSIGMOD-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.
VLDBVLDB-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.
FASEFASE-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.
CSMRCSMR-2004-MoiseWS #dot-net #reverse engineering #visual notation
Integrating a Reverse Engineering Tool with Microsoft Visual Studio .NET (DLM, KW, DS), pp. 85–94.
IFMIFM-2004-ThanhK #composition #modelling #object-oriented #petri net
Object-Oriented Modelling with High-Level Modular Petri Nets (CBT, HK), pp. 287–306.
SEFMSEFM-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.
SFMSFM-2004-BihlerV #performance #petri net
Timed Petri Nets: Efficiency of Asynchronous Systems (EB, WV), pp. 25–58.
IFLIFL-2004-BentonKLR #reduction
Shrinking Reductions in SML.NET (NB, AK, SL, CVR), pp. 142–159.
ICEISICEIS-v3-2004-Salimifard #component #modelling #petri net #using
Component-Based Modelling of Organisational Resources Using Coloured Petri Nets (KS), pp. 577–580.
ICEISICEIS-v4-2004-JahankhaniY #e-commerce #framework
Underlying Platform of the E-Commerce System: J2EE vs. NET (HJ, MY), pp. 250–257.
ECIRECIR-2004-CloughS04a #ambiguity #information retrieval #using #word
Cross-Language Information Retrieval Using EuroWordNet and Word Sense Disambiguation (PDC, MS), pp. 327–337.
ICMLICML-2004-GoldenbergM #learning #scalability
Tractable learning of large Bayes net structures from sparse data (AG, AWM).
SEKESEKE-2004-HuS #diagrams #petri net #simulation #uml
Mapping UML Diagrams to a Petri Net Notation for System Simulation (ZH, SMS), pp. 213–219.
SIGIRSIGIR-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.
GPCEGPCE-2004-CepaM #dependence #dot-net
Declaring and Enforcing Dependencies Between .NET Custom Attributes (VC, MM), pp. 283–297.
GPCEGPCE-2004-JacksonC #aspect-oriented #programming
SourceWeave.NET: Cross-Language Aspect-Oriented Programming (AJ, SC), pp. 115–135.
PPDPPPDP-2004-BentonKR #experience
Adventures in interoperability: the SML.NET experience (NB, AK, CVR), pp. 215–226.
PPDPPPDP-2004-FarwerL #model checking #petri net #prolog
Model checking object petri nets in prolog (BF, ML), pp. 20–31.
POPLPOPL-2004-YuKS #dot-net #formal method #runtime
Formalization of generics for the .NET common language runtime (DY, AK, DS), pp. 39–51.
SACSAC-2004-KayssiE #named #network #realtime
EmuNET: a real-time network emulator (AIK, AEHM), pp. 357–362.
SACSAC-2004-KusumuraHN #mining
Text mining agent for net auction (YK, YH, SN), pp. 1095–1102.
SACSAC-2004-XueguangH #contract #protocol
Further extensions of FIPA Contract Net Protocol: threshold plus DoA (XC, HS), pp. 45–51.
HPDCHPDC-2004-GuNY #composition #framework #named #peer-to-peer
SpiderNet: An Integrated Peer-to-Peer Service Composition Framework (XG, KN, BY), pp. 110–119.
HPDCHPDC-2004-WassonBMH #dot-net
WS-ResourceFramework on .NET (GSW, NB, MMM, MH), pp. 258–259.
LCTESLCTES-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.
CAVCAV-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.
CSLCSL-2004-StrassburgerL #linear #logic #multi #on the #proving
On Proof Nets for Multiplicative Linear Logic with Units (LS, FL), pp. 145–159.
LICSLICS-2004-Terui #proving
Proof Nets and Boolean Circuits (KT), pp. 182–191.
RTARTA-2004-Mackie #interactive #performance
Efficient λ-Evaluation with Interaction Nets (IM), pp. 155–169.
DACDAC-2003-HurCRPCTH #constraints #physics
Force directed mongrel with physical net constraints (SWH, TC, KR, YP, AC, VT, BH), pp. 214–219.
ICDARICDAR-2003-AndersenZ #documentation #identification
Features for Neural Net Based Region Identification of Newspaper Documents (TLA, WZ), pp. 403–407.
SIGMODSIGMOD-2003-DeshpandeNGS03a #named
IrisNet: Internet-scale Resource-Intensive Sensor Services (AD, SN, PBG, SS), p. 667.
VLDBVLDB-2003-NathDKGKS #architecture #named
IrisNet: An Architecture for Internet-scale Sensing Services (SN, AD, YK, PBG, BK, SS), pp. 1137–1140.
TACASTACAS-2003-BerthomieuV #analysis #branch #petri net
State Class Constructions for Branching Analysis of Time Petri Nets (BB, FV), pp. 442–457.
TACASTACAS-2003-KhomenkoK #branch #petri net #process
Branching Processes of High-Level Petri Nets (VK, MK), pp. 458–472.
TACASTACAS-2003-Schmidt #invariant #petri net #using
Using Petri Net Invariants in State Space Construction (KS0), pp. 473–488.
AdaEuropeAdaEurope-2003-AlvesJH #ada #xml
The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project (MAA, AJ, MH), pp. 196–207.
AdaSIGAda-2003-HumphriesCW #ada #dot-net #multi #programming
Multilanguage programming with ada in the .Net environment (JWH, MCC, TAW), pp. 1–3.
ICEISICEIS-v1-2003-GhomariD #approach #multi #petri net #towards
Towards a Timed-Petri Net Based Approach for Multimedia Scenario Synchronization (AG, CD), pp. 267–272.
ICEISICEIS-v2-2003-SmirnovPLC #constraints #contract #protocol
Constraint-Based Contract Net Protocol (AVS, MP, TL, NC), pp. 549–556.
ICEISICEIS-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.
ICEISICEIS-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.
SEKESEKE-2003-DongFH #diagrams #statechart
Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams (ZD, YF, XH), pp. 150–157.
SEKESEKE-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.
GPCEGPCE-2003-ZiaeiA #coordination #distributed #named #petri net
SynchNet: A Petri Net Based Coordination Language for Distributed Objects (RZ, GA), pp. 324–343.
ICSEICSE-2003-WeisUG #corba #quality #uml
Quality of Service Engineering with UML, .NET, and CORBA (TW, AU, KG), pp. 759–761.
CSLCSL-2003-AndreoliM #concurrent
Concurrent Construction of Proof-Nets (JMA, LM), pp. 29–42.
LICSLICS-2003-HughesG #linear #logic #multi #proving
Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract) (DJDH, RJvG), pp. 1–10.
ICTSSTestCom-2003-CavalliON #exclamation #named
TestNet: Let’s Test Together! (ARC, EMdO, MN), pp. 258–264.
TLCATLCA-2003-Montelatici #fixpoint #proving #semantics
Polarized Proof Nets with Cycles and Fixpoints Semantics (RM), pp. 256–270.
ASEASE-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.
DACDAC-2002-MurugavelR #estimation #modelling #petri net
Petri net modeling of gate and interconnect delays for power estimation (AKM, NR), pp. 455–460.
SIGMODSIGMOD-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.
ITiCSEITiCSE-2002-Barros #concurrent #petri net #programming
Specific proposals for the use of petri nets in a concurrent programming course (JPB), pp. 165–167.
FASEFASE-2002-Cerone #algebra #implementation #process
Implementing Condition/Event Nets in the Circal Process Algebra (AC), pp. 49–63.
FASEFASE-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.
TACASTACAS-2002-HeljankoKK #algorithm #parallel #petri net
Parallelisation of the Petri Net Unfolding Algorithm (KH, VK, MK), pp. 371–385.
ICALPICALP-2002-WuC #problem
Optimal Net Surface Problems with Applications (XW, DZC), pp. 1029–1042.
IFMIFM-2002-KorenblatGK #petri net
Translations between Textual Transition Systems and Petri Nets (KK, OG, SK), pp. 339–359.
ICGTICGT-2002-LaraV #modelling #multi #petri net #process
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts (JdL, HV), pp. 239–253.
AdaSIGAda-2002-CarlisleSH #ada #dot-net #weaving
Weaving Ada 95 into the .net environment (MCC, RES, JWH), pp. 22–26.
CAiSECAiSE-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.
ICEISICEIS-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.
KDDKDD-2002-CurcinGGKRSW #grid #information management #towards
Discovery net: towards a grid of knowledge discovery (VC, MG, YG, MK, AR, JS, PW), pp. 658–663.
KRKR-2002-DomshlakB #consistency #named #reasoning #testing
CP-nets: Reasoning and Consistency Testing (CD, RIB), pp. 121–132.
SEKESEKE-2002-FukuzawaS #architecture
Evaluating software architectures by coloured petrit nets (KF, MS), pp. 263–270.
SEKESEKE-2002-XuVIY #behaviour #modelling #multi #using #verification
Modeling and verifying multi-agent behaviors using predicate/transition nets (DX, RAV, TRI, JY), pp. 193–200.
PPDPPPDP-2002-DrapeMS #dot-net #logic programming #using
Transforming the .NET intermediate language using path logic programming (SD, OdM, GS), pp. 133–144.
SACSAC-2002-BettiniLP #framework
An infrastructure language for open nets (LB, ML, RP), pp. 373–377.
SACSAC-2002-LiuLSCCCKS #named
NetAffx: affymetrix probeset annotations (GL, AEL, RS, MSC, JC, SAC, DK, MASR), pp. 147–150.
ASPLOSASPLOS-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.
CADECADE-2002-Andreoli #middleware #paradigm
Focussing Proof-Net Construction as a Middleware Paradigm (JMA), pp. 501–516.
CAVCAV-2002-KhomenkoKV #canonical #petri net
Canonical Prefixes of Petri Net Unfoldings (VK, MK, WV), pp. 582–595.
ICLPICLP-2002-MedinaCO #approach #logic programming #multi
Multi-adjoint Logic Programming: A Neural Net Approach (JM, EMC, MOA), p. 468.
RTARTA-2002-Lippi #interactive #interpreter #visual notation
in2 : A Graphical Interpreter for Interaction Nets (SL), pp. 380–386.
ASEASE-2001-GannodG #automation #petri net #using
An Automated Tool for Analyzing Petri Nets Using SPIN (GCG, SG), pp. 404–407.
DACDAC-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.
DACDAC-2001-HalpinCS #constraints #physics #using
Timing Driven Placement using Physical Net Constraints (BH, CYRC, NS), pp. 780–783.
DACDAC-2001-LepakLH #constraints
Simultaneous Shield Insertion and Net Ordering under Explicit RLC Noise Constraint (KML, IL, LH), pp. 199–202.
DATEDATE-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.
DATEDATE-2001-KoranneG #analysis #automation #geometry #layout #on the
On automatic analysis of geometrically proximate nets in VSLI layout (SK, OPG), p. 818.
DATEDATE-2001-VareaA #embedded #modelling #petri net #specification
Dual transitions petri net based modelling technique for embedded systems specification (MV, BMAH), pp. 566–571.
DocEngDocEng-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.
ICDARICDAR-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.
VLDBVLDB-2001-MargaritisFT #data mining #mining #named #performance #scalability
NetCube: A Scalable Tool for Fast Data Mining and Compression (DM, CF, ST), pp. 311–320.
CSEETCSEET-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–?.
ITiCSEITiCSE-2001-Barros #concurrent #petri net #programming
Use petri nets to improve your concurrent programming course (JPB), p. 192.
ITiCSEITiCSE-2001-CarnianiD #comprehension #education #network
The NetWire emulator: a tool for teaching and understanding networks (EC, RD), pp. 153–156.
FASEFASE-J-1998-PadbergGE01 #refinement #rule-based #safety
Rule-based refinement of high-level nets preserving safety properties (JP, MG, CE), pp. 97–118.
FoSSaCSFoSSaCS-2001-BuscemiS #calculus #petri net
High-Level Petri Nets as Type Theories in the Join Calculus (MGB, VS), pp. 104–120.
TACASTACAS-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.
TACASTACAS-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.
IWPCIWPC-2001-TilleyD #case study #comprehension
Spreading Knowledge about Gnutella: A Case Study in Understanding Net-Centric Applications (SRT, MD), pp. 189–198.
WCREWCRE-2001-BychkovJ #database #interactive #legacy #migration
Interactive Migration of Legacy Databases to Net-Centric Technologies (YB, JHJ), pp. 328–334.
PLDIPLDI-2001-KennedyS #design #dot-net #implementation #runtime
Design and Implementation of Generics for the .NET Common Language Runtime (AK, DS), pp. 1–12.
DLTDLT-2001-ItoK #petri net
Some Petri Net Languages and Codes (MI, YK), pp. 69–80.
ICEISICEIS-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.
MLDMMLDM-2001-LinderP #how #learning
How to Automate Neural Net Based Learning (RL, SJP), pp. 206–216.
SEKESEKE-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.
SEKESEKE-2001-RamosSC #modelling #petri net #reuse
Reuse of Colored Petri Nets Software Models (FR, JFS, FCS), pp. 145–152.
ECOOPECOOP-2001-MeijerPY #dot-net #using
Scripting .NET Using Mondrian (EM, NP, AvY), pp. 150–164.
TOOLSTOOLS-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.
FSEESEC-FSE-2001-Jahnke #component #embedded
Engineering component-based net-centric systems for embedded applications (JHJ), pp. 218–228.
RTARTA-2001-Pinto #evaluation #interactive #parallel
Parallel Evaluation of Interaction Nets with MPINE (JSP), pp. 353–356.
TLCATLCA-2001-MurawskiO #evolution #game studies #morphism #polymorphism
Evolving Games and Essential Nets for Affine Polymorphism (ASM, CHLO), pp. 360–375.
ASEASE-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.
DACDAC-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.
DACDAC-2000-OuP #clustering
Timing-driven placement based on partitioning with dynamic cut-net control (SLTO, MP), pp. 472–476.
DACDAC-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.
DATEDATE-2000-AdlerB #multi
Single Step Current Driven Routing of Multiterminal Signal Nets for Analog Applications (TA, EB), pp. 446–450.
HTHT-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.
ESOPESOP-2000-Odersky #functional
Functional Nets (MO), pp. 1–25.
FASEFASE-2000-PadbergHG #algebra #safety
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems (JP, KH, MG), pp. 249–265.
FoSSaCSFoSSaCS-2000-CosmoKP #proving
Proof Nets and Explicit Substitutions (RDC, DK, EP), pp. 63–81.
FoSSaCSFoSSaCS-2000-Pinto #automaton #concurrent #interactive
Sequential and Concurrent Abstract Machines for Interaction Nets (JSP), pp. 267–282.
CSMRCSMR-2000-Keller #petri net #reverse engineering
Reverse Engineering with Petri Nets (WK), pp. 235–238.
ICALPICALP-2000-BruniS #algebra #modelling
Algebraic Models for Contextual Nets (RB, VS), pp. 175–186.
IFMIFM-2000-KlaudelP #composition #concurrent #petri net #semantics
A Concurrent and Compositional Petri Net Semantics of Preemption (HK, FP), pp. 318–337.
ICEISICEIS-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.
ICEISICEIS-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.
ICMLICML-2000-AllenG #comparison #empirical #learning
Model Selection Criteria for Learning Belief Nets: An Empirical Comparison (TVA, RG), pp. 1047–1054.
ICMLICML-2000-ChoiY #database #learning
Learning to Select Text Databases with Neural Nets (YSC, SIY), pp. 135–142.
ICPRICPR-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.
ICPRICPR-v1-2000-BesshoIY #detection #using
Detecting Human Face and Recognizing Facial Expressions Using Potential Net (HB, YI, MY), pp. 5076–5079.
PPDPPPDP-2000-LeuschelL #deduction #petri net #problem
Solving coverability problems of petri nets by partial deduction (ML, HL), pp. 268–279.
SACSAC-2000-BettiniLP
Structured Nets in KLAIM (LB, ML, RP), pp. 174–180.
ICSEICSE-2000-TakahashiEFG #development #tutorial #using
System development using application services over the Net (tutorial session) (KT, WE, AF, SG), p. 830.
CAVCAV-2000-AbdullaIN #bound #petri net
Unfoldings of Unbounded Petri Nets (PAA, SPI, AN), pp. 495–507.
ICLPCL-2000-AllainY #database #specification #using
Specification of an Active Database System Application Using Dynamic Relation Nets (LA, PY), pp. 1197–1209.
ICLPCL-2000-LeuschelL #deduction #petri net
Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction (ML, HL), pp. 101–115.
LICSLICS-2000-MurawskiO #performance #proving #verification
Dominator Trees and Fast Verification of Proof Nets (ASM, CHLO), pp. 181–191.
DACDAC-1999-SgroiL #embedded #petri net #synthesis #using
Synthesis of Embedded Software Using Free-Choice Petri Nets (MS, LL), pp. 805–810.
DATEDATE-1999-StrehlT #diagrams #model checking #petri net
Interval Diagram Techniques for Symbolic Model Checking of Petri Nets (KS, LT), pp. 756–757.
TACASTACAS-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.
ICALPICALP-1999-BednarczykB #morphism #petri net
General Morphisms of Petri Nets (Extended Abstract) (MAB, AMB), pp. 190–199.
ICALPICALP-1999-DufordJS #bound
Boundedness of Reset P/T Nets (CD, PJ, PS), pp. 301–310.
FMFM-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.
IFLIFL-1999-Reinke #haskell #petri net
Haskell-Coloured Petri Nets (CR), pp. 165–180.
HCIHCI-CCAD-1999-OgiYH #named #network
CABINet: networking of immersive projection environment (TO, TY, MH), pp. 1025–1029.
HCIHCI-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.
AdaEuropeAdaEurope-1999-GarciaV #ada #petri net
Translating Time Petri Net Structures into Ada 95 Statements (FJGI, JLV), pp. 158–169.
CAiSECAiSE-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.
TOOLSTOOLS-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.
PPDPPPDP-1999-FernandezM #calculus #interactive
A Calculus for Interaction Nets (MF, IM), pp. 170–187.
SACSAC-1999-OgataIF #optimisation #term rewriting #using
Optimizing Term Rewriting Using Discrimination Nets With Specialization (KO, SI, KF), pp. 511–518.
LICSLICS-1999-Guerrini #correctness #linear #multi #proving
Correctness of Multiplicative Proof Nets Is Linear (SG), pp. 454–463.
RTARTA-1999-CosmoG #normalisation #proving
Strong Normalization of Proof Nets Modulo Structural Congruences (RDC, SG), pp. 75–89.
TLCATLCA-1999-Laurent
Polarized Proof-Nets: Proof-Nets for LC (OL), pp. 213–227.
DATEDATE-1998-PastorC #analysis #encoding #performance #petri net
Efficient Encoding Schemes for Symbolic Analysis of Petri Nets (EP, JC), pp. 790–795.
SIGMODSIGMOD-1998-Whelan #database #documentation
FileNet Integrated Document Management Database Usage and Issues (DSW), p. 533.
FASEFASE-1998-PadbergGE #refinement #rule-based #safety
Rule-Based Refinement of High-Level Nets Preserving Safety Properties (JP, MG, CE), pp. 221–238.
FoSSaCSFoSSaCS-1998-BaldanCM #semantics #symmetry
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures (PB, AC, UM), pp. 63–80.
FoSSaCSFoSSaCS-1998-Klempien-Hinrichs #refinement
Net Refinement by Pullback Rewriting (RKH), pp. 189–202.
TACASTACAS-1998-Grahlmann #automaton #finite #parallel #petri net #source code #using
Combining Finite Automata, Parallel Programs and SDL Using Petri Nets (BG), pp. 102–117.
ICALPICALP-1998-DufourdFS #decidability
Reset Nets Between Decidability and Undecidability (CD, AF, PS), pp. 103–115.
ICALPICALP-1998-GadducciM #axiom #process
Axioms for Contextual Net Processes (FG, UM), pp. 296–308.
ICFPICFP-1998-Mackie #interactive #named
YALE: Yet Another λ Evaluator Based on Interaction Nets (IM), pp. 117–128.
ICGTTAGT-1998-PadbergGH #development #incremental #petri net #safety
Incremental Development of Safety Properties in Petri Net Transformations (JP, MG, KH), pp. 410–425.
AdaSIGAda-1998-Kamrad #ada #case study #experience
Ada experience report for BlazeNet, Inc. (JMKI), pp. 215–216.
CIKMCIKM-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.
ICPRICPR-1998-Kofler #graph
A topological net structure and a topological graph (HK), pp. 1449–1454.
ICPRICPR-1998-KrebsW #3d #automation #generative #recognition
Automatic generation of Bayesian nets for 3D object recognition (BK, FMW), pp. 126–128.
ICPRICPR-1998-ZhangFY #classification #composition #modelling #recognition
A modular classification scheme with elastic net models for handwritten digit recognition (BZ, MF, HY), pp. 1859–1861.
TOOLSTOOLS-ASIA-1998-CheungCC #interactive #petri net
Deriving Scenarios Of Object Interaction Through Petri Net (KSC, KOC, TYC), p. 104–?.
ICSEICSE-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.
HPDCHPDC-1998-TierneyJCHBG #analysis #distributed #performance
The NetLogger Methodology for High Performance Distributed Systems Performance Analysis (BT, WEJ, BC, GH, CXB, DG), pp. 260–267.
CAVCAV-1998-Wallner #ltl #model checking #using
Model Checking LTL Using Net Unforldings (FW), pp. 207–218.
LICSLICS-1998-FernandezM #equivalence #induction #interactive
Coinductive Techniques for Operational Equivalence of Interaction Nets (MF, IM), pp. 321–332.
ASEASE-1997-KrappW #feedback
Feedback Handling in Dynamic Task Nets (CAK, BW), pp. 301–302.
DACDAC-1997-LillisC #multi #optimisation
Timing Optimization for Multi-Source Nets: Characterization and Optimal Repeater Insertion (JL, CKC), pp. 214–219.
TACASTACAS-1997-ChristensenJK #design #named #petri net
Design/CPN — A Computer Tool for Coloured Petri Nets (SC, JBJ, LMK), pp. 209–223.
TACASTACAS-1997-Jensen #petri net
A Brief Introduction to Coloured Petri Nets (KJ), pp. 203–208.
SASSAS-1997-Mackie #distributed #implementation #interactive #static analysis
Static Analysis of Interaction Nets for Distributed Implementations (IM), pp. 217–231.
DLTDLT-1997-TipleaM #petri net
Jumping Petri Nets — Specific Properties (FLT, EM), pp. 461–476.
ICALPICALP-1997-Vogler #performance #petri net
Efficiency of Asynchronous Systems and Read Arcs in Petri Nets (WV), pp. 538–548.
FMFME-1997-FleischhackT #realtime #semantics
An M-Net Semantics for a Real-Time Extension of μSDL (HF, JT), pp. 162–181.
AdaTRI-Ada-1997-Cheng #ada #concurrent #dependence
Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications (JC), pp. 67–78.
EDOCEDOC-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–?.
EDOCEDOC-1997-ErdmannW #enterprise #modelling
Enterprise Modelling with FUNSOFT Nets (SE, JW), p. 28–?.
SIGIRSIGIR-1997-AslandoganTYZR #image #retrieval #semantics #using
Using Semantic Contents and WordNet in Image Retrieval (YAA, CT, CTY, JZ, NR), pp. 286–295.
PPDPALP-1997-CairesM #proving #semantics
Proof Net Semantics of Proof Search Computation (LC, LM), pp. 194–208.
SACSAC-1997-BanachP #implementation #interactive
Implementing interaction nets in MONSTR (RB, GAP), pp. 509–514.
ESECESEC-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.
ICSEICSE-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.
CAVCAV-1997-MelzerR #concurrent #using
Deadlock Checking Using Net Unfoldings (SM, SR), pp. 352–363.
LICSLICS-1997-CosmoK #normalisation #proving
Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract) (RDC, DK), pp. 35–46.
TLCATLCA-1997-GuerriniMM #proving
Proof Nets, Garbage, and Computations (SG, SM, AM), pp. 181–195.
DACDAC-1996-SemenovY #petri net #using #verification
Verification of asynchronous circuits using Time Petri Net unfolding (ALS, AY), pp. 59–62.
TACASTACAS-1996-BerghammerKU #algebra #analysis #perspective #petri net
Realtion-Algebraic Analysis of Petri Nets with RELVIEW (RB, BvK, CU), pp. 49–69.
TACASTACAS-1996-GrahlmannB #named #petri net
PEP — More than a Petri Net Tool (BG, EB), pp. 397–401.
ICALPICALP-1996-JancarE #bisimulation #petri net
Deciding Finiteness of Petri Nets Up To Bisimulation (PJ, JE), pp. 478–489.
FMFME-1996-ShiN #petri net #specification
An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets (LS, PN), pp. 518–537.
IFLIFL-1996-Assmann #coordination #functional #petri net #process #using
Coordinating Functional Processes Using Petri Nets (CA), pp. 162–183.
CHICHI-1996-KrautSMMK #internet #named
HomeNet: A Field Trial of Residential Internet Services (REK, WLS, TM, JM, SBK), pp. 284–291.
ICPRICPR-1996-ArmandeMM #3d
A 3D thin nets extraction method for medical imaging (NA, PM, OM), pp. 642–646.
ICPRICPR-1996-FunayamaYIT #component #constraints
Facial component extraction by cooperative active nets with global constraints (RF, NY, HI, HT), pp. 300–304.
KDDKDD-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.
SEKESEKE-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.
SEKESEKE-1996-SlivaMS #communication #protocol
A Method for Applying G-Nets To Communication Protocols (VPS, TM, SMS), pp. 145–152.
LOPSTRLOPSTR-1996-FribourgO #logic programming #petri net #reduction #source code
Reductions of Petri Nets and Unfolding of Propositional Logic Programs (LF, HO), pp. 187–203.
PPDPPLILP-1996-FernandezM #interactive #term rewriting
From Term Rewriting to Generalised Interaction Nets (MF, IM), pp. 319–333.
SACSAC-1996-Cripps #performance #predict #using
Using artificial neural nets to predict academic performance (AC), pp. 33–37.
ICSEICSE-1996-HeimannJKW #named #process
DYNAMITE: Dynamic Task Nets for Software Process Management (PH, GJ, CAK, BW), pp. 331–341.
ISSTAISSTA-1996-ChamillardC #analysis #concurrent #petri net #source code
Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs (ATC, LAC), pp. 24–38.
RTARTA-1996-GuerriniMM #proving
Coherence for Sharing Proof Nets (SG, SM, AM), pp. 215–229.
ICSMEICSM-1995-AvrilionisC #maintenance #modelling #petri net #process #using
Using views to maintain Petri-net-based process models (DA, PYC), pp. 318–326.
DLTDLT-1995-TipleaE #normalisation #petri net
Hierarchies of Petri Net Languages and a Super-Normal Form (FLT, CE), pp. 396–405.
ICALPICALP-1995-BestK #equation #recursion
Solving Recursive Net Equations (EB, MK), pp. 605–623.
AdaEuropeAdaEurope-1995-BuchsBR #algebra #modelling #validation
Modeling and Validation of Tasks with Algebraic Structured Nets (DB, CB, PR), pp. 284–297.
KDDKDD-1995-Glymour #modelling #predict
Available Technology for Discovering Causal Models, Building Bayes Nets, and Selecting Predictors: The TETRAD II Program (CG), pp. 130–135.
SEKESEKE-1995-Gattiker #functional #petri net #probability #representation
Representing Structural and Functional Knowledge with Stochastic Petri Nets (JRG), pp. 47–53.
SEKESEKE-1995-He #formal method #petri net
PZ Nets- A Formal Method Integrating Petri Nets with Z (XH), pp. 173–180.
SEKESEKE-1995-Sliva #synthesis
A G-Net Module Synthesis Method for Software Applications (VPS), pp. 419–426.
SEKESEKE-1995-Westfechtel #graph #process
A Graph-Based Model for Dynamic Process Nets (BW), pp. 126–130.
SACSAC-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.
ICSEICSE-1995-DwyerCN #concurrent #petri net #representation #source code
A Compact Petri Net Representation for Concurrent Programs (MBD, LAC, KAN), pp. 147–157.
SOSPSOSP-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.
CAVCAV-1995-HulgaardB #analysis #performance #petri net
Efficient Timing Analysis of a Class of Petri Nets (HH, SMB), pp. 423–436.
LICSLICS-1995-Trakhtenbrot #automaton #logic
Origins and Metamorphoses of the Trinity: Logic, Nets, Automata (BAT), pp. 506–507.
DACDAC-1994-JongL #communication #concurrent #design #petri net
A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules (GGdJ, BL), pp. 49–55.
ESOPESOP-1994-Milner #named #visual notation #π-calculus
Pi-Nets: A Graphical Form of π-Calculus (RM), pp. 26–42.
ICGTTAGT-1994-KorffR #graph grammar #petri net
Formal Relationship between Graph Grammars and Petri Nets (MK, LR), pp. 288–303.
SEKESEKE-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.
SEKESEKE-1994-Kramer #modelling #petri net #process
Rule-enhanced Petri nets for software process modeling (BJK), pp. 493–500.
SACSAC-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.
SACSAC-1994-Tschichold-Gurman #classification #fuzzy #network
Fuzzy RuleNet: an artificial neural network model for fuzzy classification (NNTG), pp. 145–149.
CAVCAV-1994-GorrieriS #realtime #using #verification
Real-Time System Verification using P/T Nets (RG, GS), pp. 14–26.
ISSTAISSTA-1994-BuyS #analysis #petri net #realtime #source code
Analysis of Real-Time Programs with Simple Time Petri Nets (UAB, RHS), pp. 228–239.
HTHT-1993-Chang #approach #automation #generative #named
HieNet: A User-Centered Approach for Automatic Link Generation (DTC), pp. 145–158.
STOCSTOC-1993-ChazelleEGGSW #bound #set
Improved bounds on weak epsilon-nets for convex sets (BC, HE, MG, LJG, MS, EW), pp. 495–504.
STOCSTOC-1993-Maass #bound #complexity #learning
Bounds for the computational power and learning complexity of analog neural nets (WM), pp. 335–344.
ICALPICALP-1993-BrownG #category theory #logic #petri net
Temporal Logic and Categories of Petri Nets (CB, DG), pp. 570–581.
ICALPICALP-1993-JategaonkarM #concurrent #finite
Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report) (LJ, ARM), pp. 519–531.
ICALPICALP-1993-Orponen #on the #power of
On the Computational Power of Discrete Hopfield Nets (PO), pp. 215–226.
HCIHCI-SHI-1993-Tollmar #interface #named
CoDesk — An Interface to TheKnowledgeNet (KT), pp. 238–243.
CHIINTERCHI-1993-JanssenWZ #generative #modelling #specification #user interface
Generating user interfaces from data models and dialogue net specifications (CJ, AW, JZ), pp. 418–423.
CAiSECAiSE-1993-PalanqueBDS #design #interface #petri net #using
Design of User-Driven Interfaces Using Petri Nets and Objects (PAP, RB, LD, CSB), pp. 569–585.
SEKESEKE-1993-BoetticherSE #approach #metric
A Neural Net-Based Approach to Software Metrics (GDB, KS, DE), pp. 271–274.
SIGIRSIGIR-1993-Voorhees #retrieval #using #word
Using WordNet to Disambiguate Word Senses for Text Retrieval (EMV), pp. 171–180.
SACSAC-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.
CSLCSL-1993-Hishfeld #equivalence #petri net #problem
Petri Nets and the Equivalence Problem (YH), pp. 165–174.
ISSTAISSTA-1993-FelderGP #specification
Analyzing Refinements of State Based Specifications: The Case of TB Nets (MF, CG, MP), pp. 28–39.
DACDAC-1992-ChaoHH
Zero Skew Clock Net Routing (THC, YCH, JMH), pp. 518–523.
DACDAC-1992-CongHK
Net Partitions Yield Better Module Partitions (JC, LWH, ABK), pp. 47–52.
SASWSA-1992-Bechet #interactive #partial evaluation
Partial Evaluation of Interaction Nets (DB), pp. 331–338.
ICALPICALP-1992-BrownG #category theory #petri net
Timing Petri Nets Categorically (CB, DG), pp. 571–582.
ICALPICALP-1992-HoogersKT #petri net #semantics
A Trace Semantics for Petri Nets (Extended Abstract) (PWH, HCMK, PST), pp. 595–604.
ICALPICALP-1992-Vogler #communication #petri net #refinement
Asynchronous Communication of Petri Nets and the Refinement of Transitions (WV), pp. 605–616.
AdaEuropeAdaEurope-1992-Cheng #ada #concurrent #dependence #representation #source code
Task Dependence Net as a Representation for Concurrent Ada Programs (JC), pp. 150–164.
SEKESEKE-1992-ShimuraLM #logic programming #petri net #semantics #source code
A Petri Net Semantics for Logic Programs with Negation (TS, JL, TM), pp. 292–299.
SEKESEKE-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.
LOPSTRLOPSTR-1992-Ornaghi #proving
Proof Nets (MO), pp. 61–79.
SOSPSOSP-WIP-1991-LaRowe92 #architecture #operating system #research
Operating Systems Research Related to the Galactica Net Architecture (Abstract) (RPLJ), p. 13.
HPDCHPDC-1992-ClaytonDMW #bound #latency
Determining Update Latency Bounds in Galactica Net (SC, RJD, WM, AW), pp. 104–111.
CADECADE-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.
DACDAC-1991-MattesWBD
Propagation Delay Calculation for Interconnection Nets on Printed Circuit Boards by Reflected Waves (HM, WW, GB, RD), pp. 567–572.
DACDAC-1991-SutanthavibulS #predict
Dynamic Prediction of Critical Paths and Nets for Constructive Timing-Driven Placement (SS, ES), pp. 632–635.
DACDAC-1991-TsayK #approach #optimisation #performance
An Analytic Net Weighting Approach for Performance Optimization in Circuit Placement (RST, JK), pp. 620–625.
PLDIPLDI-1991-GaoWN #petri net #scheduling
A Timed Petri-Net Model for Fine-Grain Loop Scheduling (GRG, YBW, QN), pp. 204–218.
FMVDME-1991-1-HeeSV #petri net
Z and High Level Petri Nets (KMvH, LJS, MV), pp. 204–219.
AdaEuropeAdaEurope-1991-ChengU #ada #petri net #using
Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets (JC, KU), pp. 125–146.
CAVCAV-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.
CSLCSL-1991-BestE #model checking #persistent #petri net
Model Checking of Persistent Petri Nets (EB, JE), pp. 35–52.
DACDAC-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.
SEKESEKE-1990-JeffreyM #petri net #set
A High-Level Petri Net for a Subset of FGHC (JJ, TM), pp. 260–266.
SEKESEKE-1990-KehL #design #hypermedia #named #petri net
HelpDez: Colored-Petri-Net-Based Hypermedia Help System Designer (HCK, TGL), pp. 245–250.
POPLPOPL-1990-Lafont #interactive
Interaction Nets (YL), pp. 95–108.
ICSEICSE-1990-OswaldEM #petri net #specification
An Environment for Specifying and Executing Hierarchical Petri Nets (HO, RE, RM), pp. 164–172.
CAVCAV-1990-BerthelotJP #analysis #named #petri net
PAPETRI: Environment for the Analysis of Petri Nets (GB, CJ, LP), pp. 13–22.
CAVCAV-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.
LICSLICS-1990-BrownG #category theory #framework #linear #petri net
A Categorical Linear Framework for Petri Nets (CB, DG), pp. 208–218.
DACDAC-1989-LueM
Extracting Schematic-like Information from CMOS Circuit Net-lists (WJL, LPM), pp. 690–693.
DACDAC-1989-Yu #case study
A Study of the Applicability of Hopfield Decision Neural Nets to VLSI CAD (MLY), pp. 412–417.
DACDAC-1989-ZhangPR #performance
Efficient Final Placement Based on Nets-as-Points (XZ, LTP, RAR), pp. 578–581.
SEKESEKE-1989-HeL #logic #petri net #specification
Deriving Temporal Logic Specifications from Predicate Transition Petri Net (XH, JANL), pp. 116–121.
SEKESEKE-1989-MurataY #petri net #realtime #rule-based
Petri Net Method for Real-Time Control of Rule-Based Systems (TM, JY), pp. 122–127.
ICSEICSE-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.
SOSPSOSP-1989-EdwardsM #file system
Exploiting Read-Mostly Workloads in The FileNet File System (DAE, MSM), pp. 58–70.
LICSLICS-1989-DeganoMM #axiom #process
Axiomatizing Net Computations and Processes (PD, JM, UM), pp. 175–185.
LICSLICS-1989-RabinovichT #data flow
Nets and Data Flow Interpreters (AMR, BAT), pp. 164–174.
DACDAC-1988-Cai #multi
Multi-Pads, Single Layer Power Net Routing in VLSI Circuits (HC), pp. 183–188.
DACDAC-1988-Meyer #data type
A Data Structure for Circuit Net Lists (SM), pp. 613–616.
DACDAC-1988-Razouk #modelling #petri net #pipes and filters
The Use of Petri Nets for Modeling Pipelined Processors (RRR), pp. 548–553.
ICALPICALP-1988-Thiagarajan #aspect-oriented #behaviour
Some Behavioural Aspects of Net Theory (PST), pp. 630–653.
LICSLICS-1988-MeseguerM #algebra #monad #petri net
Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory (JM, UM), pp. 155–164.
LICSLICS-1988-Winskel #composition #petri net #proving
A Category of Labelled Petri Nets and Compositional Proof System (Extended Abstract) (GW), pp. 142–154.
DACDAC-1987-BeckerHKMO #calculus #design
Hierarchical Design Based on a Calculus of Nets (BB, GH, RK, PM, HGO), pp. 649–653.
DACDAC-1987-Chowdhury #automation #design
An Automated Design of Minimum-Area IC Power/Ground Nets (SC), pp. 223–229.
DACDAC-1987-ChunCM #named
VISION: VHDL Induced Schematic Imaging on Net-Lists (RKC, KJC, LPM), pp. 436–442.
ICSEICSE-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.
DACDAC-1986-NaharS #performance
A time and space efficient net extractor (SN, SS), pp. 411–417.
ESOPESOP-1986-Kok #nondeterminism #semantics
Denotational Semantics of Nets with Nondeterminism (JNK), pp. 237–249.
OOPSLAOOPSLA-1986-BrunoB #distributed #modelling #object-oriented #petri net
Petri Net-Based Object-Oriented Modeling of Distributed Systems (GB, AB), pp. 284–293.
DACDAC-1985-ChowdhuryB
The construction of minimal area power and ground nets for VLSI circuits (SUC, MAB), pp. 794–797.
VLDBVLDB-1985-Shasha #named
NetBook — a Data Model to Support Knowledge Exploration (DS), pp. 418–425.
ICSEICSE-1985-BrunoM #agile #petri net #prototype #using
Rapid Prototyping of Control Systems Using High Level Petri Nets (GB, GM), pp. 230–237.
SOSPSOSP-1985-CarrieroG #kernel
The S/Net’s Linda Kernel (extended abstract) (NC, DG), p. 160.
RTARTA-1985-ChoppyJ #named #petri net #proving #term rewriting
PETRIREVE: Proving Petri Net Properties with Rewriting Systems (CC, CJ), pp. 271–286.
ICALPICALP-1984-GoltzM #on the #petri net
On the Relationship of CCS and Petri Nets (UG, AM), pp. 196–208.
ICSEICSE-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.
DACDAC-1983-Vida-TorkuH #generative #heuristic #petri net #testing
Petri Net based search directing heuristics for test generation (EKVT, BMH), pp. 323–330.
ICALPICALP-1983-GoltzR #process
Processes of Place/Transition-Nets (UG, WR), pp. 264–277.
RERE-1983-Reisig #design #petri net #using
System Design Using Petri Nets (WR), pp. 29–41.
DACDAC-1982-Pinter #on the
On routing two-point nets across a channel (RYP), pp. 894–902.
ICALPICALP-1982-FernandezT
Some Properties of D-Continuous Causal Nets (CF, PST), pp. 225–238.
ICGTGG-1982-GenrichJRT #graph grammar #petri net
Petri nets and their relation to graph grammars (HJG, DJ, GR, PST), pp. 115–129.
DACDAC-1981-RothermelM #layout #power management
Computation of power supply nets in VLSI layout (HJR, DAM), pp. 37–42.
DACDAC-1981-Suen #estimation #statistics
A statistical model for net length estimation (LCS), pp. 769–774.
VLDBVLDB-1981-Richter #database #modelling
IML-Inscribed Nets for Modeling Text Processing and Data (Base) Management Systems (GR), pp. 363–375.
STOCSTOC-1981-Mayr #algorithm #petri net #problem #reachability
An Algorithm for the General Petri Net Reachability Problem (EWM), pp. 238–246.
ICALPICALP-1978-Valk #petri net #self
Self-Modifying Nets, a Natural Extension of Petri Nets (RV), pp. 464–476.
DACDAC-1977-BoseS #detection #logic
Detection of static and dynamic hazards in logic nets (AKB, SAS), pp. 220–224.
DACDAC-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.
STOCSTOC-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.
POPLPOPL-1975-LauerC #petri net
A Description of Path Expressions by Petri Nets (PEL, RHC), pp. 95–105.
SOSPSOSP-1973-Kosaraju #petri net
Limitations of Dijkstra’s Semaphore Primitives and Petri Nets (SRK), pp. 122–136.
SIGIRSIGIR-1971-Su #semantics
Managing Semantic Data in an Associative Net (SYWS), pp. 105–116.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.