types.h

Go to the documentation of this file.

#pragma once
 
#include <chrono>
#include <string>
#include <unordered_map>
#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