Search results for "P/T-nets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
34	Wojciech Fraczak, Elisabeth Pelz	Improved Implementations via a New Structural Equivalence on Labelled Nets.	ICATPN	1997	DBLP DOI BibTeX RDF
34	Jonathan Billington, Cong Yuan	On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	DYMO, MANETs, Coloured Petri Nets, Reachability Analysis, On-Demand Routing
34	Lawrence Cabac, Nicolas Denz	Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF	net components, process mining chains, modeling, Petri nets
34	Serge Haddad, Jean-Michel Ilié, Mohamed Taghelit, Belhassen Zouari	Symbolic Reachability Graph and Partial Symmetries.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Well-Formed Petri nets, Partial Symmetries, Symbolic Reachability graphs
34	Stefan Klink, Yu Li, Andreas Oberweis	INCOME2010 - a toolset for developing process-oriented information systems based on petri nets.	SimuTools	2008	DBLP DOI BibTeX RDF	XML nets, software toolset, SOA, petri nets, information systems
34	Andrzej S. Murawski, C.-H. Luke Ong	Fast verification of MLL proof nets via IMLL.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Multiplicative linear logic, disjoint union find, essential nets, dominator trees, proof nets
34	Dianxiang Xu, Kendall E. Nygard	Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	aspect-oriented Petri nets, modeling, verification, Petri nets, aspect-oriented software development, Software security, threat modeling
34	Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, John Yen	Modeling and verifying multi-agent behaviors using predicate/transition nets.	SEKE	2002	DBLP DOI BibTeX RDF	verification, formal methods, petri nets, multiagent systems, predicate/transition nets
34	Karsten Schmidt 0004	Stubborn Sets for Standard Properties.	ICATPN	1999	DBLP DOI BibTeX RDF	(Theory) Analysis of nets, Computer tools for nets
34	Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon	Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	incremental specification, use case dependency analysis, Petri nets slice, Petri nets, requirements engineering, scenarios, Use cases
34	Rossano Gaeta	Efficient Discrete-Event Simulation of Colored Petri Nets.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	stochastic well-formed nets, model symmetries, efficient simulation algorithms, Discrete event simulation, high-level Petri nets, symbolic simulation
34	Arkady B. Zaslavsky, L. H. Yeo, Simon J. Lai, Boris Mitelman	Petri nets analysis of transaction and submitter management protocols in mobile distributed computing environment.	ICCCN	1995	DBLP DOI BibTeX RDF	Petri nets analysis, transaction management protocols, submitter management protocols, mobile distributed computing environment, transaction queuing protocol, message queuing protocol, mobile workstations, distributed multidatabase environment, Design/CPN software tool, hierarchical coloured Petri nets, transaction processing algorithms, message processing algorithms, simulation results, simulation model, workstations, protocol verification, protocol implementation
34	Masato Notomi, Tadao Murata	Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	hierarchical reachability graph, bounded Petri nets, concurrent-software analysis, communication protocol software, hierarchically organized state space, deadlock state, successor states, software engineering, Petri nets, efficiency, tractability, markings, state explosion, multiprocessing programs, hierarchical systems, state-space methods, Ada programs
34	Daniel Y. Chao, David T. Wang	A synthesis technique of general petri nets.	J. Syst. Integr.	1994	DBLP DOI BibTeX RDF	ordinary Petri nets, general Petri nets, liveness boundedness, structural relationship, synthesis, rule, deadlock, Concurrent system, reversible, flexible manufacturing system
34	Mercedes Granda, José M. Drake, José A. Gregorio	Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	unbounded generalized stochastic Petri nets, unbounded places, natural symmetries, finite graph, lumped states, unbounded places, open parallel systems, k-bounded, performance evaluation, parallel programming, Petri nets, performance measures, parallel machines, stochastic processes, parallel systems, state space, steady-state solution
34	William Henderson, Peter G. Taylor	Embedded Processes in Stochastic Petri Nets.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	embedded discrete time processes, closed-form equilibrium distribution, probabilistic output bags, colored tokens, arbitrarily distributing enabling, firing times, aggregation procedure, performance evaluation, Petri nets, stochastic processes, stochastic Petri nets
34	Javier Esparza, Manuel Silva Suárez	Compositional Synthesis of Live and Bounded Free Choice Petri Nets.	CONCUR	1991	DBLP DOI BibTeX RDF	Free Choice nets, compositional synthesis, Petri nets, liveness, boundedness
34	Charles Lakos	Modelling Mobile IP with Mobile Petri Nets.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF
34	Ivan Poliakov, Victor Khomenko, Alexandre Yakovlev	Workcraft - A Framework for Interpreted Graph Models.	Petri Nets	2009	DBLP DOI BibTeX RDF
34	Grzegorz Rozenberg	Reaction Systems: A Formal Framework for Processes.	Petri Nets	2009	DBLP DOI BibTeX RDF
34	Jean Fanchon, Rémi Morin	Pomset Languages of Finite Step Transition Systems.	Petri Nets	2009	DBLP DOI BibTeX RDF
34	Michael Westergaard, Sami Evangelista, Lars Michael Kristensen	ASAP: An Extensible Platform for State Space Analysis.	Petri Nets	2009	DBLP DOI BibTeX RDF
34	Lars Michael Kristensen, Kurt Jensen	Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF
34	Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona 0001, Jorge Júlvez	Elasticity and Petri Nets.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF
34	Kais Klai, Denis Poitrenaud	MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs.	Petri Nets	2008	DBLP DOI BibTeX RDF
34	João Lourenço, Luís Gomes 0001	Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models.	Petri Nets	2008	DBLP DOI BibTeX RDF
34	Rémi Bastide, Charles Lakos, Philippe A. Palanque	A Cooperative Petri Net Editor.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
34	Rémi Bastide, Philippe A. Palanque	Modeling a Groupware Editing Tool with Cooperative Objects.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
34	Frank Köster, Stefan Schöf, Michael Sonnenschein, Ralf Wieting	Modeling of a Library with THORNs.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
34	François Vernadat 0001, Pierre Azéma	High Level Transition Systems for Communicating Agents.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
34	Éric Badouel, Marek A. Bednarczyk, Philippe Darondeau	Generalized Automata and Their Net Representations.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
34	Claudia Ermel, Michael Weber 0003	Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
34	Marek A. Bednarczyk, Andrzej M. Borzyszkowski	On Concurrent Realization of Reactive Systems and Their Morphisms.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
34	Werner Knaup	A New Iterative Numerical Solution Algorithm for a Class of Stochastic Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
34	Tadao Murata	Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
34	Serge Haddad, Patrice Moreaux	Asynchronous Composition of High Level Petri Nets: A Quantitative Approach.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
34	Gul Agha	Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
34	Søren Christensen, Laure Petrucci	Modular State Space Analysis of Coloured Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
34	Peter Buchholz 0001	Hierarchical High Level Petri Nets for Complex System Analysis.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
34	Frank DiCesare, Paul T. Kulp, Michael Gile, George F. List	The Application of Petri Nets to the Modeling, Analysis and Control of Intelligent Urban Traffic Networks.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
34	Kurt Lautenbach, Hanno Ridder	Liveness in Bounded Petri Nets Which Are Covered by T-Invariants.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	linear invariants, deadlocks, liveness
34	Gianfranco Ciardo	Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
34	Charles Lakos, Søren Christensen	A General Systematic Approach to Arc Extensions for Coloured Petri Nets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
34	Jean-Michel Ilié, Omar Rojas	On Well-Formed Nets and Optimizations in Enabling Tests.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
34	José A. Bañares, Pedro R. Muro-Medrano, J. L. Villarroel	Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF	Petri net implementation, Rule based systems, Matching algorithms, Higher-level net models
34	Kamel Barkaoui, Claude Dutheillet, Serge Haddad	An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
34	C. R. M. Sundaram, Y. Narahari	Analysis of Dynamic Load Balancing Strategies Using a Combination of Stochastic Petri Nets and Queueing Networks.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
34	Toshimasa Watanabe, Masahiro Yamauchi	New Priority-Lists for Scheduling in Timed Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
34	Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trivedi	Transient Analysis of Deterministic and Stochastic Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
34	David A. Hartley, David M. Harvey	Analysis of the TMS320C40 Communication Channels Using Timed Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
34	Linda Wilkens, James Canning, Patrick D. Krolak	Modeling Fine Grain Computation via the Fusion of Two Extended Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
34	Kamel Barkaoui, Michel Minoux	A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
34	Kunihiko Hiraishi	Construction of a Class of Safe Petri Nets by Presenting Firing Sequences.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
34	Hans Fleischhack	P-Superfairness in Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
34	John B. Evans	The Devnet: a Petri Net for Discrete Event Simulation.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Circumspect token, engagement strategy, entity interaction, firing strategy, net implementation, object net, program activation, Simian language, simulation complexity, temporal expressions, parallelism, discrete-event simulation, processes, control structures
34	Frank Itter, Claudia Relewicz	Computer supported design of Kanban controlled production.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	NET-tool, simulation, animation, building blocks, Kanban
34	Astrid Kiehn	Petri Net systems and their closure properties.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF
34	Bernd Baumgarten	On Internal and External Characterizations of PT- net Building Block Behaviors.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
34	J. Carlier, Philippe Chrétienne	Timed Petri net schedules.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
34	Wolfgang Reisig	A strong part of concurrency.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF	interleaving sequences, concurrency, fairness, priority, conflict, confusion
34	Frits Feldbrugge	Petri net tools.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
34	Yuan Chong-Yi	Process periods and system reconstruction.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
34	Helmut Plünnecke	Determination of a poset by its co-relation.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
34	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
34	Eike Best, Agathe Merceron	Frozen tokens and D-continuity: A study in relating system properties to process properties.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
33	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve	Soundness of Resource-Constrained Workflow Nets.	ICATPN	2005	DBLP DOI BibTeX RDF	verification, Petri nets, concurrency, workflow, resources
33	H. M. W. Verbeek, Twan Basten	Deciding Life-Cycle Inheritance on Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF	life-cycle inheritance, branching bisimilarity, T-invariants, Petri nets, workflow, Object-orientation, backtracking, structural properties
33	Maciej Koutny	A Compositional Model of Time Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF	Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, process algebras, time Petri nets
33	Charles Lakos	Composing Abstractions of Coloured Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF	Theory of High-Level Petri Nets, Refinement, Abstraction
33	Lawrence Cabac, Till Dörges, Michael Duvigneau, Daniel Moldt, Christine Reese, Matthias Wester-Ebbinghaus	Agent Models for Concurrent Software Systems.	MATES	2008	DBLP DOI BibTeX RDF	net components, Paose, modeling, multi-agent systems, agents, High-level Petri nets, Renew, reference nets, nets-within-nets
33	Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke	Multi-agent concepts as basis for dynamic plug-in software architectures.	AAMAS	2005	DBLP DOI BibTeX RDF	modeling, multi-agent systems, components, high-level Petri nets, renew, reference nets, nets-within-nets, dynamic software architectures, plug-in architectures, mulan
33	Hsu-Chun Yen, Chien-Liang Chen	Computing Minimal Elements of Upward-Closed Sets for Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
33	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst	History-Dependent Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
33	Sami Evangelista, Jean-François Pradat-Peyre	On the Computation of Stubborn Sets of Colored Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
33	Jochen Stier, Jens H. Jahnke, Hausi A. Müller	Geist3D, a Simulation Tool for Geometry-Driven Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
33	Jianli Xu	Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development.	ICATPN	2006	DBLP DOI BibTeX RDF
33	Rüdiger Valk	Petri Nets as Token Objects: An Introduction to Elementary Object Nets.	ICATPN	1998	DBLP DOI BibTeX RDF
33	Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad	Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	stochastic well-formed colored nets, SWN, stochastic high-level nets, syntactic restriction, model definition, Markovian performance evaluation, lumpability condition, performance evaluation, computational complexity, computational complexity, complexity, Petri net, Petri nets, performance modeling, multiprocessing systems, memory contention, symbolic reachability graph
32	Muhammet Mustafa Ozdal, Martin D. F. Wong	A Length-Matching Routing Algorithm for High-Performance Printed Circuit Boards.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
32	Ryan Kastner, Elaheh Bozorgzadeh, Majid Sarrafzadeh	An exact algorithm for coupling-free routing.	ISPD	2001	DBLP DOI BibTeX RDF
32	Antonín Kucera 0001	On Simulation-Checking with Sequential Systems.	ASIAN	2000	DBLP DOI BibTeX RDF
32	H.-C. Yen	Integer Linear Programming and the Analysis of Some Petri Net Problems.	Theory Comput. Syst.	1999	DBLP DOI BibTeX RDF
32	A. Steven Younger, Peter R. Conwell, Neil E. Cotter	Fixed-weight on-line learning.	IEEE Trans. Neural Networks	1999	DBLP DOI BibTeX RDF
32	Maciej Koutny, Marta Pietkiewicz-Koutny	Synthesis of Elementary Net Systems with Context Arcs and Localities.	ICATPN	2007	DBLP DOI BibTeX RDF	theory of concurrency, net synthesis, step sequence semantics, inhibitor arcs, activator arcs, context arcs, Petri nets, localities, transition systems, structure and behaviour of nets, elementary net systems, theory of regions
31	Kristian Bisgaard Lassen, Wil M. P. van der Aalst	WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF	Petri nets, workflow management, business process management, BPEL4WS
31	Horst F. Wedde, Mario Lischka	Modular authorization and administration.	ACM Trans. Inf. Syst. Secur.	2004	DBLP DOI BibTeX RDF	Petri-Nets, Modularity, composability, work-flow
31	Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau	An Algebra of Non-safe Petri Boxes.	AMAST	2002	DBLP DOI BibTeX RDF	Petri nets, process algebra, operational semantics
31	Hanna Klaudel, Franck Pommereau	A Concurrent and Compositional Petri Net Semantics of Preemption.	IFM	2000	DBLP DOI BibTeX RDF	Petri nets, Concurrency, Compositionality, Preemption
31	Alfred Bröckers, Volker Gruhn	Computer-Aided Verification of Software Process Model Properties	CAiSE	1993	DBLP DOI BibTeX RDF	software process model verification, FUNSOFT nets, static and dynamic software process model properties, coverability trees, MELMAC
31	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
31	Robert Lorenz 0001, Sebastian Mauser, Gabriel Juhás	How to synthesize nets from languages: a survey.	WSC	2007	DBLP DOI BibTeX RDF
31	Valery A. Nepomniaschy, Gennady I. Alekseev, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina, Sergey P. Mylnikov, Ruslan M. Novikov	Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols.	CSR	2007	DBLP DOI BibTeX RDF
31	Gianfranco Balbo	Introduction to Generalized Stochastic Petri Nets.	SFM	2007	DBLP DOI BibTeX RDF
31	Keith Purrington, Edmund H. Durfee	Making social choices from individuals' CP-nets.	AAMAS	2007	DBLP DOI BibTeX RDF	conflict handling, social and organizational structures, societal aspects, multiagent systems, negotiation, argumentation
31	Matthias Werner 0001, Gero Mühl	A State Equation for Petri Nets with Delaying Places.	ECBS	2006	DBLP DOI BibTeX RDF
31	Bhushan Bauskar, Boleslaw Mikolajczak	Abstract Node Method for Integration of Object Oriented Design with Colored Petri Nets.	ITNG	2006	DBLP DOI BibTeX RDF
31	Yan Pan, Yong Tang 0001, Ji'an Xu, Kaishun Wu	Time Performance Evaluation for Workflow Based on Extended FTWF-nets.	CSCWD	2006	DBLP DOI BibTeX RDF
31	Marisa Llorens, Javier Oliver 0001	Marked-Controlled Reconfigurable Workflow Nets.	SYNASC	2006	DBLP DOI BibTeX RDF
31	T. Chen	On the impact of on-chip inductance on signal nets under the influence of power grid noise.	IEEE Trans. Very Large Scale Integr. Syst.	2005	DBLP DOI BibTeX RDF
31	Masaaki Harada, Clement W. H. Lam, Vladimir D. Tonchev	Symmetric (4,4)-Nets and Generalized Hadamard Matrices Over Groups of Order 4.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF	Hamada conjecture, affine design, generalized Hadamard matrix, quantum code