Search results for "Petri-net"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	Bernd J. Krämer	Specifying concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Bin Xu 0004, Yun Ling, Xiaojun Li, Yi Zhuang 0001, Bo Jiang, Shuai Zhang, Keting Yin	Determining task priority in dual-shore collaborative software design via Petri Net based behavior compatibility analysis.	CSCWD	2009	DBLP DOI BibTeX RDF
33	Amy J. C. Trappey, David W. Hsiao, Lin Ma, Yu-Liang Chung	Maintenance chain integration using Petri-net enabled Prometheus MAS modeling methodology.	CSCWD	2009	DBLP DOI BibTeX RDF
33	Xiaoping Yang, Xiangbing Zhou	Ontology-oriented Petri Net Model of Semantics Service Composition.	WKDD	2009	DBLP DOI BibTeX RDF
33	ZhiWu Li 0001, MengChu Zhou, Naiqi Wu	A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems.	IEEE Trans. Syst. Man Cybern. Part C	2008	DBLP DOI BibTeX RDF
33	Daliang Wang, Dezheng Zhang, Lixin Gao, Jianming Liu, Huansheng Zhang	Process Knowledge Verification Method Based on Petri Net.	WKDD	2008	DBLP DOI BibTeX RDF
33	Zhang Baiyi, Cui Shangsen	A Parallel Backward Reasoning Study Using Fuzzy Petri Net.	CSSE (3)	2008	DBLP DOI BibTeX RDF
33	Hejiao Huang, Yun Peng, Jing Li	Joint Routing and Channel Assignment in WMN Using Extended Petri Net.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
33	Simon Tjell	Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems.	SIES	2007	DBLP DOI BibTeX RDF
33	Chun-Chia Wang, Lawrence Y. Deng, Yung-Hui Chen	A Petri Net-based Approach to Trust Development and Activity Understanding in Virtual University.	ICALT	2007	DBLP DOI BibTeX RDF	Scaffolding Theory, Trust Development, Activity Understanding, E-Learning, Virtual University
33	Zipeng Zhang, Shuqing Wang, Suyi Liu	Dynamic Knowledge Inference and Learning of Fuzzy Petri Net Expert System Based on Self-Adaptation Learning Techniques.	FSKD (1)	2007	DBLP DOI BibTeX RDF
33	Niels Lohmann	A Feature-Complete Petri Net Semantics for WS-BPEL 2.0.	WS-FM	2007	DBLP DOI BibTeX RDF
33	Daniel Karlsson, Petru Eles, Zebo Peng	Formal verification of systemc designs using a petri-net based representation.	DATE	2006	DBLP DOI BibTeX RDF
33	Ekkart Kindler, Vladimir A. Rubin, Wilhelm Schäfer	Process Mining and Petri Net Synthesis.	Business Process Management Workshops	2006	DBLP DOI BibTeX RDF
33	Fuqing Zhao, Qiuyu Zhang, Yahong Yang	A Scheduling Holon Modeling Method with Petri Net and its Optimization with a Novel PSO-GA Algorithm.	CSCWD	2006	DBLP DOI BibTeX RDF
33	T. H. Fung	Specifications and Rapid Prototyping of Multi-agent Systems through Coloured Petri Net Represented in Abductive Logic Programming (CPN-LP).	Web Intelligence	2006	DBLP DOI BibTeX RDF
33	Haibo Li, De-chen Zhan	Consistency of User Interface Based on Petri-Net.	APWeb Workshops	2006	DBLP DOI BibTeX RDF
33	Shang Gao 0003, Zili Zhang 0001, Igor T. Hawryszkiewycz	Supporting Adaptive Learning in Hypertext Environment: A High Level Timed Petri Net Based Approach.	ICALT	2005	DBLP DOI BibTeX RDF
33	Mixia Liu, Qiuyu Zhang, Dongmei Yu, Zhao Hong	Formal security model research based on Petri-net.	GrC	2005	DBLP DOI BibTeX RDF
33	Monika Heiner, Ina Koch	Petri Net Based Model Validation in Systems Biology.	ICATPN	2004	DBLP DOI BibTeX RDF
33	Ekkart Kindler, Csaba Páles	3D-Visualization of Petri Net Models: Concept and Realization.	ICATPN	2004	DBLP DOI BibTeX RDF
33	Jinyu Zhan, Nan Sang, Guangze Xiong	Formal Co-verification for SoC Design with Colored Petri Net.	ICESS	2004	DBLP DOI BibTeX RDF
33	Wei Zhang, Xin Xia 0002, Zhangxi Tan	Modeling just-in-time protocol for WDM optical burst switching networks using general stochastic high level Petri net.	SMC (5)	2004	DBLP DOI BibTeX RDF
33	Murat Uzam, MengChu Zhou	Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems.	SMC (5)	2004	DBLP DOI BibTeX RDF
33	Feilong Tang, Minglu Li 0001, Joshua Zhexue Huang, Cho-Li Wang, Zongwei Luo	Petri-Net-Based Coordination Algorithms for Grid Transactions.	ISPA	2004	DBLP DOI BibTeX RDF
33	Raymond R. Devillers, Hanna Klaudel, Maciej Koutny	Petri Net Semantics of the Finite pi-Calculus.	FORTE	2004	DBLP DOI BibTeX RDF
33	Victor Khomenko, Maciej Koutny, Walter Vogler	Canonical prefixes of Petri net unfoldings.	Acta Informatica	2003	DBLP DOI BibTeX RDF
33	Boleslaw Mikolajczak, Zuyan Wang	Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms.	ER	2003	DBLP DOI BibTeX RDF
33	Peter Lory	A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net.	Business Process Management	2003	DBLP DOI BibTeX RDF
33	Jason H. Moore, Lance W. Hahn	Grammatical Evolution for the Discovery of Petri Net Models of Complex Genetic Systems.	GECCO	2003	DBLP DOI BibTeX RDF
33	Slavek Bulach, Anton Brauchle, Hans-Jörg Pfleiderer, Zdenek Kucerovsky	Design and Implementation of Discrete Event Control Systems: A Petri Net Based Hardware Approach.	Discret. Event Dyn. Syst.	2002	DBLP DOI BibTeX RDF	Petri nets, ASIC, DES, event-driven, programmable controller
33	Ashok K. Murugavel, N. Ranganathan	Power estimation of sequential circuits using hierarchical colored hardware petri net modeling.	ISLPED	2002	DBLP DOI BibTeX RDF
33	Ricardo Jorge Machado 0001, João M. Fernandes	A Petri Net Meta-Model to Develop Software Components for Embedded Systems.	ACSD	2001	DBLP DOI BibTeX RDF
33	Gyung-Leen Park, Hee Yong Youn, Hyunseung Choo	Optimal Checkpoint Interval Analysis Using Stochastic Petri Net.	PRDC	2001	DBLP DOI BibTeX RDF
33	Frederick T. Sheldon, Stefan Greiner, Matthias Benzinger	Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models.	IWSSD	2000	DBLP BibTeX RDF
33	Jiacun Wang, Chun Jin, Yi Deng 0001	Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models.	COMPSAC	1999	DBLP DOI BibTeX RDF	Traffic control systems, performance evaluation, stochastic timed Petri nets
33	Matthew B. Dwyer, Lori A. Clarke	A Compact Petri Net Representation and Its Implications for Analysis.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	coarsened representations, Petri nets, reachability analysis, program representations, Software validation
33	Mbi Makungu, Richard St-Denis, Michel Barbeau	A Colored Petri Net-Based Format Method for the Design of Control Systems.	COMPSAC	1996	DBLP DOI BibTeX RDF
33	Alberto Bugarín, Purificación Cariñena, Manuel Fernández Delgado, Senén Barro	Petri Net Representation of Fuzzy Reasoning under Incomplete Information.	ISMVL	1996	DBLP DOI BibTeX RDF	Fuzzy Reasoning, Fuzzy Petri Nets, Fuzzy Expert Systems
33	A. T. Chamillard, Lori A. Clarke	Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs.	ISSTA	1996	DBLP DOI BibTeX RDF
33	Astrid Kiehn	Petri Net systems and their closure properties.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF
33	Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He	Mapping Software Architecture Specification to Rewriting Logic (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	Software architecture specification, Petri net, rewriting logic, interleaving semantics
33	Franco Cicirelli, Angelo Furfaro, Libero Nigro	Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Temporal uncertainty, Time interval based event delivery, Modelling complex real-time systems, Modularity constructs, Petri Net Markup Language, Distributed simulation, Time Petri nets, Time warp, Temporal analysis, Logical clocks
33	Isaac Barjis, Ajmal Zemmar, Faisal Mohammad, Fakhreldin A. Sabel, Walied Samarrai	Modeling and simulation of IRES - engagement during the process of mRNA translation in cells infected with hepatitis C virus.	SCSC	2007	DBLP BibTeX RDF	simulation, modeling, Petri net, transcription, IRES
33	Lionel Amodeo, Haoxun Chen, Aboubacar El Hadji	Multi-objective Supply Chain Optimization: An Industrial Case Study.	EvoWorkshops	2007	DBLP DOI BibTeX RDF	Simulation, Petri Net, Multi-objective Optimization, Supply chain management, NSGA-II
33	Joseph Barjis	A Business Process Modeling and Simulation Method Using DEMO.	ICEIS (Selected Papers)	2007	DBLP DOI BibTeX RDF	Petri net application, Model checking, DEMO, modeling method, business process simulation
33	Lu Ma, Jeffrey J. P. Tsai, Tadao Murata	A Secure Mobile Agent System Model Based on Extended Elementary Object System.	COMPSAC	2004	DBLP DOI BibTeX RDF	mobile agent, security mechanism, object Petri net
33	Sea Ling, Seng Wai Loke	Advanced Petri Nets for Modelling Mobile Agent Enabled Interorganizational Workflows.	ECBS	2002	DBLP DOI BibTeX RDF	Petri net, mobile agent, workflow
33	Huiqun Yu, Xudong He, Yi Deng 0001, Lian Mo	A Formal Method for Analyzing Software Architecture Models in SAM.	COMPSAC	2002	DBLP DOI BibTeX RDF	verification, Software architecture, Petri net, temporal logic, SAM
33	Nuria Medina-Medina, Lina García-Cabrera, María José Rodríguez-Fórtiz, José Parets-Llorca	Adaptation in an Evolutionary Hypermedia System: Using Semantic and Petri Nets.	AH	2002	DBLP DOI BibTeX RDF	SEM-HP model, Adaptation, Petri Net, Evolution, Hypermedia System
33	Wil M. P. van der Aalst, Kees M. van Hee	Framework for business process redesign.	WETICE	1995	DBLP DOI BibTeX RDF	business process reengineering efforts, Petri net based framework, Petri nets, business data processing, high-level Petri nets, systems re-engineering, business process redesign, corporate modelling
33	MengChu Zhou, Dianlong Guo, Frank DiCesare	Integration of Petri nets and moment generating function approaches for system performance evaluation.	J. Syst. Integr.	1993	DBLP DOI BibTeX RDF	arbitrary stochastic Petri net(s) (ASPN), moment generating functions, integrated manufacturing systems, performance evaluation, Discrete event dynamic systems
33	Yoheved Dotan, Benjamin Arazi	Using Flat Concurrent Prolog in System Modeling.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	flat concurrent Prolog, AND components, FCP, Petri net methods, reduction process, free competition, conflictingenabled transitions, metaprogramming technique, parallel programming, Petri nets, Petri nets, parallelism, synchronization, logic programming, virtual machines, PROLOG, parallel systems, system modeling, data flow, structural analysis, structured programming, shared variables, guarded commands, indeterminacy
32	Lawrence Cabac, Till Dörges, Heiko Rölke	A Monitoring Toolset for Paose.	Petri Nets	2008	DBLP DOI BibTeX RDF	Paose, multi-agent systems, testing, monitoring, debugging, analysis, inspection, Renew, reference nets
32	Josep Carmona 0001, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev	A Symbolic Algorithm for the Synthesis of Bounded Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF
32	Michele Nasu Tomiyama, Stéphane Julia	Modelling biological processes using differential predicate transition Petri nets.	SMC	2007	DBLP DOI BibTeX RDF
32	Ramon Piedrafita Moreno, José Luis Villarroel Salcedo	Performance evaluation of petri nets execution algorithms.	SMC	2007	DBLP DOI BibTeX RDF
32	Calin Ciufudean, Adrian Graur, Constantin Filote, Cornel Turcu, Valentin Popa	Diagnosis of Complex Systems Using Ant Colony Decision Petri Nets.	ARES	2006	DBLP DOI BibTeX RDF	Ant Colony Optimization algorithm, Stochastic Petri nets, discrete-event systems
32	L. Jason Steggles, Richard Banks, Anil Wipat	Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets.	CMSB	2006	DBLP DOI BibTeX RDF
32	Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima, Leonardo Barros, Arthur Bessa	An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints.	PATMOS	2005	DBLP DOI BibTeX RDF
32	Tomiyuki Fukunaga, Qi-Wei Ge, Mitsuru Nakata	On generating elementary T-invariants of Petri nets by linear programming.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
32	Ali A. Pouyan, Steve Reeves	Behavioral modeling for mobile agent systems using Petri nets.	SMC (5)	2004	DBLP DOI BibTeX RDF
32	ZhiWu Li 0001, MengChu Zhou	Some results and open problems concerning elementary siphons of Petri nets.	SMC (2)	2004	DBLP DOI BibTeX RDF
32	Paolo Baldan, Barbara König 0001, Bernhard König	A Logic for Analyzing Abstractions of Graph Transformation Systems.	SAS	2003	DBLP DOI BibTeX RDF
32	Bernd Grahlmann	Combining Finite Automata, Parallel Programs and SDL Using Petri Nets.	TACAS	1998	DBLP DOI BibTeX RDF
32	Javier Esparza, Stephan Melzer	Model Checking LTL Using Constraint Programming.	ICATPN	1997	DBLP DOI BibTeX RDF
32	Yamina Sami, Guy Vidal-Naquet	Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications.	PARLE (2)	1991	DBLP DOI BibTeX RDF	static systems, dynamic systems, parallel languages, actors, colored Petri nets
32	Jacques Vautherin	Parallel systems specitications with coloured Petri nets and algebraic specifications.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
32	Józef Winkowski	On Sequential Modelling of Non-Sequential Processes.	MFCS	1976	DBLP DOI BibTeX RDF
32	Wei Tan 0001, Yushun Fan	Model Fragmentation for Distributed Workflow Execution: A Petri Net Approach.	ISSADS	2005	DBLP DOI BibTeX RDF
32	Kamyar Sarshar, Peter Loos	Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective.	Business Process Management	2005	DBLP DOI BibTeX RDF
32	Sang-Yoon Min, Ik-Joo Han, Wei-Jin Park, Doo-Hwan Bae	An Approach to Software Process Management Based on Formal Process Modeling and Analysis.	APSEC	1997	DBLP DOI BibTeX RDF	Petri net, Process modeling, Software Process Management, Process Analysis
31	Zhiwu Li 0001, Mi Zhao	On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
31	Rachid Hamadi, Boualem Benatallah, Brahim Medjahed	Self-adapting recovery nets for policy-driven exception handling in business processes.	Distributed Parallel Databases	2008	DBLP DOI BibTeX RDF	Self-adapting recovery net (SARN), Task-based recovery, Region-based recovery, Petri nets, Business processes, Exception handling
31	Hua Xu, Yuan Wang, Peifa Jia	Fuzzy Neural Petri Nets.	ISNN (2)	2007	DBLP DOI BibTeX RDF
31	Azadeh Farzan, P. Madhusudan	Causal Atomicity.	CAV	2006	DBLP DOI BibTeX RDF
31	Robert Lorenz 0001, Gabriel Juhás	Towards Synthesis of Petri Nets from Scenarios.	ICATPN	2006	DBLP DOI BibTeX RDF
31	Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl	Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
31	Rachid Hamadi, Boualem Benatallah	Recovery Nets: Towards Self-Adaptive Workflow Systems.	WISE	2004	DBLP DOI BibTeX RDF
31	Fabio Balduzzi, Angela Di Febbraro, Alessandro Giua, Carla Seatzu	Decidability results in First-Order Hybrid Petri Nets.	Discret. Event Dyn. Syst.	2001	DBLP DOI BibTeX RDF	hybrid Petri nets, decidability properties, timed automata, hybrid automata
31	Nacéra Bennacer, Gerard Florin, Céline Fraize, Stéphane Natkin	Probabilistic Validation of a Remote Procedure Call Protocol.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
31	Christophe Sibertin-Blanc	Cooperative Nets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
31	Johan Lilius	High-Level Nets and Linear Logic.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF	Classification Analysis and synthesis, structure and behavior of nets, higherlevel net models
30	ZhiWu Li 0001, MengChu Zhou	Control of Elementary and Dependent Siphons in Petri Nets and Their Application.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
30	Karsten Wolf	How Petri Net Theory Serves Petri Net Model Checking: A Survey.	Trans. Petri Nets Other Model. Concurr.	2019	DBLP DOI BibTeX RDF
30	Qian Gao, Young Im Cho	A Subclass of Petri Net with Reachability Equivalent to State Equation Satisfiability: Live Single Branch Petri Net.	Int. J. Fuzzy Log. Intell. Syst.	2013	DBLP DOI BibTeX RDF
30	João Paulo Barros, Luís Gomes 0001, Anikó Costa	On the verification of non-autonomous Petri net models using autonomous petri net tools.	IECON	2012	DBLP DOI BibTeX RDF
30	Niels Lohmann, Stephan Mennicke, Christian Sura	The Petri Net API A Collection of Petri Net-related Functions.	AWPN	2010	DBLP BibTeX RDF
30	Burcin Bostan-Korpeoglu	A fuzzy petri net model for intelligent databases ; Akıllı veritabanları için bulanık bir petri net modeli. (PDF / PS)		2005	RDF
30	Ina Koch, Markus Schüler, Monika Heiner	STEPP - Search Tool for Exploration of Petri net Paths: A new tool for Petri net-based path analysis in biochemical networks.	Silico Biol.	2004	DBLP BibTeX RDF
29	Robert Lorenz 0001, Robin Bergenthum, Jörg Desel, Sebastian Mauser	Synthesis of Petri Nets from Finite Partial Languages.	ACSD	2007	DBLP DOI BibTeX RDF
29	Walter Vogler	Concurrent Implementation of Asynchronous Transition Systems.	ICATPN	1999	DBLP DOI BibTeX RDF
29	Peter Vanbekbergen, Bill Lin 0001, Gert Goossens, Hugo De Man	A generalized state assignment theory for transformations on signal transition graphs.	J. VLSI Signal Process.	1994	DBLP DOI BibTeX RDF
29	Zhijun Ding, Changjun Jiang, MengChu Zhou, Yaying Zhang	Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
29	Frédéric Peschanski, David Julien	When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets.	ZB	2003	DBLP DOI BibTeX RDF
29	Louis-Marie Le Ny, Bruno Tuffin	Modeling and Analysis of Multi-class Threshold-Based Queues with Hysteresis Using Stochastic Petri Nets.	ICATPN	2002	DBLP DOI BibTeX RDF	Threshold queues, Fluid Stochastic Petri Nets, Performance analysis, Stochastic Petri Nets, Hysteresis
29	Michael Leuschel, Helko Lehmann	Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction.	Computational Logic	2000	DBLP DOI BibTeX RDF
29	Gabriel Juhás	Reasoning about Algebraic Generalisation of Petri Nets.	ICATPN	1999	DBLP DOI BibTeX RDF
29	Xenofon D. Koutsoukos, Panos J. Antsaklis	Hybrid Control Systems Usind Timed Petri Nets: Supervisory Control Design Based on Invariant Properties.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
29	Weili Yao, Xudong He	Mapping Petri Nets to Parallel Programs in CC++.	COMPSAC	1996	DBLP DOI BibTeX RDF