Search results for "P/T-nets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
41	O. Biberstein, Didier Buchs, Nicolas Guelfi	Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
41	Tom Holvoet, Pierre Verbaeten	Using Petri Nets for Specifying Active Objects and Generative Communication.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
41	Libero Nigro, Francesco Pupo	Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF	Design/CPN, Real Time, Modularity, Actors, Temporal Analysis, Occurrence Graphs
41	Younes Souissi, Gérard Memmi	Composition of nets via a communication medium.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Composition via shared places, separation line, composition via a sequential process, composition by rendez-vous, composition via a well-formed block, liveness, boundedness
41	Pascal A. Remy, Alexander H. Levis	On the Generation of Organizational Architectures Using Petri Nets.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
41	Goffredo Haus, Antonio Rodriguez	Music Description and Processing by Petri Nets.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
41	Rodney R. Howell, Louis E. Rosier	Recent results on the complexity of problems related to Petri nets.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
41	Marco Ajmone Marsan, Giovanni Chiola	On Petri nets with deterministic and exponentially distributed firing times.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
41	Gérard Berthelot	Checking properties of nets using transformation.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
41	Kurt Jensen, Erik Meineche Schmidt	Pascal semantics by a combination of denotational semantics and high-level Petri nets.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
41	Anatol W. Holt	Coordination technology and Petri nets.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
41	Rüdiger Valk, Matthias Jantzen	The residue of vector sets with applications to decidability problems in Petri nets.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
40	Marc de Falco	An Explicit Framework for Interaction Nets.	RTA	2009	DBLP DOI BibTeX RDF
40	Eike Best	A Note on Persistent Petri Nets.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
40	Dave Clarke 0001	Coordination: Reo, Nets, and Logic.	FMCO	2007	DBLP DOI BibTeX RDF
40	Marcin Szpyrka, Tomasz Szmuc	Verification of Automatic Train Protection Systems with RTCP-Nets.	SAFECOMP	2006	DBLP DOI BibTeX RDF
40	Herman Geuvers, Iris Loeb	From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions.	MFCS	2006	DBLP DOI BibTeX RDF
40	Simona Bernardi 0001, Javier Campos	On Performance Bounds for Interval Time Petri Nets.	QEST	2004	DBLP DOI BibTeX RDF
40	Zhengwei Qi, Jinyuan You, Hongyan Mao	P Systems and Petri Nets.	Workshop on Membrane Computing	2003	DBLP DOI BibTeX RDF
40	Geert Stremersch, René K. Boel	Structuring Acyclic Petri Nets for Reachability Analysis and Control.	Discret. Event Dyn. Syst.	2002	DBLP DOI BibTeX RDF	acyclic Petri net, uncontrollable transitions, Petri net, supervisory control
40	Gianluigi Bellin, Arnaud Fleury	Planar and braided proof-nets for multiplicative linear logic with mix.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF
40	Julia Padberg, Magdalena Gajewsky, Claudia Ermel	Rule-Based Refinement of High-Level Nets Preserving Safety Properties.	FASE	1998	DBLP DOI BibTeX RDF
40	Adel Benzina, Mario Paludetto, Jérôme Delatour	About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT Specifications.	APSEC	1997	DBLP DOI BibTeX RDF
40	Hartmut Ehrig, Julia Padberg	A Uniform Approach to Petri Nets.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
40	Jörg Desel	Regular Marked Petri Nets.	WG	1993	DBLP DOI BibTeX RDF
40	P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan	Local Event Structures and Petri Nets.	CONCUR	1993	DBLP DOI BibTeX RDF
40	Walter Vogler	Asynchronous Communication of Petri Nets and the Refinement of Transitions.	ICALP	1992	DBLP DOI BibTeX RDF
40	Rodney R. Howell, Petr Jancar, Louis E. Rosier	Single-Path Petri Nets.	MFCS	1991	DBLP DOI BibTeX RDF
40	Donald L. Richards	Efficient Exercising of Switching Elements in Nets of Identical Gates.	J. ACM	1973	DBLP DOI BibTeX RDF
40	Donald L. Richards	Efficient Exercising of Switching Elements in Combinatorial Nets.	J. ACM	1973	DBLP DOI BibTeX RDF
40	Wil M. P. van der Aalst	Discovery, Verification and Conformance of Workflows with Cancellation.	ICGT	2008	DBLP DOI BibTeX RDF	Reset Nets, Verification, Petri Nets, Soundness, Process Mining
39	Kasturi R. Varadarajan	Epsilon nets and union complexity.	SCG	2009	DBLP DOI BibTeX RDF	approximation algorithms, set cover, epsilon nets
39	Paolo Baldan, Filippo Bonchi, Fabio Gadducci	Encoding Asynchronous Interactions Using Open Petri Nets.	CONCUR	2009	DBLP DOI BibTeX RDF	Asynchronous calculi, open Petri nets, decidability, bisimilarity
39	Edith Elkind, Michael J. Wooldridge	Hedonic coalition nets.	AAMAS (1)	2009	DBLP BibTeX RDF	hedonic games, marginal contribution nets, complexity
39	Binsan Khadka, Boleslaw Mikolajczak	Incorporating Object-Orientedness in Transformations from Live Sequence Charts to Colored Petri Nets.	ITNG	2008	DBLP DOI BibTeX RDF	Colored Petri Nets, Live Sequence Charts
39	Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén	SAT-Solving the Coverability Problem for Petri Nets.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	Petri nets, unfoldings, coverability, infinite state systems, partial-order methods
39	Shougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno	SAT-Based Verification of Safe Petri Nets.	ATVA	2004	DBLP DOI BibTeX RDF	Petri nets, SAT, Bounded model checking
39	Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo	Software performance modelling using PEPA nets.	WOSP	2004	DBLP DOI BibTeX RDF	PEPA nets, performance analysis, mobile objects
39	Dirk Stroobandt	Multi-terminal nets do change conventional wire length distribution models.	SLIP	2001	DBLP DOI BibTeX RDF	multi-terminal nets, wire length estimation, Rent's rule
39	Marta Pietkiewicz-Koutny	Transition Systems of Elementary Net Systems with Inhibitor Arcs.	ICATPN	1997	DBLP DOI BibTeX RDF	causality/partial order theory of concurrency, structure and behaviour of nets, analysis and synthesis
39	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
39	Éric Badouel, Philippe Darondeau	Trace Nets.	REX Workshop	1992	DBLP DOI BibTeX RDF	Trace Automata, Trace Nets, Regions
39	Kathrin Hoffmann	Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
39	Julia Padberg, Milan Urbásek	Rule-Based Refinement of Petri Nets: A Survey.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
39	Joaquin Ezpeleta, Fernando García-Vallés, José Manuel Colom	A Class of Well Structured Petri Nets for Flexible Manufacturing Systems.	ICATPN	1998	DBLP DOI BibTeX RDF
38	Gregor von Bochmann, Guy-Vincent Jourdan	Testing k-Safe Petri Nets.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	k -safe Petri nets, free-choice Petri nets, fault model, Conformance testing, automatic test generation
38	Dianxun Shuai	Crossbar Composite Spring-Nets to Optimize Multi-Agent Systems and Computer Networks.	ICIC (2)	2008	DBLP DOI BibTeX RDF	crossbar composite spring nets, multi-agent system, artificial intelligence, distributed problem solving, elastic nets
38	Martin Hesketh, Maciej Koutny	An Axiomatisation of Duplication Equivalence in the Petri Box Calculus.	ICATPN	1998	DBLP DOI BibTeX RDF	Net-based algebra, analysis of structure of nets, verification using nets, equivalence and axiomatisation
38	Ichiro Suzuki	Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	temporal Petri nets, omega -regular expressions, Buchi-automata, formal specification, formal specification, Petri nets, formal verification, program verification, programming theory, transitions, formal analysis, automata theory, firings, formulas, alternating bit protocol, temporal operators
38	Michael Westergaard, Lars Michael Kristensen	The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator.	Petri Nets	2009	DBLP DOI BibTeX RDF
38	Djaouida Dahmani, Jean-Michel Ilié, Malika Boukala	Time Recursive Petri Nets.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF	recursive Petri net, threads, recursivity, time Petri net
38	Eugenio Battiston, A. Chizzoni, Fiorella de Cindio	CLOWN as a Testbed for Concurrent Object-Oriented Concepts.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
38	Magdalena Gajewsky, Hartmut Ehrig	The »Petri Net Baukasten«: An Overview.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
38	Jens Linneberg Rasmussen, Mejar Singh	Designing a Security System by Means of Coloured Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
38	Robert Brgan, Denis Poitrenaud	An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
38	Joost-Pieter Katoen	Causal Behaviours and Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
38	Gerlinde Schreiber	Functional Equivalences of Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
38	Michel Diaz, Patrick Sénac	Time Stream Petri Nets: A Model for Timed Multimedia Information.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
38	Hartmann J. Genrich, Hans-Michael Hanisch, Konrad Wöllhaf	Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
38	Kishor S. Trivedi, Vidyadhar G. Kulkarni	FSPNs: Fluid Stochastic Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
38	Wil M. P. van der Aalst	Interval Timed Coloured Petri Nets and their Analysis.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
38	Wolfgang Reisig	Combining Petri Nets and Other Formal Methods.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
38	Giorgio Bruno, Andrea Castella, Gianpaolo Macario, Mario P. Pescarmona	Scheduling Hard Real Time Systems Using High-Level Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
38	Susanna Donatelli, Matteo Sereno	On the Product Form Solution for Stochastic Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
38	Vanio M. Savi, Xiaolan Xie	Liveness and Boundedness Analysis for Petri Nets with Event Graph Modules.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
38	P. David Stotts, Richard Furuta	\alphaTrellis: A system for writing and browsing Petri-net-based hypertext.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	hypertext and hypermedia, Trellis hypertext model hypertext, browsing semantics
38	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
38	Agathe Merceron	Fan processes.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
38	Ursula Goltz, Wolfgang Reisig	CSP-programs with individual tokens.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
38	Klaus Voss	A net model of a local area network protocol.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
38	Marko Mäkelä	Model Checking Safety Properties in Modular High-Level Nets.	ICATPN	2003	DBLP DOI BibTeX RDF	state space enumeration, model checking, modular systems, high-level nets
38	Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi	Real-Time Synchronised Petri Nets.	ICATPN	2002	DBLP DOI BibTeX RDF	CO-OPN, inhibitor arcs, real-time, Petri nets
38	Marko Mäkelä	Optimising Enabling Tests and Unfoldings of Algebraic System Nets.	ICATPN	2001	DBLP DOI BibTeX RDF	reachability analysis, unification, high-level Petri nets, unfolding
38	Karsten Schmidt 0004	Siphons, Traps and High-Level Nets with Infinite Color Domains.	ICATPN	1997	DBLP DOI BibTeX RDF	THEORY: Analysis and synthesis, Higher-level net models, structure and behaviour of nets
38	Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Benjamin Schleinzer	Plugin-Agents as Conceptual Basis for Flexible Software Structures.	CEEMAS	2007	DBLP DOI BibTeX RDF	plugin-agents, multi-agent systems, High-level Petri nets, plugins, Renew, reference nets, Nets-within-nets, Mulan
37	Eike Best, M. W. Shields	Some Equivalence Results for Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets.	CAAP	1983	DBLP DOI BibTeX RDF
37	Robert Lorenz 0001, Sebastian Mauser, Robin Bergenthum	Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios.	ICATPN	2007	DBLP DOI BibTeX RDF
37	Thomas Chatain, Claude Jard	Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
37	Olivier Bonnet-Torrés, Patrice Domenech, Charles Lesire, Catherine Tessier	Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
37	Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre	Petri nets based proofs of Ada 95 solution for preference control.	APSEC	1997	DBLP DOI BibTeX RDF	Petri nets based proofs, preference control, dining philosophers paradigm, entry families, requeue statements, Petri nets, deadlock, colored Petri nets, Ada 95, correctness proofs, starvation, protected objects
37	Christian Kelling	TimeNET-Sim-a parallel simulator for stochastic Petri nets.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	TimeNET software package, TimeNET-Sim, nonMarkovian Petri nets, variance reduction techniques, parallel distributed simulation framework, performance evaluation, modeling, parallel processing, Petri nets, parallelization, tool, statistical analysis, statistical analysis, discrete event simulation, stochastic processes, parallel simulator, stochastic Petri nets, software packages, control variates
37	Giuliana Franceschinis, Richard R. Muntz	Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	quasilumpable stochastic well-formed Nets, stochastic well-formed colored Petri nets, aggregated reachability graph, qualitative properties, quasilumpable SWN models, approximated performance indices, SWN models, bounded aggregation method, performance evaluation, Petri nets, Markov processes, stochastic processes, continuous time Markov chain, performance indices, symbolic reachability graph
37	Itsuo Hatono, Keiichi Yamagata, Hiroyuki Tamura	Modeling and On-Line Scheduling of Flexible Manufacturing Systems Using Stochastic Petri Nets.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	repair time, discrete-time stochastic Petri nets, scheduling, Petri nets, knowledge based systems, uncertainty, digital simulation, stochastic Petri nets, hierarchical structures, rule base, online scheduling, processing time, flexible manufacturing systems, flexible manufacturing systems, machine tools, continuous-time
37	R. S. Mans, Wil M. P. van der Aalst, Nick C. Russell, Piet J. M. Bakker, Arnold J. Moleman, Kristian Bisgaard Lassen, Jens Bæk Jørgensen	From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	Executable Use Cases, healthcare, Workflow Management, Colored Petri Nets
37	Hendrik Oberheid, Dirk Söffker	Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning.	Petri Nets	2008	DBLP DOI BibTeX RDF	arrival management, sequence planning, coloured Petri nets, state space analysis, air traffic management
37	Antti Valmari	Compositional State Space Generation.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	analysis of behaviour of nets, compositionality, state space, Communicating Sequential Processes, system verification
37	S. Lafitt, Jean-Marie Proth, Xiaolan Xie	Marking Optimization In Timed Event Graphs.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Timed Event Graphs, Kanban Systems, Modeling, Evaluation, Petri Nets, Marking, Job-shop, Cycle Time
37	Frits Feldbrugge	Petri Net Tool Overview 1992	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	net theory, simulation, performance analysis, Petri Nets, computer aided design, tools, system analysis, system specification, system validation
37	Giorgio De Michelis	Constraints and Extensions in a Calculus of EN Systems.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Elementary Transition Systems, Net Morphisms, unary operations on nets, Regions, Elementary Net Systems
37	Charles André	Delays in synchronized elementary net systems.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	Synchronized Elementary Net Systems, Delay, Process, Time Petri nets, POset, Elementary Net Systems, Dioid
37	Javier Esparza, Manuel Silva Suárez	On the analysis and synthesis of free choice systems.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	free choice nets, linear algebra techniques, state refinement, structure of systems, modular synthesis, top-down synthesis, Analysis, transformation, reduction
37	Marco Ajmone Marsan, Giovanni Chiola, Andrea Fumagalli	Improving the efficiency of the analysis of DSPN models.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	Performance evaluation, Markov chains, Stochastic Petri nets
37	Frits Feldbrugge	Petri net tool overview 1989.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	net theory, simulation, performance analysis, Petri Nets, computer aided design, tools, system analysis, system specification
37	Heikki Tuominen	Elementary net systems and dynamic logic.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	axiomatization of properties, model checking, Petri nets, temporal logic, Dynamic logic, elementary net systems, model synthesis
37	Antoni W. Mazurkiewicz	Compositional Semantics of Pure Place/ Transition Systems.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF	pomsets, Petri nets, semantics, concurrency, modularity, algebras, Compositionality
37	Antoni W. Mazurkiewicz	Semantics of concurrent systems: a modular fixed-point trace approach.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF	fixed point method, Petri nets, synchronization, modularity, traces, Concurrent systems, concurrent processes, system composition
37	Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin	Well-structured languages.	Acta Informatica	2007	DBLP DOI BibTeX RDF
37	Éric Badouel, Jules Chenou, Goulven Guillou	Petri Algebras.	ICALP	2005	DBLP DOI BibTeX RDF
37	Shantanu Dutt, Vinay Verma, Hasan Arslan	A search-based bump-and-refit approach to incremental routing for ECO applications in FPGAs.	ACM Trans. Design Autom. Electr. Syst.	2002	DBLP DOI BibTeX RDF	Bump-and-refit (B&R) paradigm, ECO (engineering change order), bumping cost, incremental routing, switchbox, field programmable gate arrays, dynamic programming, global routing, detailed routing
37	Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel	High-Level Net Processes.	Formal and Natural Computing	2002	DBLP DOI BibTeX RDF