Search results for "CPN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Kun-Won Jang, Junho Choun, Myung-Hee Kim, Moon-Seog Jun	Design and Verification of Security API Structure Based on PKCS #11.	CIT	2006	DBLP DOI BibTeX RDF
24	Simon Tjell	Model-Based Analysis of a Windmill Communication System.	DIPES	2006	DBLP DOI BibTeX RDF	Real-time systems, performance analysis, communication protocol, Coloured Petri Nets
24	Michael Gellman, Peixiang Liu	Random Neural Networks for the Adaptive Control of Packet Networks.	ICANN (1)	2006	DBLP DOI BibTeX RDF
24	Taskin Koçak	Hardware Implementation of Random Neural Networks with Reinforcement Learning.	ICANN (1)	2006	DBLP DOI BibTeX RDF
24	Qinyi Wu, Akhil Sahai	DAG Synchronization Constraint Language for Business Processes.	CEC/EEE	2006	DBLP DOI BibTeX RDF
24	Taskin Koçak, Hakan Terzioglu	A packet processor for a learning-based routing protocol.	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF	intelligent routing algorithms, neural networks, network processors
24	Erol Gelenbe, Michael Gellman, George Loukas	An Autonomic Approach to Denial of Service Defence.	WOWMOM	2005	DBLP DOI BibTeX RDF
24	Lars Michael Kristensen, Laure Petrucci	An Approach to Distributed State Space Exploration for Coloured Petri Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
24	Robert G. Pettit IV, Hassan Gomaa	Modeling Behavioral Patterns of Concurrent Software Architectures Using Petri Nets.	WICSA	2004	DBLP DOI BibTeX RDF
24	Zhengwei Qi, Cheng Fu, Dongyu Shi, Jinyuan You	The P-System Based Model for Mobile Transactions.	CIT	2004	DBLP DOI BibTeX RDF
24	Lin Liu 0003, Jonathan Billington	Reducing Parametric Automata: A Multimedia Protocol Service Case Study.	ATVA	2004	DBLP DOI BibTeX RDF
24	Tarek Elhabian, Bo Zhang, Dingrong Shao	Neural Direct Sequence Spread Spectrum Acquisition.	ISNN (2)	2004	DBLP DOI BibTeX RDF	Direct Sequence Spread Spectrum Acquisition, Counter Propagation Network, Neural Network, Matching Filtering
24	Lars Michael Kristensen, Kurt Jensen	Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
24	Dmitry J. Chaly, Valery A. Sokolov	An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks.	PaCT	2003	DBLP DOI BibTeX RDF
24	Zhengwei Qi, Jinyuan You, Hongyan Mao	P Systems and Petri Nets.	Workshop on Membrane Computing	2003	DBLP DOI BibTeX RDF
24	Leonard Leibovici, Michal Fishman, Henrik C. Schønheyder, Christian Riekehr, Brian Kristensen, Ilana Shraga, Steen Andreassen	A Causal Probabilistic Network for Optimal Treatment of Bacterial Infections.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	Causal probabilistic networks, bacterial infections, bacteremia, antibiotic treatment, cost-effectiveness
24	Ian Phillip Morns, Satnam Singh Dlay	The DSFPN, a new neural network for optical character recognition.	IEEE Trans. Neural Networks	1999	DBLP DOI BibTeX RDF
24	Elena P. Sapozhnikova, V. P. Lunin, L. Ludwig, Wolfgang Rosenstiel	The use of dARTMAP and fuzzy ARTMAP to solve the quality testing task in semiconductor industry.	KES	1999	DBLP DOI BibTeX RDF
24	Jordan Bonney, Ranga S. Ramanujan, Kenneth J. Thurber	Universal Broadband Network Access Device.	ISPAN	1996	DBLP DOI BibTeX RDF
24	Kjeld Høyer Mortensen, Valerio O. Pinci	Modelling the Work Flow of a Nuclear Waste Management Program.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
24	Xiaoning Feng, Qun Liu, Zhuo Wang 0008	AUV Modeling and Analysis using a Colored Object-Oriented Petri Net.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF	Colored Object-Oriented Petri Net (COOPN), Colored Petri Net Modeling Language (CPN ML), substitution transition, reachable tree
22	Longhuang Wu, Shangxuan Tian, Youxin Wang, Pengfei Xiong	CPN: Complementary Proposal Network for Unconstrained Text Detection.	CoRR	2024	DBLP DOI BibTeX RDF
22	Longhuang Wu, Shangxuan Tian, Youxin Wang, Pengfei Xiong	CPN: Complementary Proposal Network for Unconstrained Text Detection.	AAAI	2024	DBLP DOI BibTeX RDF
22	Diogo Lages, Eric Borba, Eduardo Tavares, Andson M. Balieiro, Erica Souza	A CPN-based model for assessing energy consumption of IoT networks.	J. Supercomput.	2023	DBLP DOI BibTeX RDF
22	Radel Ben-Av, Giora Dula, Assaf Goldberger, Yossi Strassler	Frame Potential in CPn Some Numerical and Analytical Results.	Exp. Math.	2023	DBLP DOI BibTeX RDF
22	Gaochang Xie, Renchao Xie, Qinqin Tang, Shuang Wu, Wenzheng Wang, Zongping Li, Tao Huang 0005	Joint Task Scheduling and Intelligence Optimization in CPN-Enabled Connected Intelligence Systems.	GLOBECOM	2023	DBLP DOI BibTeX RDF
22	Eric Verbeek 0001, Dirk Fahland	Generating event logs with CPN IDE.	ICPM Doctoral Consortium / Demo	2023	DBLP BibTeX RDF
22	Mingtao Ji, Zhuzhong Qian, Baoliu Ye	When CPN Meets AI: Resource Provisioning for Inference Query upon Computing Power Network.	ICPADS	2023	DBLP DOI BibTeX RDF
22	Gregorio Díaz 0001, Hermenegilda Macià, Enrique Brazález, Juan Boubeta-Puig, M. Carmen Ruiz, Valentín Valero	An Intelligent Transportation System for Tsunamis Combining CEP, CPN and Fuzzy Logic.	ICCS (1)	2023	DBLP DOI BibTeX RDF
22	Jiacong Li, Hang Lv 0006, Bo Lei, Yunpeng Xie	Modeling and Optimization for Computing Power Resource-Aware in CPN.	APNOMS	2023	DBLP BibTeX RDF
22	Jiacong Li, Hang Lv 0006, Bo Lei, Yunpeng Xie	A Security Mapping Approach between Multi Tenant and Computing Routing Nodes in CPN.	APNet	2023	DBLP DOI BibTeX RDF
22	Jiacong Li, Hang Lv 0006, Bo Lei, Yunpeng Xie	A Hierarchical Routing Mechanism for Service in CPN.	APNet	2023	DBLP DOI BibTeX RDF
22	Daohua Wu, Jintao Liu, Hongwei Wang 0008, Tao Tang 0004	A CPN-Based Approach for Studying Impacts of Communication Delays on Safety and Availability of Safety-Critical Distributed Networked Control Systems.	IEEE Trans. Ind. Informatics	2022	DBLP DOI BibTeX RDF
22	Lu Zheng, Tao Feng 0007	Research on a Vehicle Authentication and Key Transmission Protocol Based on CPN.	Symmetry	2022	DBLP DOI BibTeX RDF
22	Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul	Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach.	SAC	2022	DBLP DOI BibTeX RDF
22	Bo Lei, Gefan Zhou	Exploration and practice of Computing Power Network(CPN) to realize convergence of computing and network.	OFC	2022	DBLP BibTeX RDF
22	Tao Sun 0002, Kangshuai Zuo, Wenjie Zhong	An Automatic Modeling Method for Web Service Business Processes towards CPN Model Checking.	ISPA/BDCloud/SocialCom/SustainCom	2022	DBLP DOI BibTeX RDF
22	Saasha Nair, Sina Shafaei, Daniel Auge, Alois C. Knoll	An Evaluation of "Crash Prediction Networks" (CPN) for Autonomous Driving Scenarios in CARLA Simulator.	SafeAI@AAAI	2021	DBLP BibTeX RDF
22	Jingyu Lin, Qihong Yue, Xiangqian Liu	Optimization and Modeling of Handover Process of High-speed Flying Train Based on CPN.	ICCIR	2021	DBLP DOI BibTeX RDF
22	Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul	A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts.	WETICE	2021	DBLP DOI BibTeX RDF
22	Ikram Garfatta, Kaïs Klai, Mahamed Graïet, Walid Gaaloul	Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach.	ICSOC Workshops	2020	DBLP DOI BibTeX RDF
22	Franciny Medeiros Barreto, Stéphane Julia	A Possibilistic Simulation Model for Multiplayer Game Scenarios Using CPN Tools.	SBES	2020	DBLP DOI BibTeX RDF
22	Tao Sun 0002, Jing Yang, Wenjie Zhong	CPN Model Checking Method of Concurrent Software Based on State Space Pruning.	TrustCom	2020	DBLP DOI BibTeX RDF
22	Chiung-Yao Fang, An-Chun Luo, Yu-Shan Deng, Chia-Ju Lu, Sei-Wang Chen	Building a smart lecture-recording system using MK-CPN network for heterogeneous data sources.	Neural Comput. Appl.	2019	DBLP DOI BibTeX RDF
22	Juan Boubeta-Puig, Gregorio Díaz 0001, Hermenegilda Macià, Valentín Valero, Guadalupe Ortiz 0001	MEdit4CEP-CPN: An approach for complex event processing modeling by prioritized colored petri nets.	Inf. Syst.	2019	DBLP DOI BibTeX RDF
22	Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio	CPN simulation-based test case generation from controlled natural-language requirements.	Sci. Comput. Program.	2019	DBLP DOI BibTeX RDF
22	Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua	Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control.	ENASE	2019	DBLP DOI BibTeX RDF
22	Vijay Gehlot, Elliot B. Sloane, Angelo E. Thalassinidis	Personal Health Technology: CPN based Modeling of Coordinated Neighborhood Care Environments (Hubs) and Personal Care Device Ecosystems.	HICSS	2019	DBLP BibTeX RDF
22	Nguyen Thanh Tuan, Le Thanh Nhan, Hoanh Thi Thanh Ha	Toward a Model for Verification of Business Logic Layer in 3-Layer Architecture: CPN-ECA Model.	KSE	2019	DBLP DOI BibTeX RDF
22	Dániel Kozma, Pál Varga, Felix Larrinaga	Data-driven Workflow Management by utilising BPMN and CPN in IIoT Systems with the Arrowhead Framework.	ETFA	2019	DBLP DOI BibTeX RDF
22	Ingo Bulla, Benoît Aliaga, Virginia Lacal, Jan Bulla, Christoph Grunau, Cristian Chaparro	Notos - a galaxy tool to analyze CpN observed expected ratios for inferring DNA methylation types.	BMC Bioinform.	2018	DBLP DOI BibTeX RDF
22	Maykon Rocha Santana, Marcela Aparecida Aniceto dos Santos, Monique Simplicio Viana, Felipe Bezerra Reis, Orides Morandin Jr.	A collaborative CPN-Fuzzy modelling strategy for conflict solution in flexible manufacturing systems.	Int. J. Comput. Integr. Manuf.	2018	DBLP DOI BibTeX RDF
22	Nadia Saad Noori	Modeling the escalation/de-escalation of response operation levels in disaster response networks using hierarchical Colored Petri Nets (CPN) approach.	SysCon	2018	DBLP DOI BibTeX RDF
22	Chafik Baidada, El Mahi Bouziane, Abdeslam Jakimi	A Dynamic Analysis for Reverse Engineering of Sequence Diagram Using CPN.	MEDI	2018	DBLP DOI BibTeX RDF
22	Sun Tao, Linjing Zhang, Huiping Ma	An Automatic Generation Method for Path Expressions of CPN Model Focus on Tested Behaviors.	CSCWD	2018	DBLP DOI BibTeX RDF
22	Rui Wang 0048, Lars Michael Kristensen, Volker Stolz	MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets.	VECoS	2018	DBLP DOI BibTeX RDF
22	Tao Sun, Yangyang Liu	A Hierarchical CPN Model Automatically Generating Method Aiming at Multithreading Program Algorithm Error Detection.	ISPA/IUCC/BDCloud/SocialCom/SustainCom	2018	DBLP DOI BibTeX RDF
22	Jing Liu 0003, Zhen-Tian Liu, Yu-Qiang Zhao	CPN Model Based Standard Feature Verification Method for REST Service Architecture.	CollaborateCom	2018	DBLP DOI BibTeX RDF
22	Ziyun Deng, Jing Zhang, Tingqin He	Automatic Combination Technology of Fuzzy CPN for OWL-S Web Services in Supercomputing Cloud Platform.	Int. J. Pattern Recognit. Artif. Intell.	2017	DBLP DOI BibTeX RDF
22	Juan Ignacio Latorre Biel, Mercedes Pérez de la Parte, Emilio Jiménez Macías	Enriching the formalism of coloured Petri nets for modelling alternative structural configurations of a discrete event system: disjunctive CPN.	Int. J. Simul. Process. Model.	2017	DBLP DOI BibTeX RDF
22	Marcelo Antonio de Carvalho, Paulo Bandiera-Paiva	Evaluating ISO 14441 privacy requirements on role based access control (RBAC) restrict mode via Colored Petri Nets (CPN) modeling.	ICCST	2017	DBLP DOI BibTeX RDF
22	Hongwei Ruan, Lu Wang, Xiao Yang, Lulu Dong, Hua Li	OpenFlow Modeling Based on CPN for Evolution Consideration and Executable Test Case Generation.	COMPSAC (2)	2017	DBLP DOI BibTeX RDF
22	Pedro Henrique Ferreira Machado, Luiz Edival de Souza, Jean-Claude Maun	Long-Term Reliability Analysis of a Microgrid on Isolated Mode Using CPN Formalism.	PAAMS (Special Sessions)	2017	DBLP DOI BibTeX RDF
22	Tao Sun, Wei Zhang, Xin Guo, Xiaoyun Wan	Research on CPN Model Reduction Focus on Parallel Tested Behaviors.	ISPA/IUCC	2017	DBLP DOI BibTeX RDF
22	Tao Sun 0002, Linjing Zhang, Huiping Ma	An Automatic Generation Method for Condition Expressions of CPN Model Focus on Tested Behaviors.	SpaCCS Workshops	2017	DBLP DOI BibTeX RDF
22	Liping Chen, Weitao Ha	Conformance Checking and QoS Selection Based on CPN for Web Service Composition.	CIS	2017	DBLP DOI BibTeX RDF
22	Miloud Bennama, Thouraya Bouabana-Tebibel	A CTL-based OCL extension using CPN ML for UML validation.	Int. J. Crit. Comput. Based Syst.	2016	DBLP DOI BibTeX RDF
22	Hua Li, Tao Sun, Xianrong Wang, Yi Xing, Yingjie Li, Xinghang Xia	基于CPN对系统的并发行为进行测试 (Testing Concurrent Behavior of System Based on CPN).	计算机科学	2016	DBLP DOI BibTeX RDF
22	Lars Michael Kristensen, Vegard Veiset	Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol.	Petri Nets	2016	DBLP DOI BibTeX RDF
22	Rustam Rakhimov Igorevich, Dugki Min	Survey on CPN Applications in Cloud Computing.	CSA/CUTE	2016	DBLP DOI BibTeX RDF
22	Rustam Rakhimov Igorevich, Daekyo Shin, Dugki Min	CPN Based Analysis of In-Vehicle Secure Communication Protocol.	QSHINE	2016	DBLP DOI BibTeX RDF
22	Weitao Ha, Guojun Zhang, Liping Chen	Conformance Checking and QoS Selection Based on CPN for Web Service Composition.	Int. J. Pattern Recognit. Artif. Intell.	2015	DBLP DOI BibTeX RDF
22	Issam Al-Azzoni	Server consolidation for heterogeneous computer clusters using Colored Petri Nets and CPN Tools.	J. King Saud Univ. Comput. Inf. Sci.	2015	DBLP DOI BibTeX RDF
22	Sebastiaan J. van Zelst, Boudewijn F. van Dongen, Wil M. P. van der Aalst	Know What You Stream: Generating Event Streams from CPN Models in ProM 6.	BPM (Demos)	2015	DBLP BibTeX RDF
22	Clarimundo Machado Moraes Junior, Rita Maria da Silva Julia, Stéphane Julia	Modeling Recursive Search Algorithms by Means of Hierarchical Colored Petri Nets and CPN Tools.	ITNG	2015	DBLP DOI BibTeX RDF
22	Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio	Test Case Generation from Natural Language Requirements Using CPN Simulation.	SBMF	2015	DBLP DOI BibTeX RDF
22	Lianzhang Zhu, Yong Wang, Weishan Zhang, Shaochao Tan	CPN Based Validation on Pervasive Cloud Task Migration.	UIC/ATC/ScalCom	2015	DBLP DOI BibTeX RDF
22	Maryam Davoudpour, Alireza Sadeghian, Hossein Rahnama	"CANthings"(Context Aware Network for the Design of Connected Things) service modeling based on Timed CPN.	ICSC	2015	DBLP DOI BibTeX RDF
22	Jan Czopik, Jakub Stolfa, Svatopluk Stolfa, Michael Alexander Kosinár, Ivo Vondrák	Software Process Resource Utilization Simulation Using CPN.	AECIA	2015	DBLP DOI BibTeX RDF
22	Hua Guan, Shi Ying, Chunwei Wang	A Correctness Verification Approach of the BPEL Exception Handling CPN Model Based on Temporal Property.	J. Networks	2014	DBLP DOI BibTeX RDF
22	Miquel Angel Piera Eroles, Roman Buil, Miguel Mujica Mota	Specification of CPN models into MAS platform for the modelling of social policy issues: FUPOL project.	Int. J. Simul. Process. Model.	2014	DBLP DOI BibTeX RDF
22	Siddhartha Agarwal, Renzhong Wang, Cihan H. Dagli	Executable Architectures Using Cuckoo Search Optimization Coupled with OPM and CPN-A Module: A New Meta-Architecture Model for FILA SoS.	CSDM	2014	DBLP DOI BibTeX RDF
22	Raphael Amoah, Suriadi Suriadi, Seyit Ahmet Çamtepe, Ernest Foo	Security analysis of the non-aggressive challenge response of the DNP3 protocol using a CPN model.	ICC	2014	DBLP DOI BibTeX RDF
22	Estefanía Serral, Johannes De Smedt, Jan Vanthienen	Extending CPN Tools with Ontologies to Support the Management of Context-Adaptive Business Processes.	Business Process Management Workshops	2014	DBLP DOI BibTeX RDF
22	Antoine Desmet, Erol Gelenbe	A Parametric Study of CPN's Convergence Process.	ISCIS	2014	DBLP DOI BibTeX RDF
22	Jan Czopik, Michael Alexander Kosinár, Jakub Stolfa, Svatopluk Stolfa	Formalization of Software Process Using Intuitive Mapping of UML Activity Diagram to CPN.	IBICA	2014	DBLP DOI BibTeX RDF
22	Sachi Nishida, Yoshiyuki Shinkawa	CPN Based GAE Performance Prediction Framework.	ICSOFT EA	2014	DBLP DOI BibTeX RDF
22	Zhifeng Lin, Jiechang Wen, Qiling Chen	Wireless Location on CPN Correction Environmental Factors.	CIS	2014	DBLP DOI BibTeX RDF
22	Jan Czopik, Michael Alexander Kosinár, Jakub Stolfa, Svatopluk Stolfa	Addition of Static Aspects to the Intuitive Mapping of UML Activity Diagram to CPN.	AECIA	2014	DBLP DOI BibTeX RDF
22	Leonid W. Dworzanski, Irina A. Lomazova	CPN tools-assisted simulation and verification of nested Petri nets.	Autom. Control. Comput. Sci.	2013	DBLP DOI BibTeX RDF
22	Michael Westergaard, Dirk Fahland, Christian Stahl	Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching.	Trans. Petri Nets Other Model. Concurr.	2013	DBLP DOI BibTeX RDF
22	Vegard Veiset, Lars Michael Kristensen	Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol.	PNSE+ModPE	2013	DBLP BibTeX RDF
22	Michael Westergaard	CPN Tools 4: Multi-formalism and Extensibility.	Petri Nets	2013	DBLP DOI BibTeX RDF
22	Michael Westergaard, Tijs Slaats	CPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms.	BPM (Demos)	2013	DBLP BibTeX RDF
22	Felipe Bezerra Reis, Vinicius F. Carida, Orides Morandin, Renan L. Castro, Carlos C. M. Tuma	A collaborative fuzzy CPN system for conflict solution of flexible manufacturing system.	IECON	2013	DBLP DOI BibTeX RDF
22	Carmen Banea, Yoonjung Choi, Lingjia Deng, Samer Hassan 0002, Michael Mohler, Bishan Yang, Claire Cardie, Rada Mihalcea, Janyce Wiebe	CPN-CORE: A Text Semantic Similarity System Infused with Opinion Knowledge.	*SEM@NAACL-HLT	2013	DBLP BibTeX RDF
22	Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler	Generating Protocol Software from CPN Models Annotated with Pragmatics.	SBMF	2013	DBLP DOI BibTeX RDF
22	Lulu Dong, Hua Li, Nan He, Yi Xing	Testing OpenFlow interaction property based on hierarchy CPN.	ICNP	2013	DBLP DOI BibTeX RDF
22	Norihide Ishida, Shingo Yamaguchi	Multi-car multi-shaft elevator system design problem and a solution method based on CPN tools.	GCCE	2013	DBLP DOI BibTeX RDF
22	Kent Inge Fagerland Simonsen	PetriCode: A Tool for Template-Based Code Generation from CPN Models.	SEFM Workshops	2013	DBLP DOI BibTeX RDF