Search results for "Petri-Nets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
62	Xianwen Fang, Zhicai Xu, Zhixiang Yin	A Study about the Mapping of Process- Processor based on Petri Nets.	SNPD (1)	2007	DBLP DOI BibTeX RDF	Distributed Processing, Mapping, Timed Petri Nets, Lookahead, Logical Process
62	Giacomo Bucci, Luigi Sassoli, Enrico Vicario	Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	performance and dependability evaluation, maximal step semantics, well definedness, stochastic preemptive Time Petri nets, preemptive scheduling, discrete time, confusion, Real-time reactive systems, correctness verification
62	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
62	Bernard Berthomieu, François Vernadat 0001	State Class Constructions for Branching Analysis of Time Petri Nets.	TACAS	2003	DBLP DOI BibTeX RDF	state classes, branching time temporal properties, real-time systems modeling and verification, model-checking, bisimulation, Time Petri nets
62	Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou	Reduction Methods for Real-Time Systems Using Delay Time Petri Nets.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	net reduction, schedule, Real-time systems, Petri nets, deadlock, reachability, state explosion
62	Victor Khomenko, Maciej Koutny	Towards an Efficient Algorithm for Unfolding Petri Nets.	CONCUR	2001	DBLP DOI BibTeX RDF	Model checking, Petri nets, concurrency, unfolding
62	Ian Ho, Jin-Cherng Lin	Generating Test Cases for Real-Time Software by Time Petri Nets Model.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	basic segment, graph matrix, graph segment, independent segment group, Petri nets decomposition, test cases generation
62	Ricardo M. Fricks, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi	Applications of non-Markovian stochastic Petri nets.	SIGMETRICS Perform. Evaluation Rev.	1998	DBLP DOI BibTeX RDF	preemption policies, stochastic Petri nets, numerical analysis, Markov regenerative processes
62	Enric Pastor, Jordi Cortadella	Efficient Encoding Schemes for Symbolic Analysis of Petri Nets.	DATE	1998	DBLP DOI BibTeX RDF	Petri nets, BDDs, symbolic analysis
62	Didier Buchs, Nicolas Guelfi	Formal Development of Actor Programs Using Structured Algebraic Petri Nets.	PARLE	1993	DBLP DOI BibTeX RDF	Formal program development, actor languages semantics, algebraic abstract data types, high-level Petri nets, modular specification
62	Jörg Desel, Javier Esparza	Shortest Paths in Reachability Graphs.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
61	Robert Lorenz 0001, Gabriel Juhás, Sebastian Mauser	Partial Order Semantics of Types of Nets.	SOFSEM	2009	DBLP DOI BibTeX RDF
61	Kirsten Lenz, Andreas Oberweis	Inter-organizational Business Process Management with XML Nets.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
61	JiDong Ge, Hao Hu 0001, Qing Gu, Jian Lu 0001	Modeling Multi-View Software Process with Object Petri Nets.	ICSEA	2006	DBLP DOI BibTeX RDF	software process, software process modeling, object Petri nets, PSEE
61	Francisco Camargo-Santacruz, Juan Frausto Solís, Fernando Ramos-Quintana	Modeling Multiple Interactions Using Coloured Petri Nets: A Case Study.	ISSADS	2005	DBLP DOI BibTeX RDF	Multi-Agent Systems, Interaction, E-Business, Coloured Petri Nets, Agent-Based Software Engineering, Cooperative Information Systems
61	Kjeld Høyer Mortensen, Valerio O. Pinci	Modelling the Work Flow of a Nuclear Waste Management Program.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
61	Greg Findlow	Obtaining Deadlock-Preserving Skeletons for Coloured Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
61	Jörg Desel, Gabriel Juhás, Christian Neumair	Finite Unfoldings of Unbounded Petri Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
61	Rik Eshuis, Juliane Dehnert	Reactive Petri Nets for Workflow Modeling.	ICATPN	2003	DBLP DOI BibTeX RDF
61	Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve	Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach.	ICATPN	2003	DBLP DOI BibTeX RDF	modelling, verification, Petri nets, workflow, correctness, soundness, separability, serialisability
61	Olivier H. Roux, Didier Lime	Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation.	ICATPN	2004	DBLP DOI BibTeX RDF
61	Wojciech Penczek, Agata Pólrola	Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
60	Daniel Martin 0001, Daniel Wutke, Frank Leymann	Using tuplespaces to enact petri net-based workflow definitions.	iiWAS	2008	DBLP DOI BibTeX RDF	petri net execution, petri nets, workflows, tuplespaces
60	Zbigniew Suraj, Krzysztof Pancerz	A Synthesis of Concurrent Systems: A Rough Set Approach.	RSFDGrC	2003	DBLP DOI BibTeX RDF	minimal rules, Information systems, knowledge discovery, coloured Petri nets, concurrent systems
60	Tadao Murata, Boris Shenker, Sol M. Shatz	Detection of Ada Static Deadlocks Using Petri Net Invariants.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ada static deadlocks, Petri net invariants, Ada tasking programs, message-flow, computational complexity, complexities, Petri nets, Ada, concurrency control, program testing, system recovery, control-flow
60	Sadatoshi Kumagai, Toshiyuki Miyamoto	Autonomous Distributed System and Its Realization by Multi Agent Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
60	Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima	Petri nets tools integration through Eclipse.	eTX	2005	DBLP DOI BibTeX RDF
60	Hanna Klaudel, Franck Pommereau	A Concurrent and Compositional Petri Net Semantics of Preemption.	IFM	2000	DBLP DOI BibTeX RDF	Petri nets, Concurrency, Compositionality, Preemption
60	Cécile Bui Thanh, Hanna Klaudel	Object-Oriented Modelling with High-Level Modular Petri Nets.	IFM	2004	DBLP DOI BibTeX RDF
59	Richard J. Boucherie	A Characterization of Independence for Competing Markov Chains with Applications to Stochastic Petri Nets.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	competing Markov chains, simple exclusion mechanism, Petri nets, Markov processes, resource sharing, stochastic Petri nets, independence
59	Yiannis E. Papelis, Thomas L. Casavant	Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets With Transition Enabling Functions.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	parallel/distributed software, transition enabling functions, TEFs, decision-making activities, analytical properties, PNs, TEFs, parallel/distributed software, formal specification, parallel programming, Petri nets, Petri nets, specification, distributed computing systems, expressive power
59	Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani	The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	execution policies, atomic transitions, race policy, continuous time homogeneous Markov chain, performance evaluation, Petri nets, semantics, Markov processes, stochastic Petri nets
59	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
59	Jonathan Billington, Somsak Vanit-Anunchai, Guy Edward Gallasch	Parameterised Coloured Petri Net Channel Models.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	Parameterized Protocol Channel Models, Datagram Congestion Control Protocol, Coloured Petri Nets, Reachability Analysis
59	Isaac Corro Ramos, Alessandro Di Bucchianico, Lusine Hakobyan, Kees M. van Hee	Model Driven Testing Based on Test History.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF	Petri nets, software testing, transition systems, stopping criterion
59	Kim Sunesen, Mogens Nielsen	Behavioural Equivalence for Infinite Systems - Partially Decidable!	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Behavioural Equivalence, Petri Nets, Decidability, Process Calculi, Partial Order Methods
59	Eike Best, Maciej Koutny	A Refined View of the Box Algebra.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Petri nets, Refinement, Process algebra
59	Hans-Michael Hanisch	Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF	batch process control, performance evaluation, analysis, system design, Timed Petri nets
59	Matthias Werner 0001, Gero Mühl	Non-reachability in Petri Nets with Delaying Places.	MASCOTS	2006	DBLP DOI BibTeX RDF
59	Michael Leuschel, Helko Lehmann	Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction.	Computational Logic	2000	DBLP DOI BibTeX RDF
59	Xenofon D. Koutsoukos, Panos J. Antsaklis	Hybrid Control Systems Usind Timed Petri Nets: Supervisory Control Design Based on Invariant Properties.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
59	Weili Yao, Xudong He	Mapping Petri Nets to Parallel Programs in CC++.	COMPSAC	1996	DBLP DOI BibTeX RDF
59	Glynn Winskel	Petri Nets and Transition Systems (Abstract for an invited talk).	FSTTCS	1991	DBLP DOI BibTeX RDF
59	Kunwarjit S. Bagga, Frank W. Owens	On Some Classes of Petri Nets (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
59	Gianfranco Balbo	Introduction to Generalized Stochastic Petri Nets.	SFM	2007	DBLP DOI BibTeX RDF
59	Gianfranco Balbo	Introduction to Stochastic Petri Nets.	European Educational Forum: School on Formal Methods and Performance Analysis	2000	DBLP DOI BibTeX RDF
59	Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg	Workshop on Petri Nets and Graph Transformations.	ICGT	2004	DBLP DOI BibTeX RDF
58	Michael Köhler 0001, Heiko Rölke	Web Service Orchestration with Super-Dual Object Nets.	ICATPN	2007	DBLP DOI BibTeX RDF	super-dual nets, Petri nets, refinement, duality, nets-within-nets
58	Somsak Vanit-Anunchai, Jonathan Billington	Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures.	ICATPN	2007	DBLP DOI BibTeX RDF	Formal Specification, Internet Protocols, Coloured Petri Nets, DCCP
58	Victor Khomenko	Behaviour-Preserving Transition Insertions in Unfolding Prefixes.	ICATPN	2007	DBLP DOI BibTeX RDF	Petri net unfoldings, transition insertions, encoding conflicts, Petri nets, transformations, asynchronous circuits, STGs
58	Luís Gomes 0001, Robert Lorenz 0001 (eds.)	Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings	Petri Nets	2023	DBLP DOI BibTeX RDF
58	Federica Adobbati, Luca Bernardinello, Lucia Pomello, Riccardo Stramare	Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets.	Trans. Petri Nets Other Model. Concurr.	2023	DBLP DOI BibTeX RDF
58	Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu, Lucia Pomello	Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets.	Trans. Petri Nets Other Model. Concurr.	2023	DBLP DOI BibTeX RDF
58	Nicolas Amat, Pierre Bouvier, Hubert Garavel	A Toolchain to Compute Concurrent Places of Petri Nets.	Trans. Petri Nets Other Model. Concurr.	2023	DBLP DOI BibTeX RDF
58	Seyedehzahra Hosseini, Gianfranco Ciardo	Computing Under-approximations of Multivalued Decision Diagrams.	Petri Nets	2023	DBLP DOI BibTeX RDF
58	Nick Würdemann, Thomas Chatain, Stefan Haar	Taking Complete Finite Prefixes to High Level, Symbolically.	Petri Nets	2023	DBLP DOI BibTeX RDF
58	Felix Mannhardt, Sander J. J. Leemans, Christopher T. Schwanen, Massimiliano de Leoni	Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking.	Petri Nets	2023	DBLP DOI BibTeX RDF
58	Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan	Automated Polyhedral Abstraction Proving.	Petri Nets	2023	DBLP DOI BibTeX RDF
58	Uli Fahrenberg, Krzysztof Ziemianski	A Myhill-Nerode Theorem for Higher-Dimensional Automata.	Petri Nets	2023	DBLP DOI BibTeX RDF
58	Daniel Moldt, Jonte Johnsen, Relana Streckenbach, Laif-Oke Clasen, Michael Haustermann, Alexander Heinze, Marcel Hansson, Matthias Feldmann, Karl Ihlenfeldt	RENEW: Modularized Architecture and New Features.	Petri Nets	2023	DBLP DOI BibTeX RDF
58	Loïc Hélouët, Antoine Thébault	Mochy: A Tool for the Modeling of Concurrent Hybrid Systems.	Petri Nets	2023	DBLP DOI BibTeX RDF
58	Remigiusz Wisniewski, Grzegorz Bazydlo, Marcin Wojnakowski, Mateusz Poplawski	Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems.	Petri Nets	2023	DBLP DOI BibTeX RDF
58	Daniel Moldt, Marcel Hansson, Lukas Seifert, Karl Ihlenfeldt, Laif-Oke Clasen, Kjell Ehlers, Matthias Feldmann	Enriching Heraklit Modules by Agent Interaction Diagrams.	Petri Nets	2023	DBLP DOI BibTeX RDF
58	Sabine Folz-Weinstein, Robin Bergenthum, Jörg Desel, Jakub Kovár	ILP2 Miner - Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming.	Petri Nets	2023	DBLP DOI BibTeX RDF
58	Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen	Exact and Approximated Log Alignments for Processes with Inter-case Dependencies.	Petri Nets	2023	DBLP DOI BibTeX RDF
58	Ryszard Janicki, Maciej Koutny, Lukasz Mikulski	Interval Traces with Mutex Relation.	Petri Nets	2023	DBLP DOI BibTeX RDF
58	Midhun Xavier, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin	Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems.	Petri Nets	2023	DBLP DOI BibTeX RDF
58	Yisong Zhang, Wil M. P. van der Aalst	Explorative Process Discovery Using Activity Projections.	Petri Nets	2023	DBLP DOI BibTeX RDF
58	Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf	There and Back Again - On the Reconstructability and Rediscoverability of Typed Jackson Nets.	Petri Nets	2023	DBLP DOI BibTeX RDF
58	Stefanie Rinderle-Ma, Janik-Vasily Benzin, Juergen Mangler	From Process-Agnostic to Process-Aware Automation, Mining, and Prediction.	Petri Nets	2023	DBLP DOI BibTeX RDF
58	Robert Lorenz 0001, Jan Martijn E. M. van der Werf, Sebastiaan J. van Zelst (eds.)	Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), Bergen, Norway, June 19-24, 2022.	ATAED@Petri Nets	2022	DBLP BibTeX RDF
58	Luca Bernardinello, Laure Petrucci (eds.)	Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings	Petri Nets	2022	DBLP DOI BibTeX RDF
58	Patrizia Schalk, Lisa Petrak	Taking on Infrequent Behavior in Event Logs using Hypothesis Tests.	ATAED@Petri Nets	2022	DBLP BibTeX RDF
58	Robin Bergenthum, Jakub Kovár	A First Glimpse at Petri Net Regions.	ATAED@Petri Nets	2022	DBLP BibTeX RDF
58	Sander J. J. Leemans	Leveraging Frequencies in Event Data a Pledge for Stochastic Process Mining.	ATAED@Petri Nets	2022	DBLP BibTeX RDF
58	Jarne Vandenabeele, Gilles Vermaut, Jari Peeperkorn, Jochen De Weerdt	Enhancing Stochastic Petri Net-based Remaining Time Prediction using k-Nearest Neighbors.	ATAED@Petri Nets	2022	DBLP BibTeX RDF
58	Aishah Ahmed, Marta Pietkiewicz-Koutny	Minimising the Synthesised ENL-Systems.	ATAED@Petri Nets	2022	DBLP BibTeX RDF
58	Gabriel Juhás, Ana Juhásová, Tomás Kovácik	Deadlocks and Livelocks in Resource Constrained Workflow Nets.	ATAED@Petri Nets	2022	DBLP BibTeX RDF
58	Xavier Allamigeon, Marin Boyet, Stéphane Gaubert	Computing Transience Bounds of Emergency Call Centers: A Hierarchical Timed Petri Net Approach.	Petri Nets	2022	DBLP DOI BibTeX RDF
58	Paul Hannibal, Ernst-Rüdiger Olderog	The Synthesis Problem for Repeatedly Communicating Petri Games.	Petri Nets	2022	DBLP DOI BibTeX RDF
58	Abel Armas-Cervantes, Farbod Taymouri	Discovering Unseen Behaviour from Event Logs.	Petri Nets	2022	DBLP DOI BibTeX RDF
58	Viki Peeva, Lisa Luise Mannel, Wil M. P. van der Aalst	From Place Nets to Local Process Models.	Petri Nets	2022	DBLP DOI BibTeX RDF
58	Jan Niklas Adams, Wil M. P. van der Aalst	OCπ: Object-Centric Process Insights.	Petri Nets	2022	DBLP DOI BibTeX RDF
58	Victor Khomenko, Maciej Koutny, Alex Yakovlev	Avoiding Exponential Explosion in Petri Net Models of Control Flows.	Petri Nets	2022	DBLP DOI BibTeX RDF
58	Jan Martijn E. M. van der Werf, Andrey Rivkin, Artem Polyvyanyy, Marco Montali	Data and Process Resonance - Identifier Soundness for Models of Information Systems.	Petri Nets	2022	DBLP DOI BibTeX RDF
58	Nicolas Amat, Louis Chauvet	Kong: A Tool to Squash Concurrent Places.	Petri Nets	2022	DBLP DOI BibTeX RDF
58	Lisa Luise Mannel, Wil M. P. van der Aalst	Discovering Process Models with Long-Term Dependencies While Providing Guarantees and Handling Infrequent Behavior.	Petri Nets	2022	DBLP DOI BibTeX RDF
58	Clément Bertrand, Hanna Klaudel, Frédéric Peschanski	Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory.	Petri Nets	2022	DBLP DOI BibTeX RDF
58	Fernando Pereira, Filipe Moutinho, Anikó Costa, João-Paulo Barros, Rogério Campos-Rebelo, Luís Gomes 0001	IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development.	Petri Nets	2022	DBLP DOI BibTeX RDF
58	Elvio G. Amparore, Susanna Donatelli	The Ins and Outs of Petri Net Composition.	Petri Nets	2022	DBLP DOI BibTeX RDF
58	Loïc Hélouët, Pranay Agrawal	Waiting Nets.	Petri Nets	2022	DBLP DOI BibTeX RDF
58	Didier Buchs, Josep Carmona 0001 (eds.)	Application and Theory of Petri Nets and Concurrency - 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings	Petri Nets	2021	DBLP DOI BibTeX RDF
58	Ronny Tredup	The Complexity of Synthesizing sf nop-Equipped Boolean Petri Nets from g-Bounded Inputs.	Trans. Petri Nets Other Model. Concurr.	2021	DBLP DOI BibTeX RDF
58	Federica Adobbati, Luca Bernardinello, Lucia Pomello	A Two-Player Asynchronous Game on Fully Observable Petri Nets.	Trans. Petri Nets Other Model. Concurr.	2021	DBLP DOI BibTeX RDF
58	Manuel Gieseking, Nick Würdemann	Canonical Representations for Direct Generation of Strategies in High-Level Petri Games.	Petri Nets	2021	DBLP DOI BibTeX RDF
58	Luca Bernardinello	Topics in Region Theory and Synthesis Problems.	Petri Nets	2021	DBLP DOI BibTeX RDF
58	Wil M. P. van der Aalst	Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets.	Petri Nets	2021	DBLP DOI BibTeX RDF
58	Serge Haddad, Didier Lime, Olivier H. Roux	A Turn-Based Approach for Qualitative Time Concurrent Games.	Petri Nets	2021	DBLP DOI BibTeX RDF
58	Loïc Hélouët, Zoltán Miklós 0001, Rituraj Singh	Cost and Quality in Crowdsourcing Workflows.	Petri Nets	2021	DBLP DOI BibTeX RDF
58	Samy Abbes	Deterministic Concurrent Systems.	Petri Nets	2021	DBLP DOI BibTeX RDF