types.h

Go to the documentation of this file.

#pragma once

 
#include <stdint.h>
 
#include <chrono>
#include <string>
#include <unordered_map>
#include <utility>
#include <vector>
 
#include "symmetri/colors.hpp"
 
namespace symmetri {
using Place = std::string;       
using Transition = std::string;  
using Clock =
    std::chrono::steady_clock;  

struct Event {
  std::string case_id;      
  std::string transition;   
  Token state;              
  Clock::time_point stamp;  
};
 
using Eventlog = std::vector<Event>;  
 
using Net = std::unordered_map<
    Transition,
    std::pair<std::vector<std::pair<Place, Token>>,
              std::vector<std::pair<Place, Token>>>>;  
 
using Marking =
    std::vector<std::pair<Place, Token>>;  
 
using PriorityTable =
    std::vector<std::pair<Transition, int8_t>>;  

struct DirectMutation {};
class PetriNet;

bool isSynchronous(const DirectMutation &);

Token fire(const DirectMutation &);

Token fire(const PetriNet &);

void cancel(const PetriNet &);

void pause(const PetriNet &);

void resume(const PetriNet &);

Eventlog getLog(const PetriNet &);
 
}  // namespace symmetri