Search results for "Petri-net"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	N. R. Srinivasa Raghavan, Debjit Roy	A Stochastic Petri Net Approach for Inventory Rationing in Multi-Echelon Supply Chains.	J. Heuristics	2005	DBLP DOI BibTeX RDF	inventory rationing, supply chain management, numerical optimization, GSPN
24	Paulo Sérgio B. do Nascimento, Paulo Romero Martins Maciel, Manoel Eusébio de Lima, Remy Eskinazi Sant'Anna, Abel Guilhermino Silva-Filho	A partial reconfigurable FPGA implementation for industrial controllers using SFC-petri net description (abstract only).	FPGA	2005	DBLP DOI BibTeX RDF
24	Remy Eskinazi Sant'Anna, Manoel Eusébio de Lima, Paulo Romero Martins Maciel, Carlos A. Valderrama, Abel Guilhermino Silva-Filho, Paulo Sérgio B. do Nascimento	A petri-net based Pre-runtime scheduler for dynamically self-reconfiguration of FPGAs (abstract only).	FPGA	2005	DBLP DOI BibTeX RDF
24	Panagiotis Katsaros	On the Design of Access Control to Prevent Sensitive Information Leakage in Distributed Object Systems: A Colored Petri Net Based Model.	OTM Conferences (2)	2005	DBLP DOI BibTeX RDF
24	Eduardo Tavares, Paulo Romero Martins Maciel, Arthur Bessa, Raimundo S. Barreto, Leonardo Barros, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima	A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes.	SBCCI	2005	DBLP DOI BibTeX RDF	embedded hard real-time systems, hardware/software codesign methodologies, software synthesis
24	Tsung-Hsi Chiang, Lan-Rong Dung, Ming-Feng Yaung	Modeling and formal verification of dataflow graph in system-level design using Petri net.	ISCAS (6)	2005	DBLP DOI BibTeX RDF
24	Guido Maione, Michele Ottomanelli	A preliminary Petri net model of the transshipment processes in the Taranto container terminal.	ETFA	2005	DBLP DOI BibTeX RDF
24	Kais Klai, Samir Tata	Abstraction-basedWorkflow Cooperation Using Petri Net Theory.	WETICE	2005	DBLP DOI BibTeX RDF	Inter-organizational Workflows, Cooperative Workflows, Petri nets, invariants
24	Olivier Bonnet-Torrés, Catherine Tessier	From team plan to individual plans: a petri net-based approach.	AAMAS	2005	DBLP DOI BibTeX RDF	hierarchical petri nets, teamwork, replanning, object petri nets
24	Antonio Ramírez-Treviño, Elvia Ruiz-Beltrán, Israel Rivera-Rangel, Ernesto López-Mellado	Diagnosability of Discrete Event Systems: a Petri Net based Approach.	ICRA	2004	DBLP DOI BibTeX RDF
24	Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Raimundo S. Barreto, Fernando F. Carvalho	Towards a Software Power Cost Analysis Framework Using Colored Petri Net.	PATMOS	2004	DBLP DOI BibTeX RDF
24	Jacek Kluska, Zbigniew Hajduk	Digital Implementation of Fuzzy Petri Net Based on Asynchronous Fuzzy RS Flip-Flop.	ICAISC	2004	DBLP DOI BibTeX RDF
24	Hao Yin, Zhangxi Tan, Chuang Lin 0002, Yixin Jiang, Feng Qiu	Modeling mobile Web services flow using generalized stochastic high-level Petri net.	SMC (5)	2004	DBLP DOI BibTeX RDF
24	Mauro Jose Carlos e Silva, Wellington João Silva, Paulo Romero Martins Maciel	Modelling and analysis in production system: an approach based on Petri net.	SMC (5)	2004	DBLP DOI BibTeX RDF
24	Carsten Rust, Matthias Grünewald	Petri net based design of a multi-robot scenario - a case study.	SMC (6)	2004	DBLP DOI BibTeX RDF
24	Ying Tang 0001, MengChu Zhou	Fuzzy-Petri-net based disassembly planning considering human factors.	SMC (5)	2004	DBLP DOI BibTeX RDF
24	Jianghui Ying, Denis Gracanin	Petri Net Model for Subjective Views in Collaborative Virtual Environments.	Smart Graphics	2004	DBLP DOI BibTeX RDF
24	Holger Mauch	A Petri Net Representation for Dynamic Programming Problems in Management Applications.	HICSS	2004	DBLP DOI BibTeX RDF
24	Zhangxi Tan, Chuang Lin 0002, Hao Yin, Ye Hong, Guangxi Zhu	Approximate Performance Analysis of Web Services Flow Using Stochastic Petri Net.	GCC	2004	DBLP DOI BibTeX RDF
24	Raimundo S. Barreto, Sérgio Cavalcante, Paulo Romero Martins Maciel	A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
24	Piotr Chrzastowski-Wachtel, Boualem Benatallah, Rachid Hamadi, Milton O'Dell, Adi Susanto	A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling.	Business Process Management	2003	DBLP DOI BibTeX RDF
24	Shijie Zhou, Zhiguang Qin, Feng Zhang, Xianfeng Zhang, Wei Chen, Jinde Liu	Colored Petri Net Based Attack Modeling.	RSFDGrC	2003	DBLP DOI BibTeX RDF
24	Yi-Feng Wang, Chuei-Tin Chang	A Petri-Net Based Reasoning Procedure for Fault Identification in Sequential Operations.	KES	2003	DBLP DOI BibTeX RDF
24	Keun-Wang Lee, Jong-Hee Lee, Hae-Seok Oh	Petri-Net Model of Multimedia Synchronization in Mobile Environment.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
24	Akihiro Taguchi, Satoshi Taoka, Toshimasa Watanabe	An algorithm GMST for extracting minimal siphon-traps and its application to efficient computation of Petri net invariants.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
24	Xiaofeng Tao, Changjun Jiang	Formalizing Web Service and Modeling Web Service-Based System Based on Object Oriented Petri Net.	GCC (1)	2003	DBLP DOI BibTeX RDF
24	Yaojun Han, Changjun Jiang, You Fu, Xuemei Luo	Resource Scheduling Algorithms for Grid Computing and Its Modeling and Analysis Using Petri Net.	GCC (2)	2003	DBLP DOI BibTeX RDF
24	Unmil Karadkar, Jin-Cheon Na, Richard Furuta	Employing Smart Browsers to Support Flexible Information Presentation in Petri Net-Based Digital Libraries.	ECDL	2002	DBLP DOI BibTeX RDF
24	Leon Blackwell, Brian R. von Konsky, Mike Robey	Petri Net Script: A Visual Language for Describing Action, Behaviour and Plot.	ACSC	2001	DBLP DOI BibTeX RDF
24	Masami Ito, Yoshiyuki Kunimochi	Some Petri Net Languages and Codes.	Developments in Language Theory	2001	DBLP DOI BibTeX RDF
24	Eric Verbeek 0001, Wil M. P. van der Aalst	Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool.	ICATPN	2000	DBLP DOI BibTeX RDF
24	Luis Alejandro Cortés, Petru Eles, Zebo Peng	Verification of Embedded Systems using a Petri Net based Representation.	ISSS	2000	DBLP DOI BibTeX RDF
24	Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino	Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources.	ASE	2000	DBLP DOI BibTeX RDF
24	Peter J. B. King, Rob Pooley	Derivation of Petri Net Performance Models from UML Specifications of Communications Software.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
24	Omer F. Rana, Chiara Biancheri	A Petri Net Model of the Meeting Design Pattern for Mobile-Stationary Agent Interaction.	HICSS	1999	DBLP DOI BibTeX RDF	Petri nets, Mobile-Agents, Design Patterns, Aglets
24	Stefano Russo 0001, Carlo Savy, Innes Jelly, Peter Collingwood	Petri Net Modelling of PARSE Designs.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
24	Luís Gomes 0001, Adolfo Steiger-Garção	Programmable Controller Design based on a Synchronized Colored Petri Net Model and Integrated Fuzzy Reasoning.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
24	J. Berger, Luc Lamontagne	A Colored Petri Net Model for a Naval Command and Control System.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
24	Eike Best, Richard P. Hopkins	B(PN)2 - a Basic Petri Net Programming Notation.	PARLE	1993	DBLP DOI BibTeX RDF	Concurrent Programming Notation, Peterson's Mutual Exclusion Algorithm, Petri Nets
24	Erik Meijer 0001	Petri net models for the lambda-calculus.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
24	Michel Diaz, Pierre Azéma	Petri net based models for the specification and validation of protocols.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
24	Lyle A. Cox Jr.	Predicting concurrent computer system performance using Petri-Net models.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF
23	Charles Lakos	Modelling Mobile IP with Mobile Petri Nets.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF
23	Ivan Poliakov, Victor Khomenko, Alexandre Yakovlev	Workcraft - A Framework for Interpreted Graph Models.	Petri Nets	2009	DBLP DOI BibTeX RDF
23	Michele Baggi, Demis Ballis, Moreno Falaschi	Quantitative Pathway Logic for Computational Biology.	CMSB	2009	DBLP DOI BibTeX RDF
23	Huaiqing Wang, Qingtian Zeng	Modeling and Analysis for Workflow Constrained by Resources and Nondetermined Time: An Approach Based on Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
23	Joaquín Lopez Fernández, Rafael Sanz, Enrique Paz Domonte, Carlos Alonso	Using hierarchical binary Petri nets to build robust mobile robot applications: RoboGraph.	ICRA	2008	DBLP DOI BibTeX RDF
23	Fabiano Cruz, Raimundo S. Barreto, Lucas C. Cordeiro	Towards a model-driven engineering approach for developing embedded hard real-time software.	SAC	2008	DBLP DOI BibTeX RDF	DSL engineering, embedded hard real-time systems, tool-based approaches, petri nets, model-driven engineering, software synthesis
23	Pawel Pawlewski, Paulina Golinska, Marek Fertsch, Jesús A. Trujillo, Zbigniew J. Pasek	Supportive role of the simulation in the process of ship engine crankcase production process of reengineering (case study).	WSC	2008	DBLP DOI BibTeX RDF
23	Georg Peters, Roger Tagg, Richard Weber 0002	An Application of Rough Set Concepts to Workflow Management.	RSKT	2008	DBLP DOI BibTeX RDF	Petri Nets, Rough Sets, Uncertainty, Workflow Management, Soft Computing
23	Mila E. Majster-Cederbaum, Christoph Minnameier	Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets.	SOFSEM	2008	DBLP DOI BibTeX RDF
23	Elisabeth Pelz, Dietmar Tutsch	Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
23	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst	History-Dependent Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
23	Hyunsoo Lee, Bikram Sharda, Amarnath Banerjee	Representation and simulation of stochastic petrinet models using xPNML.	WSC	2007	DBLP DOI BibTeX RDF
23	José R. Celaya, Alan A. Desrochers, Robert J. Graves	Modeling and analysis of multi-agent systems using petri nets.	SMC	2007	DBLP DOI BibTeX RDF
23	Kees M. van Hee, Olivia Oanea, Reinier Post, Lou J. Somers, Jan Martijn E. M. van der Werf	Yasper: a tool for workflow modeling and analysis.	ACSD	2006	DBLP DOI BibTeX RDF
23	Ioana Leahu, Ferucio Laurentiu Tiplea	The Confluence Property for Petri Nets and its Applications.	SYNASC	2006	DBLP DOI BibTeX RDF
23	Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng	Scenario-Based Timing Consistency Checking for Time Petri Nets.	FORTE	2006	DBLP DOI BibTeX RDF
23	Robert Geist, Jacob Hicks, Mark Smotherman, James Westall	Parallel simulation of petri nets on desktop pc hardware.	WSC	2005	DBLP DOI BibTeX RDF
23	Sebastian Hinz, Karsten Schmidt 0004, Christian Stahl	Transforming BPEL to Petri Nets.	Business Process Management	2005	DBLP DOI BibTeX RDF	Petri nets, BPEL, Business process modeling and analysis, Process verification and validation, Formal models in business process management
23	Vladimir A. Bashkin, Irina A. Lomazova	Similarity of Generalized Resources in Petri Nets.	PaCT	2005	DBLP DOI BibTeX RDF
23	Kirsten Lenz, Marco von Mevius, Andreas Oberweis	Process-Oriented Business Performance Management with Petri Nets.	EEE	2005	DBLP DOI BibTeX RDF
23	Deepali Koppad, Alexandre V. Bystrov, Alexandre Yakovlev	Off-Line Testing of Asynchronous Circuits.	VLSI Design	2005	DBLP DOI BibTeX RDF
23	Fu-Shiung Hsieh	Fault-tolerant deadlock avoidance algorithm for assembly processes.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
23	Kolja Lehmann, Daniel Moldt	Modelling and Analysis of Agent Protocols with Petri Nets.	MATES	2004	DBLP DOI BibTeX RDF
23	Juan de Lara, Esther Guerra, Hans Vangheluwe	Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems.	AGTIVE	2003	DBLP DOI BibTeX RDF	Multi-Paradigm, Model-Checking, Hybrid Systems, Meta-Modelling, Graph Rewriting
23	Holger Mauch	Evolving Petri Nets with a Genetic Algorithm.	GECCO	2003	DBLP DOI BibTeX RDF
23	Victor Khomenko, Maciej Koutny	Branching Processes of High-Level Petri Nets.	TACAS	2003	DBLP DOI BibTeX RDF	model checking, Verification, high-level Petri nets, unfolding
23	Krzysztof Juszczyszyn	Verifying Enterprise's Mandatory Access Control Policies with Coloured Petri Nets.	WETICE	2003	DBLP DOI BibTeX RDF
23	Stefan Haar	Probabilistic Unfoldings and Partial Order Fairness in Petri Nets.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF
23	Sangyun Kim 0001, Sunan Tugsinavisut, Peter A. Beerel	Reducing probabilistic timed petri nets for asynchronous architectural analysis.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF
23	Charles Lakos	Object Oriented Modeling with Object Petri Nets.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
23	Fabiano Silva, Marcos A. Castilho, Luis Allan Künzle	Petriplan: A New Algorithm for Plan Generation (Preliminary Report).	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF	Petri Nets, Integer Programming, Reachability, AI Planning
23	Michèle Rombaut, Iman Jarkass, Thierry Denoeux	State Recognition in Discrete Dynamical Systems Using Petri Nets and Evidence Theory.	ESCQARU	1999	DBLP DOI BibTeX RDF
23	Masahiro Yamauchi, Toshimasa Watanabe	A heuristic algorithm SDS for scheduling with timed Petri nets.	ISCAS (6)	1999	DBLP DOI BibTeX RDF
23	Kathi Fisler, Claude Girault	Modelling and Model Checking a Distributed Shared Memory Consistency Protocol.	ICATPN	1998	DBLP DOI BibTeX RDF	Protocol design and verification, model checking, distributed shared memory, high level Petri nets, memory consistency
23	Ludovic Jacomme, Frédéric Pétrot, Rajesh K. Bawa	Formal Extraction of Memorizing Elements for Sequential VHDL Synthesis.	EUROMICRO	1998	DBLP DOI BibTeX RDF
23	Wil M. P. van der Aalst	Verification of Workflow Nets.	ICATPN	1997	DBLP DOI BibTeX RDF
23	Stephen J. H. Yang, William C. Chu, Jonathan Lee, Wei T. Huang	A Fuzzy Petri Nets Based Mechanism for Fuzzy Rules Reasoning.	COMPSAC	1997	DBLP DOI BibTeX RDF	fuzzy rules, fuzzy reasoning, Fuzzy Petri nets
23	Charles Lakos, Glenn Lewis	Animating Formal Specifications Using Java Applets.	TOOLS (25)	1997	DBLP DOI BibTeX RDF	formal specifications, animation, Java applets, Object Petri Nets
23	Roger W. H. Bons, Ronald M. Lee, René W. Wagenaar, Clive D. Wrigley	Modelling inter-organizational trade using Documentary Petri Nets.	HICSS (3)	1995	DBLP DOI BibTeX RDF	inter-organizational trade modelling, Documentary Petri Nets, bilateral agreements, business partners, set-up costs, electronic linkages, interorganizational interaction, modelling environment, trade procedures, common graph-based representation language, Case/Open-edi, simplified documentary credit procedure, Petri nets, knowledge representation, electronic commerce, digital simulation, high level languages, electronic data interchange, financial data processing, electronic trading
23	Yafan An, Grantham Pang, J. Dwight Aplevich	A hybrid model for intelligent control systems.	J. Intell. Robotic Syst.	1994	DBLP DOI BibTeX RDF	modeling, Petri nets, hybrid systems, intelligent control, discrete event systems, Continuous time systems
23	Alois Ferscha, Giovanni Chiola	Accelerating the Evaluation of Parallel Program Performance Models Using Distributed Simulation.	Computer Performance Evaluation	1994	DBLP DOI BibTeX RDF
23	Farhad S. Etessami, Gurdeep S. Hura 0001	Rule-Based Design Methodology for Solving Control Problems.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	control problems, rule-based design methodology, abstract Petri nets, formalism tool, high-level interaction, elevator system, formal specification, Petri nets, specification, software tools, validation, knowledge engineering, dynamic behaviour
23	Anatol W. Holt	Coordination technology and Petri nets.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
23	Victor Khomenko, Maciej Koutny, Alex Yakovlev	Slimming down Petri Boxes: Compact Petri Net Models of Control Flows.	CONCUR	2022	DBLP DOI BibTeX RDF
23	Reggie Davidrajuh	Extracting Petri Modules From Large and Legacy Petri Net Models.	IEEE Access	2020	DBLP DOI BibTeX RDF
23	Paul Cazenave	Synthèse de contrôleurs pour des classes de réseau de Petri à contrôlabilité et observabilité partielles: application au contrôle automatisé des trains. (Synthesis of controllers for Petri net classes with partial controllability and observability: application to automated train control).		2020	RDF
23	Mohamed Torky, Aboul Ella Hassanein	Orbital Petri Nets: A Petri Net Class for Studying Orbital Motion of Tokens.	AISI	2019	DBLP DOI BibTeX RDF
23	Mohamed Torky, Aboul Ella Hassanien	Orbital Petri Nets: A Novel Petri Net Approach.	CoRR	2018	DBLP BibTeX RDF
23	Yojiro Harie, Katsumi Wasaki	Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets.	SIMULTECH	2017	DBLP DOI BibTeX RDF
23	Lom-Messan Hillah, Fabrice Kordon	Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools.	Petri Nets	2017	DBLP DOI BibTeX RDF
23	Christoph Brandau, Nils Potthoff, Dietmar Tutsch, Thomas D. Lepich	Digital Circuit Petri Nets: A new Petri net type to describe and transform digital circuits for product safety engineering.	ICCE-Berlin	2016	DBLP DOI BibTeX RDF
23	Kamila Barylska, Eike Best	Properties of Plain, Pure, and Safe Petri Nets - with some Applications to Petri Net Synthesis.	ATAED@Petri Nets/ACSD	2016	DBLP BibTeX RDF
23	Maristella Ribas	A Petri net decision model for cloud services adoption (Um Modelo de decisão para adoção de serviços em nuvem usando redes de Petri).		2015	RDF
23	Ernst W. Mayr, Jeremias Weihmann	A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application.	Petri Nets	2014	DBLP DOI BibTeX RDF
23	Reggie Davidrajuh	Realizing Simple Petri Net Models for Complex and Large Scheduling Problems: An Approach Based Activity-Oriented Petri Nets.	UKSim	2013	DBLP DOI BibTeX RDF
23	Marius Brezovan, Dumitru Dan Burdescu, Eugen Ganea, Liana Stanescu	High-Level Petri Nets with Object-Orientation - A High-Level Petri Net Model Allowing Multiple Inheritance and Multiple Polymorphism.	IDC	2010	DBLP DOI BibTeX RDF
23	Jürgen Dassow, Sherzod Turaev	Petri Net Controlled Grammars: the Case of Special Petri Nets.	J. Univers. Comput. Sci.	2009	DBLP DOI BibTeX RDF
23	Christophe Pajault	Model checking parallèle et réparti de réseaux de Petri colorés de haut-niveau : application à la vérification automatique de programmes Ada concurrents. (Parallel and distributed high-level colored Petri net model checking).		2008	RDF