MARATTO

book chapter · Lecture notes in networks and systems

A Reduced Distributed Sate Space for Modular Petri Nets

In plain language

No abstract is available for this record, so no summary has been generated.

Research topics

  • Petri Nets in System Modeling
  • Formal Methods in Verification
  • Access Control and Trust

Read the original research

This page summarises published work. The authoritative version sits with the publisher.

DOI: 10.1007/978-3-031-29056-5_29

Is something wrong with this record? Report it or request removal.

Discussion

Discuss this research

Have you built on this work, tried to replicate it, or seen it applied in practice? Share what you know. Verified researchers and MARATTO™ domain experts can open a discussion, and any member can reply. Contributions are reviewed before they appear.

No discussion yet. Open the first thread.