On the public citation graph

Petri net based multi-robot task coordination from temporal logic specifications

https://doi.org/10.1016/j.robot.2019.103289

0 signed · 83 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/0-8176-4488-1openalex-snapshot

Supervisory Control of Concurrent Systems: A Petri Net Structural Approach

inferredcites →https://doi.org/10.1007/978-1-4471-4276-8_12openalex-snapshot

Supervisory Control of Petri Nets with Language Specifications

inferredcites →https://doi.org/10.1007/978-1-4615-5711-1openalex-snapshot

Supervisory Control of Discrete Event Systems Using Petri Nets

inferredcites →https://doi.org/10.1007/978-3-030-72274-6openalex-snapshot

Introduction to Discrete Event Systems

inferredcites →https://doi.org/10.1007/bf01211865openalex-snapshot

Safety, liveness and fairness in temporal logic

inferredcites →https://doi.org/10.1007/bfb0110382openalex-snapshot

Introduction to discrete event systems

inferredcites →https://doi.org/10.1007/s10458-010-9146-1openalex-snapshot

Petri Net Plans

inferredcites →https://doi.org/10.1007/s10514-012-9288-xopenalex-snapshot

Robot task plan representation by Petri nets: modelling, identification, analysis and execution

inferredcites →https://doi.org/10.1007/s10601-010-9105-0openalex-snapshot

Cardinality Networks: a theoretical and empirical study

inferredcites →https://doi.org/10.1007/s10626-006-0021-9openalex-snapshot

Supervision Based on Place Invariants: A Survey

inferredcites →https://doi.org/10.1007/s10626-013-0162-6openalex-snapshot

A Petri net based approach for multi-robot path planning

inferredcites →https://doi.org/10.1016/0304-3975(81)90110-9openalex-snapshot

The temporal semantics of concurrent programs

inferredcites →https://doi.org/10.1016/j.automatica.2006.02.003openalex-snapshot

Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places

inferredcites →https://doi.org/10.1016/j.automatica.2008.08.008openalex-snapshot

Temporal logic motion planning for dynamic robots

inferredcites →https://doi.org/10.1016/j.automatica.2018.08.023openalex-snapshot

On the timed temporal logic planning of coupled multi-agent systems

inferredcites →https://doi.org/10.1017/s0263574711000920openalex-snapshot

Dynamic task allocation in cooperative robot teams

inferredcites →https://doi.org/10.1023/a:1011254632723openalex-snapshot

Model Checking of Safety Properties

inferredcites →https://doi.org/10.1023/b:form.0000004786.30007.f8openalex-snapshot

SAT-Solving the Coverability Problem for Petri Nets

inferredcites →https://doi.org/10.1109/5.21072openalex-snapshot

The control of discrete event systems

inferredcites →https://doi.org/10.1109/70.282543openalex-snapshot

Petri net structural analysis for supervisory control

inferredcites →https://doi.org/10.1109/70.988975openalex-snapshot

Synthesis of deadlock prevention supervisors using Petri nets

inferredcites →https://doi.org/10.1109/9.286260openalex-snapshot

Blocking and controllability of Petri nets in supervisory control

inferredcites →https://doi.org/10.1109/9.384227openalex-snapshot

Decidability and closure properties of weak Petri net languages in supervisory control

inferredcites →https://doi.org/10.1109/9.847725openalex-snapshot

Petri net supervisors for DES with uncontrollable and unobservable transitions

inferredcites →https://doi.org/10.1109/jproc.2006.876939openalex-snapshot

Market-Based Multirobot Coordination: A Survey and Analysis

inferredcites →https://doi.org/10.1109/lra.2018.2803814openalex-snapshot

Resource-Performance Tradeoff Analysis for Mobile Robots

inferredcites →https://doi.org/10.1109/tac.2003.819078openalex-snapshot

Design of T-liveness enforcing supervisors in petri nets

inferredcites →https://doi.org/10.1109/tac.2014.2298143openalex-snapshot

Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints

inferredcites →https://doi.org/10.1109/tac.2014.2320801openalex-snapshot

On the Notion of Uncontrollable Marking in Supervisory Control of Petri Nets

inferredcites →https://doi.org/10.1109/tac.2017.2760249openalex-snapshot

Robot Planning Based on Boolean Specifications Using Petri Net Models

inferredcites →https://doi.org/10.1109/tase.2005.860613openalex-snapshot

Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications

inferredcites →https://doi.org/10.1109/tase.2006.881904openalex-snapshot

Integrating Temporal Logic as a State-Based Specification Language for Discrete-Event Control Design in Finite Automata

inferredcites →https://doi.org/10.1109/tro.2007.913992openalex-snapshot

Dynamic Assignment in Distributed Motion Planning With Local Coordination

inferredcites →https://doi.org/10.1109/tro.2009.2030225openalex-snapshot

Temporal-Logic-Based Reactive Mission and Motion Planning

inferredcites →https://doi.org/10.1109/tro.2016.2544339openalex-snapshot

Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees

inferredcites →https://doi.org/10.1137/s0363012902409982openalex-snapshot

Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications

inferredcites →https://doi.org/10.1177/0278364913487931openalex-snapshot

Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints

inferredcites →https://doi.org/10.1177/0278364914546174openalex-snapshot

Multi-agent plan reconfiguration under local LTL specifications

inferredcites →https://doi.org/10.1177/0278364915627291openalex-snapshot

Timed Petri nets for fluent turn-taking over multimodal interaction resources in human-robot collaboration

inferredcites →https://doi.org/10.1177/0278364918774135openalex-snapshot

Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems

inferredcites →https://doi.org/10.1177/0278364919856695openalex-snapshot

Probabilistic planning with formal performance guarantees for mobile service robots

inferredcites →https://doi.org/10.1609/aaai.v29i1.9440openalex-snapshot

Multi-Robot Auctions for Allocation of Tasks with Temporal Constraints

inferredcites →https://doi.org/10.1609/icaps.v27i1.13865openalex-snapshot

Multi-Objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees

inferredcites →https://doi.org/10.3182/20061002-2-br-4906.00008openalex-snapshot

OPTIMAL TASK ALLOCATION AND DYNAMIC TRAJECTORY PLANNING FOR MULTI-VEHICLE SYSTEMS USING NONLINEAR HYBRID OPTIMAL CONTROL

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.4673993openalex-extracted

inferred← citeshttps://doi.org/10.1007/978-3-662-68191-6_8openalex-snapshot

Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets

inferred← citeshttps://doi.org/10.1007/978-981-97-3951-6_25openalex-snapshot

Digital Twin System for Robotic Multi-layer and Multi-pass Welding of Medium-Thick Plates in Unstructured Environment

inferred← citeshttps://doi.org/10.1007/s10601-026-09396-3openalex-snapshot

Commentary on “Cardinality Networks: a theoretical and empirical study”

inferred← citeshttps://doi.org/10.1007/s10626-026-00446-9openalex-snapshot

A Petri net approach for dynamic task assignment problems and its application in weapon-target assignment

inferred← citeshttps://doi.org/10.1007/s11370-024-00554-1openalex-snapshot

Empowering robots with social cues: an initiative pose control framework for human–robot interaction

inferred← citeshttps://doi.org/10.1016/j.asej.2024.102804openalex-snapshot

Task planning and formal control of robotic assembly systems: A Petri net-based approach

inferred← citeshttps://doi.org/10.1016/j.conengprac.2023.105600openalex-snapshot

Optimal multi-robot path planning for cyclic tasks using Petri nets

inferred← citeshttps://doi.org/10.1016/j.ifacol.2021.04.011openalex-snapshot

Multi-robot Path Planning with Boolean Specifications and Collision Avoidance

inferred← citeshttps://doi.org/10.1016/j.ifacol.2022.10.326openalex-snapshot

Parallel Motion Execution and Path Rerouting for a Team of Mobile Robots

inferred← citeshttps://doi.org/10.1016/j.ifacol.2024.07.041openalex-snapshot

Optimizing Path-Planning Solutions Obtained by Using Petri Nets Models

inferred← citeshttps://doi.org/10.1016/j.psep.2022.07.007openalex-snapshot

Fire and Explosion Economic Losses (FEEL) Index: A new approach for quantifying economic damages due to accidents in hydrocarbon storage sites

inferred← citeshttps://doi.org/10.1016/j.robot.2024.104681openalex-snapshot

Sequential control barrier functions for mobile robots with dynamic temporal logic specifications

inferred← citeshttps://doi.org/10.1016/j.robot.2025.105287openalex-snapshot

Multi-robot motion planning based on Nets-within-Nets modeling and simulation

inferred← citeshttps://doi.org/10.1109/cac67268.2025.11487705openalex-snapshot

Multi-Robot Collaborative Path Planning Based on Petri Nets and LTL Models for Space Station Applications

inferred← citeshttps://doi.org/10.1109/case48305.2020.9216991openalex-snapshot

Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition

inferred← citeshttps://doi.org/10.1109/case49439.2021.9551515openalex-snapshot

Probabilistic Multi-Robot Path Planning with High-Level Specifications using Petri Net Models

inferred← citeshttps://doi.org/10.1109/case56687.2023.10260393openalex-snapshot

Composition of Reactive Coordinated Execution for IEC 62264 Work Centers and Work Units: Best Practices for Traceability and Stability

inferred← citeshttps://doi.org/10.1109/ccta53793.2025.11151390openalex-snapshot

Motion Planning for Mobile Robots Through Iterative Task Allocation

inferred← citeshttps://doi.org/10.1109/icra48891.2023.10160434openalex-snapshot

Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets

inferred← citeshttps://doi.org/10.1109/icstcc50638.2020.9259659openalex-snapshot

Distributed Path Planning of Mobile Robots with LTL Specifications

inferred← citeshttps://doi.org/10.1109/iros45743.2020.9340901openalex-snapshot

Long-Run Multi-Robot Planning under Uncertain Action Durations for Persistent Tasks

inferred← citeshttps://doi.org/10.1109/iros47612.2022.9982201openalex-snapshot

Automatic Generation of Optimization Model using Process Mining and Petri Nets for Optimal Motion Planning of 6-DOF Manipulators

inferred← citeshttps://doi.org/10.1109/lra.2022.3165184openalex-snapshot

Path Planning of Multi-Robot Systems With Boolean Specifications Based on Simulated Annealing

inferred← citeshttps://doi.org/10.1109/models-c53483.2021.00048openalex-snapshot

Multi-layered Model-based Design Approach towards System Safety and Security Co-engineering

inferred← citeshttps://doi.org/10.1109/mrs50823.2021.9620561openalex-snapshot

Decentralized Multi-Agent Strategy Synthesis under LTLf Specifications via Exchange of Least-Limiting Advisers

inferred← citeshttps://doi.org/10.1109/oceans47191.2022.9977228openalex-snapshot

A SMACC based mission control system for autonomous underwater vehicles

inferred← citeshttps://doi.org/10.1109/rem49740.2020.9313077openalex-snapshot

Development of IoT/Cloud Integration Frameworks for Autonomous Networked Robots (ANR)

inferred← citeshttps://doi.org/10.1109/tac.2024.3386024openalex-snapshot

On Multirobot Path Planning Based on Petri Net Models and LTL Specifications

inferred← citeshttps://doi.org/10.1109/tase.2025.3558977openalex-snapshot

Task Allocation of Heterogeneous Robots Under Temporal Logic Specifications With Inter-Task Constraints and Variable Capabilities

inferred← citeshttps://doi.org/10.1109/tro.2022.3181948openalex-snapshot

Temporal Logic Task Allocation in Heterogeneous Multirobot Systems

inferred← citeshttps://doi.org/10.1109/tro.2025.3598139openalex-snapshot

Simultaneous Task Allocation and Planning for Multirobots Under Hierarchical Temporal Logic Specifications

inferred← citeshttps://doi.org/10.1145/3665499openalex-snapshot

A Framework for Simultaneous Task Allocation and Planning under Uncertainty

inferred← citeshttps://doi.org/10.1177/02783649241247285openalex-snapshot

Planning for heterogeneous teams of robots with temporal logic, capability, and resource constraints

inferred← citeshttps://doi.org/10.1177/02783649241278372openalex-snapshot

Real-time reactive task allocation and planning of large heterogeneous multi-robot systems with temporal logic specifications

inferred← citeshttps://doi.org/10.1177/02783649251315758openalex-snapshot

No-regret path planning for temporal logic tasks in partially-known environments

inferred← citeshttps://doi.org/10.1587/transfun.2021map0003openalex-snapshot

Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion

inferred← citeshttps://doi.org/10.3389/frobt.2024.1363041openalex-snapshot

Software patterns and data structures for the runtime coordination of robots, with a focus on real-time execution performance

inferred← citeshttps://doi.org/10.4995/riai.2020.13785openalex-snapshot

Planificación de trayectorias en sistemas multirobot utilizando redes de Petri. Resultados y problemas abiertos

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.