# Petri Nets with Time and Cost ( Tutorial )

@inproceedings{Atig2013PetriNW, title={Petri Nets with Time and Cost ( Tutorial )}, author={Mohamed Faouzi Atig and Parosh Aziz Abdulla}, year={2013} }

- Published 2013

Petri nets [13, 12] are a widely used model for the study and analysis of concurrent systems. Many different formalisms have been proposed which extend Petri nets with clocks and real-time constraints, leading to various definitions of Timed Petri nets (TPNs) (see [10, 6] for surveys). In parallel, there have been several works on extending the model of timed automata [4] with prices (weights) (see e.g., [5, 11, 8]). Weighted timed automata are suitable models for embedded systems, where we… CONTINUE READING

#### Citations

##### Publications citing this paper.

## Augmented Petri Net Cost Model for Optimisation of Large Bioinformatics Workflows Using Cloud

View 5 Excerpts

Highly Influenced

#### References

##### Publications referenced by this paper.

Showing 1-10 of 17 references

## On non-decidability of reachability for timed-arc Petri nets

View 16 Excerpts

Highly Influenced

## The reachability problem for Vector Addition Systems with one zerotest

## Comparison of Different Semantics for Time Petri Nets

View 1 Excerpt

## Comparison of Different Semantics for Time Petri Nets

## Optimal Strategies in Priced Timed Game Automata

View 1 Excerpt