Search results for "Petri-Nets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
81	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
81	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
81	R. Goud, Kees M. van Hee, R. D. J. Post, Jan Martijn E. M. van der Werf	Petriweb: A Repository for Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
81	Marisa Llorens, Javier Oliver 0001	Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets.	ATVA	2004	DBLP DOI BibTeX RDF
80	Karsten Wolf	Generating Petri Net State Spaces.	ICATPN	2007	DBLP DOI BibTeX RDF
80	Daniel Moldt, Jan Ortmann	DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets.	FASE	2004	DBLP DOI BibTeX RDF	web service, workflow, business process, high-level Petri nets, Renew, reference nets, nets within nets, DAML-S, process ontology
80	Xudong He	A method for analyzing properties of hierarchical predicate transition nets.	COMPSAC	1995	DBLP DOI BibTeX RDF	hierarchical predicate transition nets, hierarchical high level Petri nets, distributed systems modelling, hierarchical predicate transition Petri nets, temporal induction techniques, hybrid reasoning technique, net structural reasoning, behavioral reasoning, first order logic reasoning, formal method, Petri nets, distributed processing, inference mechanisms, formal logic, safety properties, liveness properties
79	Gabriel Juhás, Robert Lorenz 0001, Sebastian Mauser	Complete Process Semantics for Inhibitor Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
79	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
79	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
79	José Luis Briz, José Manuel Colom	Implementation of Weighted Place/Transition Nets Based on Linear Enabling Functions.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	Simulation of Weighted Place-Transition Systems, Linear Enabling Functions, Structure and Behavior of nets, Timed Petri Nets
79	Gérard Berthelot, Hanifa Boucheneb	Occurrence Graphs for Interval Timed Coloured Nets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	interval timed coloured Petri nets, occurrence graph
79	Dimitris Christodoulakis	Modeling the semantics of smalltalk-80 with Petri nets.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	Smalltalk-80
78	Simona Bernardi 0001, Javier Campos	On Performance Bounds for Interval Time Petri Nets.	QEST	2004	DBLP DOI BibTeX RDF
78	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
78	Charles Lakos	Modelling Mobile IP with Mobile Petri Nets.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF
78	Ivan Poliakov, Victor Khomenko, Alexandre Yakovlev	Workcraft - A Framework for Interpreted Graph Models.	Petri Nets	2009	DBLP DOI BibTeX RDF
78	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
78	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
78	J. Carlier, Philippe Chrétienne	Timed Petri net schedules.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
78	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
78	Gerlinde Schreiber	Functional Equivalences of Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
78	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
78	Kishor S. Trivedi, Vidyadhar G. Kulkarni	FSPNs: Fluid Stochastic Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
78	Wolfgang Reisig	Combining Petri Nets and Other Formal Methods.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
78	Susanna Donatelli, Matteo Sereno	On the Product Form Solution for Stochastic Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
77	Alexander E. Kostin	A Reachability Algorithm for General Petri Nets Based on Transition Invariants.	MFCS	2006	DBLP DOI BibTeX RDF	transition invariants, Petri nets, reachability
77	Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin	Well-structured languages.	Acta Informatica	2007	DBLP DOI BibTeX RDF
76	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
76	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
76	Rüdiger Valk	Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF	structure and behavior of Petri nets, place-invariants, Floyd-invariants, selfmodifying coloured Petrinets, program verification, coloured Petri nets, higher-level net models, analysis and synthesis
76	Victor Khomenko, Maciej Koutny	Verification of bounded Petri nets using integer programming.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Net unfoldings, Partial order techniques, Verification, Petri nets, Integer programming
76	Robert G. Pettit IV, Hassan Gomaa	Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems.	ICECCS	1996	DBLP DOI BibTeX RDF	software design methods, ADARTS, CODARTS, real-time systems, Petri nets
76	Spyros A. Reveliotis, Jin Young Choi 0001	Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions.	ICATPN	2006	DBLP DOI BibTeX RDF
76	Enric Pastor, Oriol Roig, Jordi Cortadella, Rosa M. Badia	Petri Net Analysis Using Boolean Manipulation.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
76	Kathrin Hoffmann, Till Mossakowski	Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens.	WADT	2002	DBLP DOI BibTeX RDF
76	Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier	Automatic Symmetry Detection in Well-Formed Nets.	ICATPN	2003	DBLP DOI BibTeX RDF	Well-Formed Petri nets, partial symmetry, symbolic model-checking, symmetry detection
76	Eric Fabre	On the Construction of Pullbacks for Safe Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
76	Sahika Genc, Stéphane Lafortune	Distributed Diagnosis of Discrete-Event Systems Using Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF
75	Dong-Ik Lee, Sadatoshi Kumagai, Shinzo Kodama	Handles and Reachability Analysis of Free Choice Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
75	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
75	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
75	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
75	Markus Lindquist	Parameterized Reachability Trees for Predicate/Transition Nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Petri nets, reachability analysis, Predicate/Transition nets, high level nets
75	Ryszard Janicki, Maciej Koutny	Optimal simulations, nets and reachability graphs.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	verification, Petri nets, traces, liveness, partial order semantics, reachability graphs, step sequences, state-space generation, deadlock-freeness
75	Ghassan Chehaibar	Use of reentrant nets in modular analysis of colored nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	Modular Analysis, Reentrant Net, Observational Home Equivalence, Composition, Colored Petri Nets, Replacement
75	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
75	Jean-Michel Couvreur, Javier Martínez	Linear invariants in commutative high level nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Linear invariants, flow computation, structural analysis methods, subclasses of Petri nets, colored nets
75	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
75	Theodor Hildebrand, Nicolas Trèeves	S-CORT(R): a method for the development of electronic payment systems.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	Application of Petri nets, value added communication systems, net theory, formal specification, electronic payment systems, software engineering methods
75	Hartmann J. Genrich	Equivalence transformations of PrT-nets.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	Higher-level Petri nets, predicate transition nets, rewriting rules, semantical equivalence
75	Eike Best	Design Methods Based on Nets, Esprit Basic Research Action DEMON.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	Design, Petri Nets, Concurrency, Esprit
75	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
75	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
75	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
75	Claude Girault, C. Chatelain, Serge Haddad	Specification and properties of a cache coherence protocol model.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF	verification, Petri nets, protocols, specification, multiprocessors, memory hierarchy, cache coherence
75	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
75	Gonzalo Mejía, Carlos Montoya	A Petri Net based algorithm for minimizing total tardiness in flexible manufacturing systems.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Scheduling, Petri Nets, Heuristic search, Flexible manufacturing systems, Beam search
75	Gabriel Juhás	Reasoning about Algebraic Generalisation of Petri Nets.	ICATPN	1999	DBLP DOI BibTeX RDF
74	Michael Köhler-Bussmeier, Daniel Moldt, Heiko Rölke (eds.)	Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), June 27, 2023, Lisbon, Portugal.	PNSE@Petri Nets	2023	DBLP BibTeX RDF
74	Tuwailaa Alshammari	Integrating NLP and Structured Occurrence Nets for Crime Modelling: A Pattern-based Approach.	PNSE@Petri Nets	2023	DBLP BibTeX RDF
74	Salma Alharbi	Hierarchical Simulation of Timed Behaviours of Structured Occurrence Nets.	PNSE@Petri Nets	2023	DBLP BibTeX RDF
74	Theresa Werner, Christof Päßler, Ivo Kabadshow, Matthias Werner	A Petri-Net-Based Approach to Modeling Communication Algorithms for HPC Molecular Dynamics Simulations.	PNSE@Petri Nets	2023	DBLP BibTeX RDF
74	Karnika Shivhare, Rushikesh K. Joshi	Exploring L* for Process Mining.	PNSE@Petri Nets	2023	DBLP BibTeX RDF
74	Carlos Galindo 0002, Marisa Llorens, Sergio Pérez 0001, Josep Silva	Context-sensitive analysis of data interference for concurrent programs.	PNSE@Petri Nets	2023	DBLP BibTeX RDF
74	Michael Köhler-Bussmeier, Lorenzo Capra	Robustness: A natural Definition based on Nets-within-Nets.	PNSE@Petri Nets	2023	DBLP BibTeX RDF
74	Nadiyah Almutairi	Probabilistic Behavioural Acyclic Nets.	PNSE@Petri Nets	2023	DBLP BibTeX RDF
74	Mohammed Alahmadi	Parameterised CSA-nets.	PNSE@Petri Nets	2023	DBLP BibTeX RDF
74	Rogardt Heldal, Lars Michael Kristensen, Keila Lima, Tosin Daniel Oyetoyan, Ngoc-Thanh Nguyen 0002	Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform.	PNSE@Petri Nets	2023	DBLP BibTeX RDF
74	Kyle Dingenouts, Mitchell Klijs, Jan Martijn E. M. van der Werf	Modeling Interaction-Oriented Architectures using Choreographies.	PNSE@Petri Nets	2023	DBLP BibTeX RDF
74	Tom Meyer	A Symmetric Petri Net Model of Generic Publish-Subscribe Systems for Verification and Business Process Conformance Checking.	PNSE@Petri Nets	2023	DBLP BibTeX RDF
74	Wojciech Penczek	Model Checking of Strategic Timed Temporal Logics (Invited Talk).	PNSE@Petri Nets	2023	DBLP BibTeX RDF
74	César Barrón-Rubio, Ernesto López-Mellado	Inferring Activity Concurrency Relations from Incomplete Event Logs.	ATAED/PN4TT@Petri Nets	2023	DBLP BibTeX RDF
74	Wil M. P. van der Aalst	Twin Transitions Powered By Event Data - Using Object-Centric Process Mining To Make Processes Digital and Sustainable.	ATAED/PN4TT@Petri Nets	2023	DBLP BibTeX RDF
74	Aaron Küsters, Wil M. P. van der Aalst	Revisiting the Alpha Algorithm To Enable Real-Life Process Discovery Applications.	ATAED/PN4TT@Petri Nets	2023	DBLP BibTeX RDF
74	Tijs Slaats	DisCoveR: Process Mining for Knowledge-Intensive Processes with DCR Graphs.	ATAED/PN4TT@Petri Nets	2023	DBLP BibTeX RDF
74	Christian Rennert, Lisa Luise Mannel, Wil M. P. van der Aalst	Improving the eST-Miner Models by Replacing Imprecise Structures Using Place Projection.	ATAED/PN4TT@Petri Nets	2023	DBLP BibTeX RDF
74	Marta Pietkiewicz-Koutny, Maciej Koutny	Synthesising Elementary Net Systems with Interval Order Semantics.	ATAED/PN4TT@Petri Nets	2023	DBLP BibTeX RDF
74	Michael Köhler-Bussmeier, Daniel Moldt, Heiko Rölke (eds.)	Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), Bergen, Norway, June 20th, 2022.	PNSE@Petri Nets	2022	DBLP BibTeX RDF
74	Luís Gomes 0001, Paulo Leitão, Robert Lorenz 0001, Jan Martijn E. M. van der Werf, Sebastiaan J. van Zelst (eds.)	Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Caparica, Portugal, June 25-30, 2023.	ATAED/PN4TT@Petri Nets	2022	DBLP BibTeX RDF
74	Michael Köhler-Bussmeier, Heiko Rölke	Analysing Adaption Processes of Hornets.	PNSE@Petri Nets	2022	DBLP BibTeX RDF
74	Elena Gómez-Martínez, José Ignacio Requeno	Adaptative Systems Based on Continuous Observation of Petri Net Product Lines.	PNSE@Petri Nets	2022	DBLP BibTeX RDF
74	Laif-Oke Clasen, Daniel Moldt, Marcel Hansson, Sven Willrodt, Lukas Voß	Enhancement of Renew to Version 4.0 using JPMS.	PNSE@Petri Nets	2022	DBLP BibTeX RDF
74	Nadiyah Almutairi	Probabilistic Communication Structured Acyclic Nets.	PNSE@Petri Nets	2022	DBLP BibTeX RDF
74	Tuwailaa Alshammari	Towards Automatic Extraction of Events for SON Modelling.	PNSE@Petri Nets	2022	DBLP BibTeX RDF
74	Franck Pommereau, Colin Thomas, Cédric Gaucherel	EDEN Framework for Interactive Analysis of Ecosystems Models.	PNSE@Petri Nets	2022	DBLP BibTeX RDF
74	Giann Karlo Aguirre-Samboní, Cédric Gaucherel, Stefan Haar, Franck Pommereau	Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs.	PNSE@Petri Nets	2022	DBLP BibTeX RDF
74	Einar Broch Johnsen	Digital Twins: An Emerging Paradigm for Model-Centric Engineering (Invited Talk).	PNSE@Petri Nets	2022	DBLP BibTeX RDF
74	Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci	Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction.	PNSE@Petri Nets	2022	DBLP BibTeX RDF
74	Mohammed Alahmadi	Parametrisation of CSA-Nets.	PNSE@Petri Nets	2022	DBLP BibTeX RDF
74	Lukas Voß, Sven Willrodt, Daniel Moldt, Michael Haustermann	Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure.	PNSE@Petri Nets	2022	DBLP BibTeX RDF
74	Rüdiger Valk, Daniel Moldt	On Reduction of Cycloids.	PNSE@Petri Nets	2022	DBLP BibTeX RDF
74	Jörg Desel	The Chameleon Game.	PNSE@Petri Nets	2022	DBLP BibTeX RDF
74	Karnika Shivhare, Rushikesh K. Joshi	Trace Language: Mining Micro-configurations from Process Transition Traces.	PNSE@Petri Nets	2022	DBLP BibTeX RDF
74	Michael Köhler-Bussmeier, Ekkart Kindler, Heiko Rölke (eds.)	Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), Paris, France, June 25th, 2021 (due to COVID-19: virtual conference).	PNSE@Petri Nets	2021	DBLP BibTeX RDF
74	Mohammed Alahmadi	Master Channel Places for Communication Structured Acyclic Nets.	PNSE@Petri Nets	2021	DBLP BibTeX RDF
74	Gabriel Juhás, Tomás Kovácik, Jakub Kovár, Martin Kranec	Collecting Structured Logs of Instances as Process Nets in Petriflow Language.	PNSE@Petri Nets	2021	DBLP BibTeX RDF
74	Nadiyah Almutairi, Maciej Koutny	Verification of Communication Structured Acyclic Nets Using SAT.	PNSE@Petri Nets	2021	DBLP BibTeX RDF
74	Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis	General Composition for Symmetric Net Arc Functions with Applications.	PNSE@Petri Nets	2021	DBLP BibTeX RDF
74	Niclas zum Felde, Michael Köhler-Bußmeier, Jan Sudeikat	Improving Drone-based Parcel Delivery in a Delivery System at its Capacity Limit.	PNSE@Petri Nets	2021	DBLP BibTeX RDF