High-Level Petri Net Model Checking with AlPiNA

Steve Hostettler; Alexis Marechal; Alban Linard; Matteo Risoldi; Didier Buchs

doi:10.3233/fi-2011-608

High-Level Petri Net Model Checking with AlPiNA

Fundamenta Informaticae ◽

10.3233/fi-2011-608 ◽

2011 ◽

Vol 113 (3-4) ◽

pp. 229-264 ◽

Cited By ~ 15

Author(s):

Steve Hostettler ◽

Alexis Marechal ◽

Alban Linard ◽

Matteo Risoldi ◽

Didier Buchs

Keyword(s):

Model Checking ◽

Petri Net ◽

High Level

Download Full-text

Model Checking Support for the ASM High-Level Language

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-46419-0_23 ◽

2000 ◽

pp. 331-346 ◽

Cited By ~ 26

Author(s):

Giuseppe Del Castillo ◽

Kirsten Winter

Keyword(s):

Model Checking ◽

High Level Language ◽

High Level

Download Full-text

A high-level model-checking tool for verifying service agreements

Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE) ◽

10.1109/sose.2011.6139120 ◽

2011 ◽

Cited By ~ 8

Author(s):

Abubkr Abdelsadiq ◽

Carlos Molina-Jimenez ◽

Santosh Shrivastava

Keyword(s):

Model Checking ◽

Level Model ◽

High Level

Download Full-text

Execution-Based Model Checking for High-Level Designs

High-Level Verification ◽

10.1007/978-1-4419-9359-5_5 ◽

2011 ◽

pp. 51-66

Author(s):

Sudipta Kundu ◽

Sorin Lerner ◽

Rajesh K. Gupta

Keyword(s):

Model Checking ◽

High Level

Download Full-text

The Railroad Crossing Problem: Towards semantics of timed algorithms and their model checking in high level languages

TAPSOFT '97: Theory and Practice of Software Development - Lecture Notes in Computer Science ◽

10.1007/bfb0030597 ◽

1997 ◽

pp. 201-212 ◽

Cited By ~ 3

Author(s):

Danièle Beauquier ◽

Anatol Slissenko

Keyword(s):

Model Checking ◽

High Level

Download Full-text

A High-Level Petri Net Based Decision Support System for Real-Time Scheduling and Control of Flexible Manufacturing Systems: An Object-Oriented Approach

Lecture Notes in Computer Science - Computational Science – ICCS 2005 ◽

10.1007/11428831_105 ◽

2005 ◽

pp. 843-851 ◽

Cited By ~ 2

Author(s):

Gonca Tuncel ◽

Gunhan Mirac Bayhan

Keyword(s):

Petri Net ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Real Time Scheduling ◽

Time Scheduling ◽

Object Oriented Approach ◽

High Level ◽

And Control ◽

Oriented Approach

Download Full-text

How Petri Net Theory Serves Petri Net Model Checking: A Survey

Transactions on Petri Nets and Other Models of Concurrency XIV - Lecture Notes in Computer Science ◽

10.1007/978-3-662-60651-3_2 ◽

2019 ◽

pp. 36-63

Author(s):

Karsten Wolf

Keyword(s):

Model Checking ◽

Petri Net

Download Full-text

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

Applications and Theory of Petri Nets 2001 - Lecture Notes in Computer Science ◽

10.1007/3-540-45740-2_15 ◽

2001 ◽

pp. 242-262 ◽

Cited By ~ 9

Author(s):

Timo Latvala

Keyword(s):

Model Checking ◽

Petri Nets ◽

Fairness Constraints ◽

High Level

Download Full-text

High-Level Video Event Modeling, Recognition, and Reasoning via Petri Net

IEEE Access ◽

10.1109/access.2019.2936493 ◽

2019 ◽

Vol 7 ◽

pp. 129376-129386 ◽

Cited By ~ 1

Author(s):

Zhijiao Xiao ◽

Jianmin Jiang ◽

Zhong Ming

Keyword(s):

Petri Net ◽

Event Modeling ◽

Video Event ◽

High Level

Download Full-text

A high level Petri net model of olfactory bulb

IEEE International Conference on Neural Networks ◽

10.1109/icnn.1993.298652 ◽

2002 ◽

Cited By ~ 4

Author(s):

K. Venkatesh ◽

O. Masory

Keyword(s):

Olfactory Bulb ◽

Petri Net ◽

High Level

Download Full-text

Model checking workflow net based on Petri net

Wuhan University Journal of Natural Sciences ◽

10.1007/bf02829255 ◽

2006 ◽

Vol 11 (5) ◽

pp. 1297-1301 ◽

Cited By ~ 1

Author(s):

Zhou Conghua ◽

Chen Zhenyu

Keyword(s):

Model Checking ◽

Petri Net ◽

Workflow Net

Download Full-text