Search results for "Petri-net"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
52	Reiko Heckel	Open Petri Nets as Semantic Model for Workflow Integration.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
52	Eckehard Schnieder, Mourad Chouikha, Stefan Einer, Michael Meyer zu Hörste	BASYSNET - An Integrated Approach for Automated Control System Development.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
52	Jetty Kleijn	Team Automata for CSCW - A Survey.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
52	Kirsten Lenz, Andreas Oberweis	Inter-organizational Business Process Management with XML Nets.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
52	Paul W. P. J. Grefen, Samuil Angelov	Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
52	Jörg Desel, Thomas Erwin	Quantitative Engineering of Business Processes with VIP business.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
52	Wil M. P. van der Aalst	Inheritance of Business Processes: A Journey Visiting Four Notorious Problems.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
52	Ekkart Kindler, Hagen Völzer	Flexibility in Algebraic Nets.	ICATPN	1998	DBLP DOI BibTeX RDF	Algebraic Petri nets, place invariants, verification techniques
52	Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev	Synthesizing Petri nets from state-based models.	ICCAD	1995	DBLP DOI BibTeX RDF	Petri nets, Synthesis, Finite State Machines, Asynchronous Circuits, Transition Systems
52	Yaojun Han, Changjun Jiang, Xuemei Luo	Resource Scheduling Scheme for Grid Computing and Its Petri Net Model and Analysis.	ISPA Workshops	2005	DBLP DOI BibTeX RDF
52	Guillaume Gardey, Olivier H. Roux, Olivier F. Roux	Using Zone Graph Method for Computing the State Space of a Time Petri Net.	FORMATS	2003	DBLP DOI BibTeX RDF	Verification, Reachability Analysis, Time Petri Nets, State Space, Zone
52	Harro Wimmel, Lutz Priese	Algebraic Characterization of Petri Net Pomset Semantics.	CONCUR	1997	DBLP DOI BibTeX RDF
52	Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski	High-Level Nets with Nets and Rules as Tokens.	ICATPN	2005	DBLP DOI BibTeX RDF	High-level net models, algebraic high-level nets, nets and rules as tokens, integration of net theory and graph transformations, case study: House of Philosophers, graph grammars and Petri net transformations, algebraic specifications
52	Lan Xiao, Li Zheng 0002, Jian Xiao, Yi Huang	A Graphical Query Language for Querying Petri Nets.	UNISCON	2009	DBLP DOI BibTeX RDF	Petri Net, Query Language, Business Process Modeling
52	Huiqun Yu, Xudong He, Yi Deng 0001, Lian Mo	Formal Analysis of Real-Time Systems with SAM.	ICFEM	2002	DBLP DOI BibTeX RDF	model, Real-time system, Petri net, temporal logic, analysis, SAM
51	Henricus M. W. (Eric) Verbeek, A. Johannes Pretorius, Wil M. P. van der Aalst, Jarke J. van Wijk	Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF	Petri-net synthesis, visualization, attributes, state spaces
51	Yubin Zhong	The Design and Research of Controller in Fuzzy PETRI NET.	ICFIE	2007	DBLP DOI BibTeX RDF	Place invariant, Dead lock Phenomenon, Optimize, Controller, Fuzzy PETRI NET
51	Yueh-Min Huang, Juei-Nan Chen, Shu-Chen Cheng, William C. Chu	Agent-BasedWeb Learning System Applying Dynamic Fuzzy Petri Net.	ICWL	2004	DBLP DOI BibTeX RDF	Dynamic Fuzzy Petri Net, Agent, E-Learning
51	Soon Myoung Chung, Anil L. Pereira	Timed Petri Net Representation of the Synchronized Multimedia Integration Language (SMIL) of XML.	ITCC	2003	DBLP DOI BibTeX RDF	Synchronized Multimedia Integration Language (SMIL), Timed Petri Net (TPN), synchronization of multimedia streams, graphical representation
51	Fei-Yue Wang 0001, Michael Mittmann, George N. Saridis	Coordination specification for CIRSSE robotic platform system using Petri net transducers.	J. Intell. Robotic Syst.	1994	DBLP DOI BibTeX RDF	Petri net transducer, coordination structure, intelligent machines, communication, command language
51	Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè	A Unified High-Level Petri Net Formalism for Time-Critical Systems.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	environment relationship nets, time-critical systems, ER nets, time notation, specification support environment, formal specification, Petri nets, software tools, timing, high-level Petri net
51	Sol M. Shatz, Khanh Mai, Christopher Black, Shengru Tu	Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	Ada tasking analysis, analysis framework, tasking-oriented toolkit for the Ada language, TOTAL, front-end translator subsystem, FETS, back-end information display subsystem, Ada-net reachability graphs, Petri net, Petri nets, Ada, software tools, query, toolkit, utility, BIDS, Ada tasking
51	Robert Lorenz 0001, Sebastian Mauser, Gabriel Juhás	How to synthesize nets from languages: a survey.	WSC	2007	DBLP DOI BibTeX RDF
51	Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng	Consistency Checking of Concurrent Models for Scenario-Based Specifications.	SDL Forum	2005	DBLP DOI BibTeX RDF
51	Feng Yu, Junzhou Luo, Wei Li 0017, La-Lin Jiang	Formal Specification and Analysis of Intelligent Network Management System by Using Colored Petri Net.	NAS	2009	DBLP DOI BibTeX RDF
51	Xianwen Fang, Yan Zhao, Zhixiang Yin	The Study on Data Distribution Management Based on Petri Net.	ICICIC (2)	2006	DBLP DOI BibTeX RDF
51	Xinyu Shao, Ping Jiang 0005, Haobo Qiu, Liang Gao 0001	Workflow Modeling for Virtual Enterprise: a Petri Net Based Process-View Approach.	CSCWD	2006	DBLP DOI BibTeX RDF
51	Bing Liu 0005, Huaping Chen 0001	Web Service Composition and Analysis: A Petri-net Based Approach.	SKG	2005	DBLP DOI BibTeX RDF
51	Yu-Liang Chi, Ming-Hung Tsai, Chih-Wei Lee	A Petri-Net based Validator in Reliability of a Composite Service.	EEE	2005	DBLP DOI BibTeX RDF
51	Ahmed Gomaa, Nabil R. Adam, Vijayalakshmi Atluri	Color Time Petri Net for Interactive Adaptive Multimedia Objects.	MMM	2005	DBLP DOI BibTeX RDF
51	Alexander Norta	Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower.	ICATPN	2004	DBLP DOI BibTeX RDF
51	Shouguang Wang, Senlin Zhang, Gangfeng Yan	Synthesis of Petri net controller to enforce conjunction of GMEC using observer.	SMC (2)	2004	DBLP DOI BibTeX RDF
51	Ashok K. Murugavel, N. Ranganathan	Petri net modeling of gate and interconnect delays for power estimation.	IEEE Trans. Very Large Scale Integr. Syst.	2003	DBLP DOI BibTeX RDF
51	Éric Badouel, Benoît Caillaud, Philippe Darondeau	Distributing Finite Automata Through Petri Net Synthesis.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	General Petri nets, Distribution, Synthesis, Finite automata, Regions
51	Herbert Weber, Sabine Lembke, Alexander Borusan	Improving the Usability of Petri Nets with the »Petri Net Baukasten«.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
51	Joost Engelfriet, George Leih, Grzegorz Rozenberg	Net-Based Description Of Parallel Object-Based Systems, or POTs and POPs.	REX Workshop	1990	DBLP DOI BibTeX RDF	actor system, communication, Petri net, Parallel, observation, operational semantics, transition system, handshaking, object-based
51	Weihua Niu, Zhuping Yang	Workflow Model Based on Time-Extended and Hierarchy-Extended Petri-Net.	ISIP	2008	DBLP DOI BibTeX RDF	time-extended, hierarchy-extended, Petri-Net, workflow model
51	Christoph Schneider, Joachim Wehler	Petri Net Theory - Problems Solved by Commutative Algebra.	ICATPN	1999	DBLP DOI BibTeX RDF	Artin net, commutative net, Gröbner theory, Coloured Petri net, flow, reachability
50	Franck Pommereau	Quickly prototyping petri nets tools with SNAKES.	SimuTools	2008	DBLP DOI BibTeX RDF	quick prototyping, petri nets
50	Ralph Mueller, Christos Alexopoulos, Leon F. McGinnis	Automatic generation of simulation models for semiconductor manufacturing.	WSC	2007	DBLP DOI BibTeX RDF
50	Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri	An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	deadlock analysis, net reduction, concurrent software, Petri nets, reachability analysis, Ada tasking
49	ZhiWu Li 0001, MengChu Zhou	Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
49	Haiping Xu, Sol M. Shatz	An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce.	ISADS	2001	DBLP DOI BibTeX RDF
49	Hsu-Chun Yen	Priority Conflict-Free Petri Nets.	Acta Informatica	1998	DBLP DOI BibTeX RDF
49	Robert G. Willhoft	Petri-Net Evaluation Using APL2.	APL	1992	DBLP DOI BibTeX RDF	APL
49	Astrid Kiehn	Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net Semantics.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
48	Rik Eshuis, Juliane Dehnert	Reactive Petri Nets for Workflow Modeling.	ICATPN	2003	DBLP DOI BibTeX RDF
48	Stephen J. H. Yang, Jeffrey J. P. Tsai, Chyun-Chyi Chen	Fuzzy Rule Base Systems Verification Using High-Level Petri Nets.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	rules reasoning, rule verification, Petri nets, formalism, high-level Petri nets, fuzzy rules, certainty factors
48	Mark-Oliver Stehr, José Meseguer 0001, Peter Csaba Ölveczky	Rewriting Logic as a Unifying Framework for Petri Nets.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
48	Charles Lakos	From Coloured Petri Nets to Object Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Theory of High-Level Petri Nets, Multiple Levels of Abstraction, Object-Orientation
48	Rodney R. Howell, Petr Jancar, Louis E. Rosier	Single-Path Petri Nets.	MFCS	1991	DBLP DOI BibTeX RDF
48	Rui Pais, S. P. Barros, Luís Gomes 0001	A tool for tailored code generation from Petri net models.	ETFA	2005	DBLP DOI BibTeX RDF
48	Xiang Chen, Xinglin Li	A Study on Workflow Resource Management Based on Workflow Net and Agent.	CONFENIS (1)	2007	DBLP DOI BibTeX RDF	Workflow net (WF-net), Workflow resource management, Agent, Colored Petri net, Workflow model, Business process analysis
47	Gordan Topic, Dragan Jevtic, Marijan Kunstic	Petri Net-Based Simulation and Analysis of the Software Development Process.	KES (2)	2008	DBLP DOI BibTeX RDF	software development, process modeling, colored Petri net
47	Norihiro Kamide	Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	electric circuit, linear logic with strong negation, Petri net with inhibitor arc, phase semantics, medical diagnosis
47	Konstantin Knorr, Harald Weidner	Analyzing Separation of Duties in Petri Net Workflows.	MMM-ACNS	2001	DBLP DOI BibTeX RDF	Petri net, workflow, Logical programming, separation of duties
47	Miguel Felder, Dino Mandrioli, Angelo Morzenti	Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	property proving, logical specifications, TRIO, Hoare method, dual language, real-time systems, real-time systems, embedded systems, formal specification, formal specification, Petri nets, temporal logic, temporal logic, theorem proving, first-order logic, timed Petri net, formal analysis, axiomatization
47	Jason H. Moore, Lance W. Hahn	An Improved Grammatical Evolution Strategy for Hierarchical Petri Net Modeling of Complex Genetic Systems.	EvoWorkshops	2004	DBLP DOI BibTeX RDF
47	H. M. W. Verbeek, Alexander Hirnschall, Wil M. P. van der Aalst	XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology.	WES	2002	DBLP DOI BibTeX RDF	WF-net, XRL, PNML, XML, Workflow, enactment, Inter-organizational
47	Marco Gribaudo, Matteo Sereno	On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking.	ICATPN	1998	DBLP DOI BibTeX RDF
47	Christine Choppy, Colette Johnen	PETRIREVE: Proving Petri Net Properties with Rewriting Systems.	RTA	1985	DBLP DOI BibTeX RDF
47	Shangmin Luan, Guozhong Dai	An algebraic approach to revising propositional rule-based knowledge bases.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	knowledge base revision, rule-based knowledge base, Petri net, consistency check
46	Yaojun Han, Changjun Jiang, Xuemei Luo	A Study of Concurrency Control in Web-Based Distributed Real-Time Database System Using Extended Time Petri Nets.	ISPAN	2004	DBLP DOI BibTeX RDF
46	Leslaw Gniewek, Jacek Kluska	Hardware implementation of fuzzy Petri net as a controller.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
46	Fei Xue, Da-Zhong Zheng	Diagnosability for discrete event systems based on Petri net language.	ICARCV	2004	DBLP DOI BibTeX RDF
46	Jin-Cheon Na, Richard Furuta	Context-Aware Digital Documents Described in a High-Level Petri Net-Based Hypermedia System.	DDEP/PODDP	2000	DBLP DOI BibTeX RDF
46	Ernst-Rüdiger Olderog	Operational Petri net semantics for CCSP.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
46	Hejiao Huang, Hélène Kirchner	Component-Based Security Policy Design with Colored Petri Nets.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF	security policy, colored Petri net, specification and verification, property-preservation
46	Ping Jiang 0005, Xinyu Shao, Liang Gao 0001, Zhenfeng Yang	A Multi-agent System for Cross-Organizational Workflows Management Based on Process-View.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF	Cross-organizational workflows management, Multi-agent system, Petri net, Mapping, Process-view
46	Carolyn L. Talcott, David L. Dill	Multiple Representations of Biological Processes.	Trans. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF	biological process, Pathway Logic, Petri Net, Rewriting Logic, Signal transduction
46	Vadim Bulitko, David C. Wilkins	Machine Learning for Time Interval Petri Nets.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF	domain model learning, Petri net learning, spatial-temporal data series learning, automated damage control, real-time decision-making
46	Timothy K. Shih, Lawrence Y. Deng, Yi-Chun Liao, Chun-Hung Huang, Rong-Chi Chang	Using the Floor Control Mechanism in Distributed Multimedia Presentation System.	ICDCS Workshops	2001	DBLP DOI BibTeX RDF	Distributed Multimedia Presentation, Petri Net, Distance Learning, Floor Control
46	Harald Wabnig, Günter Haring, Dieter Kranzlmüller, Jens Volkert	Communication Pattern Based Performance Prediction on the nCUBE 2 Multiprocessor System.	CONPAR	1994	DBLP DOI BibTeX RDF	Petri Net Performance Models, Parallel Processing, Performance Prediction, Wormhole Routing, Communication Patterns
46	Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte	Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	qualitative behavior, firing probabilities, net-level specification, model specification, performance evaluation, formal specification, Petri nets, stochastic processes, structural analysis, structural properties, generalized stochastic Petri net
46	Carlos A. Heuser, Gernot Richter	Constructs for Modeling Information Systems with Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF	side-condition, inhibitor arc, dead transition, information system, conceptual modeling, capacity, multiplicity, high-level Petri net
45	Atsushi Ohta, Chihiro Kato, Kohkichi Tsuji	Structural analysis of Petri nets with batch processing arcs.	ISCAS	2006	DBLP DOI BibTeX RDF
45	Zhao-Li Zhang, Fan Hong, Hai-Jun Xiao	Verification of Strict Integrity Policy via Petri Nets.	ICSNC	2006	DBLP DOI BibTeX RDF
45	S. K. Yang	A condition-based failure-prediction and processing-scheme for preventive maintenance.	IEEE Trans. Reliab.	2003	DBLP DOI BibTeX RDF
45	PengCheng Xiong, Mengchu Zhou, Calton Pu	A Petri Net Siphon Based Solution to Protocol-Level Service Composition Mismatches.	ICWS	2009	DBLP DOI BibTeX RDF
45	Shengru Tu, Wei Sun 0002	Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach.	SEKE	1992	DBLP DOI BibTeX RDF
45	Haiping Xu, Sol M. Shatz	A Framework for Model-Based Design of Agent-Oriented Software.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	G-net, model checking, Petri net, electronic commerce, Multiagent systems, design model
44	Lawrence Cabac, Daniel Moldt	Formal Semantics for AUML Agent Interaction Protocol Diagrams.	AOSE	2004	DBLP DOI BibTeX RDF	Capa, net components, agents, operational semantics, high-level Petri nets, Renew, AUML, reference nets, Mulan, agent interaction protocols
44	Franz-Josef Rammig, Carsten Rust	Modeling of Dynamically Modifiable Embedded Real-Time Systems.	WORDS Fall	2003	DBLP DOI BibTeX RDF	Petri nets, autonomic computing, reconfigurable systems, embedded real-time systems
44	Natsumi Mitou, Hiroshi Matsuno, Satoru Miyano, Shin-Ichi T. Inouye	A Case Study of HFPN Simulation: Finding Essential Roles of Ror Gene in the Interaction of Feedback Loops in Mammalian Circadian Clock.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
44	Simon Hardy, Ravi Iyengar	Analysis of Dynamical Models of Signaling Networks with Petri Nets and Dynamic Graphs.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
44	Annegret Wagler	Prediction of Network Structure.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
44	Ina Koch, Falk Schreiber	Introduction.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
44	Andrea Sackmann	Discrete Modeling.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
44	Tiina Liiving, Syed Murtuza Baker, Björn H. Junker	Biochemical Fundamentals.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
44	Lukas Windhager, Florian Erhard, Ralf Zimmer	Fuzzy Modeling.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
44	Richard Banks, Victor Khomenko, L. Jason Steggles	Modeling Genetic Regulatory Networks.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
44	Jörg Ackermann 0001, Ina Koch	Quantitative Analysis.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
44	Ivan Mura	Stochastic Modeling.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
44	Wolfgang Reisig	Petri Nets.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
44	Claudine Chaouiya, Hanna Klaudel, Franck Pommereau	A Modular, Qualitative Modeling of Regulatory Networks Using Petri Nets.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
44	Stefan Schuster, Björn H. Junker	Topological Analysis of Metabolic and Regulatory Networks.	Modeling in Systems Biology, The Petri Net Approach	2016	DBLP DOI BibTeX RDF
43	William C. Chu, Hongji Yang, Paul Luker	A Formal Method for Software Maintenance.	ICSM	1996	DBLP DOI BibTeX RDF
43	Yi Deng 0001, Shi-Kuo Chang, Jorge C. A. de Figueiredo, Angelo Perkusich	Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
43	Walter Vogler	Behaviour Preserving Refinement of Petri Nets.	WG	1986	DBLP DOI BibTeX RDF
43	Olivier Bertrand, Patrice Carle, Christine Choppy	Modelling chronicle recognition for distributed simulation processing with coloured Petri nets.	SimuTools	2009	DBLP DOI BibTeX RDF	airport simulation, chronicle recognition formal modelling, distributed simulation processing, HLA, coloured petri nets